org.sonar.java.se.checks

Class NonNullSetToNullCheck

java.lang.Object

org.sonar.java.se.checks.SECheck

org.sonar.java.se.checks.NonNullSetToNullCheck

All Implemented Interfaces:

JavaCheck, JavaFileScanner, org.sonar.squidbridge.api.CodeVisitor

public class NonNullSetToNullCheck
extends SECheck

Constructor Summary

Constructors

Constructor and Description
NonNullSetToNullCheck()

Method Summary

Methods

Modifier and Type	Method and Description
void	checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
ProgramState	checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	checkPreStatement(CheckerContext context, Tree syntaxNode)
void	init(MethodTree tree, CFG cfg)

Methods inherited from class org.sonar.java.se.checks.SECheck

checkEndOfExecution, reportIssue, scanFile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NonNullSetToNullCheck

public NonNullSetToNullCheck()

Method Detail

init

public void init(MethodTree tree,
        CFG cfg)

Overrides:

init in class SECheck

checkPreStatement

public ProgramState checkPreStatement(CheckerContext context,
                             Tree syntaxNode)

Overrides:

checkPreStatement in class SECheck

checkPostStatement

public ProgramState checkPostStatement(CheckerContext context,
                              Tree syntaxNode)

Overrides:

checkPostStatement in class SECheck

checkEndOfExecutionPath

public void checkEndOfExecutionPath(CheckerContext context,
                           ConstraintManager constraintManager)

Overrides:

checkEndOfExecutionPath in class SECheck