JavaCheck, JavaFileScannerpublic class NonNullSetToNullCheck extends SECheck
SECheck.SEIssue| Constructor | Description |
|---|---|
NonNullSetToNullCheck() |
| Modifier and Type | Method | Description |
|---|---|---|
void |
checkEndOfExecution(CheckerContext context) |
|
void |
checkEndOfExecutionPath(CheckerContext context,
ConstraintManager constraintManager) |
|
ProgramState |
checkPostStatement(CheckerContext context,
Tree syntaxNode) |
|
ProgramState |
checkPreStatement(CheckerContext context,
Tree syntaxNode) |
|
void |
init(MethodTree tree,
CFG cfg) |
|
void |
interruptedExecution(CheckerContext context) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitreportIssue, reportIssue, scanFilepublic void init(MethodTree tree, CFG cfg)
public void checkEndOfExecution(CheckerContext context)
checkEndOfExecution in class SECheckpublic void interruptedExecution(CheckerContext context)
interruptedExecution in class SECheckpublic ProgramState checkPreStatement(CheckerContext context, Tree syntaxNode)
checkPreStatement in class SECheckpublic ProgramState checkPostStatement(CheckerContext context, Tree syntaxNode)
checkPostStatement in class SECheckpublic void checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
checkEndOfExecutionPath in class SECheckCopyright © 2012–2018 SonarSource. All rights reserved.