Package org.sonar.java.se.checks
Class NullDereferenceCheck
- java.lang.Object
-
- org.sonar.java.se.checks.SECheck
-
- org.sonar.java.se.checks.NullDereferenceCheck
-
- All Implemented Interfaces:
JavaCheck
,JavaFileScanner
public class NullDereferenceCheck extends SECheck
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.sonar.java.se.checks.SECheck
SECheck.SEIssue
-
-
Constructor Summary
Constructors Constructor Description NullDereferenceCheck()
-
Method Summary
All Methods Instance Methods Concrete Methods 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 methodTree, CFG cfg)
void
interruptedExecution(CheckerContext context)
-
Methods inherited from class org.sonar.java.se.checks.SECheck
reportIssue, reportIssue, scanFile
-
-
-
-
Method Detail
-
init
public void init(MethodTree methodTree, CFG cfg)
-
checkPreStatement
public ProgramState checkPreStatement(CheckerContext context, Tree syntaxNode)
- Overrides:
checkPreStatement
in classSECheck
-
checkPostStatement
public ProgramState checkPostStatement(CheckerContext context, Tree syntaxNode)
- Overrides:
checkPostStatement
in classSECheck
-
checkEndOfExecutionPath
public void checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
- Overrides:
checkEndOfExecutionPath
in classSECheck
-
checkEndOfExecution
public void checkEndOfExecution(CheckerContext context)
- Overrides:
checkEndOfExecution
in classSECheck
-
interruptedExecution
public void interruptedExecution(CheckerContext context)
- Overrides:
interruptedExecution
in classSECheck
-
-