void |
SECheck.checkEndOfExecution(CheckerContext context) |
void |
RedundantAssignmentsCheck.checkEndOfExecution(CheckerContext context) |
void |
NullDereferenceCheck.checkEndOfExecution(CheckerContext context) |
void |
NoWayOutLoopCheck.checkEndOfExecution(CheckerContext context) |
void |
MapComputeIfAbsentOrPresentCheck.checkEndOfExecution(CheckerContext context) |
void |
InvariantReturnCheck.checkEndOfExecution(CheckerContext context) |
void |
ConditionalUnreachableCodeCheck.checkEndOfExecution(CheckerContext context) |
void |
BooleanGratuitousExpressionsCheck.checkEndOfExecution(CheckerContext context) |
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) |
ProgramState |
UnclosedResourcesCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
StreamConsumedCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
SECheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
RedundantAssignmentsCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
OptionalGetBeforeIsPresentCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
NullDereferenceCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
NonNullSetToNullCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
MapComputeIfAbsentOrPresentCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
LocksNotUnlockedCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
DivisionByZeroCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
CustomUnclosedResourcesCheck.checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
UnclosedResourcesCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
StreamConsumedCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
SECheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
OptionalGetBeforeIsPresentCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
NullDereferenceCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
NonNullSetToNullCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
NoWayOutLoopCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
MapComputeIfAbsentOrPresentCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
LocksNotUnlockedCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
DivisionByZeroCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
CustomUnclosedResourcesCheck.checkPreStatement(CheckerContext context,
Tree syntaxNode) |
void |
SECheck.interruptedExecution(CheckerContext context) |
void |
RedundantAssignmentsCheck.interruptedExecution(CheckerContext context) |
void |
NullDereferenceCheck.interruptedExecution(CheckerContext context) |
void |
NoWayOutLoopCheck.interruptedExecution(CheckerContext context) |
void |
InvariantReturnCheck.interruptedExecution(CheckerContext context) |