/java/java-tests/testData/inspection/dataFlow/contractCheck/
../
DelegationToInstanceMethod.java
DelegationWithUnknownArgument.java
EqualsUnknownValue.java
FailDelegation.java
MissingFail.java
NotNullStringLiteral.java
PlainDelegation.java
SignatureIssues.java
TrueInsteadOfFail.java
TrueInsteadOfFalse.java
WrongFail.java