public class NullDereferenceCheck extends SECheck implements JavaFileScanner
| Constructor and Description |
|---|
NullDereferenceCheck() |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
checkPostStatement(CheckerContext context,
Tree syntaxNode) |
ProgramState |
checkPreStatement(CheckerContext context,
Tree syntaxNode) |
void |
scanFile(JavaFileScannerContext context) |
checkEndOfExecution, checkEndOfExecutionPath, initpublic void scanFile(JavaFileScannerContext context)
scanFile in interface JavaFileScannerpublic ProgramState checkPreStatement(CheckerContext context, Tree syntaxNode)
checkPreStatement in class SECheckpublic ProgramState checkPostStatement(CheckerContext context, Tree syntaxNode)
checkPostStatement in class SECheckCopyright © 2012–2016 SonarSource. All rights reserved.