}
}
class SideEffectFilter extends PreContract {
private final List<PsiExpression> myExpressionsToCheck;
private final List<PreContract> myContracts;
<BUG>public SideEffectFilter(List<PsiExpression> expressionsToCheck, List<PreContract> contracts) {
myExpressionsToCheck = expressionsToCheck;</BUG>
myContracts = contracts;
}
@NotNull

}
class KnownContract extends PreContract {
private final MethodContract myKnownContract;
KnownContract(@NotNull MethodContract knownContract) {
myKnownContract = knownContract;
}
@NotNull
MethodContract getContract() {
return myKnownContract;
}
@NotNull
