<BUG>public KnownContract(MethodContract knownContract) {myKnownContract = knownContract;}</BUG><CONTEXT>@NotNullabstract List<MethodContract> toContracts(@NotNull PsiMethod method);}class KnownContract extends PreContract {private final MethodContract myKnownContract;<extra_id_0>@NotNull</CONTEXT>
KnownContract(@NotNull MethodContract knownContract) {MethodContract getContract() {return myKnownContract;