peter be5e2c5a5a contract checker: relax fail result validation to accept every call as a potential hazard, and don't continue with dfa

2014-10-01 20:09:11 +02:00

..

CheckSuperContract.java

honor super method contracts

2014-09-25 16:34:51 +02:00

DelegationToInstanceMethod.java

…

DelegationWithUnknownArgument.java

…

EqualsUnknownValue.java

…

FailDelegation.java

…

MissingFail.java

…

NestedCallsMayThrow.java

contract checker: relax fail result validation to accept every call as a potential hazard, and don't continue with dfa

2014-10-01 20:09:11 +02:00

NotNullStringLiteral.java

…

PlainDelegation.java

…

SignatureIssues.java

IDEA-130652 Check contract return type against method signature

2014-10-01 20:09:10 +02:00

TrueInsteadOfFail.java

…

TrueInsteadOfFalse.java

…

WrongFail.java

…