…

..

AndAllTrue.java

…

AndChainCause.java

…

AndChainDependentCause.java

…

ArrayBlockingQueueContract.java

…

ArrayLength.java

…

ArrayLengthCollectionSize.java

…

AssignmentChain.java

…

AssignTernaryNotNull.java

…

AssignTernaryNumeric.java

…

AssignTrue.java

…

BasedOnPreviousRelation.java

…

BasedOnPreviousRelationContracts.java

…

BooleanChecked.java

…

BooleanReassignedMultipleTimes.java

…

BooleanUnderNegation.java

…

ClassCheckInStream.java

…

CollectionSizeEquality.java

…

ComplexDisjunction.java

…

Constants.java

…

ConstantStrings2.java

…

ConstantStrings.java

…

ConstructorDependOnInitializer.java

…

ConstructorSimple.java

…

Ditto.java

…

EmptyCollectionSimple.java

…

EnumCompare.java

…

EqualsContract.java

…

EqualsLessEquals.java

…

EqualsNull.java

…

FailingCall.java

…

FinalFieldInitialized.java

…

FinalFieldInitializedCtor.java

…

IfBothNotNull.java

…

IfBothNotNullReassign.java

…

IndexOfPlusOne.java

…

InstanceOfChain2.java

…

InstanceOfChain.java

…

InstanceOfConflict.java

…

InstanceOfMethodReturn.java

…

InstanceOfNull.java

…

InstanceOfPreviousCast.java

…

InstanceOfRedundant.java

…

InstanceOfSecondCheck.java

…

ListAddContract.java

…

MaxParameter.java

…

MergeOnAnd.java

…

ModOutOfRange.java

…

NotInstanceOf.java

…

NotNullAnnotated.java

…

NotNullAssignmentInside.java

…

NotNullObvious.java

…

NotNullParameter.java

…

NotNullParameterAssigned.java

…

NpeAnnotation.java

…

NpeSimple.java

…

NpeWithCast.java

…

NullCheckNpeNullCheck.java

…

NullWasChecked.java

…

NullWasCheckedInstanceOf.java

…

NullWasCheckedNullAssigned.java

…

NumericCast2.java

…

NumericCast.java

…

NumericWidening.java

…

OddityCheck.java

…

OrChainCause.java

…

ParameterParentheses.java

…

ParameterTernary2.java

…

ParameterTernary.java

…

PassedNotNull.java

…

ReassignAfterCheck.java

…

Reboxing.java

…

RepeatingIntegerComparison.java

…

RepeatingIntegerComparisonThreeBranches.java

…

ReturnThis.java

…

SimpleContract2.java

…

SimpleContract.java

…

SimpleDeref.java

…

StringLength.java

…

SubStringEqualsIgnoreCase2.java

…

SubStringEqualsIgnoreCase.java

…

TripleCheck.java

…

TrivialContract.java

…

WrongCastSimple.java

…

WrongCastThreeStates.java

…

WrongCastTwoStates.java

…