void |
UnclosedResourcesCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
StreamNotConsumedCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
SECheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
OptionalGetBeforeIsPresentCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
NullDereferenceCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
NonNullSetToNullCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
LocksNotUnlockedCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
InvariantReturnCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
DivisionByZeroCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
void |
CustomUnclosedResourcesCheck.checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |