org.sonar.java.se.checks

Class ConditionAlwaysTrueOrFalseCheck

java.lang.Object

org.sonar.java.se.checks.SECheck

org.sonar.java.se.checks.ConditionAlwaysTrueOrFalseCheck

All Implemented Interfaces:

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

public class ConditionAlwaysTrueOrFalseCheck
extends SECheck

Constructor Summary

Constructors

Constructor and Description
ConditionAlwaysTrueOrFalseCheck()

Method Summary

Modifier and Type	Method and Description
void	checkEndOfExecution(CheckerContext context)
void	evaluatedToFalse(Tree condition, ExplodedGraph.Node node)
void	evaluatedToTrue(Tree condition, ExplodedGraph.Node node)
void	init(MethodTree methodTree, CFG cfg)
void	interruptedExecution(CheckerContext context)

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

checkEndOfExecutionPath, checkPostStatement, checkPreStatement, reportIssue, scanFile

Methods inherited from class java.lang.Object

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

Constructor Detail

ConditionAlwaysTrueOrFalseCheck

public ConditionAlwaysTrueOrFalseCheck()

Method Detail

init

public void init(MethodTree methodTree,
                 CFG cfg)

Overrides:

init in class SECheck

checkEndOfExecution

public void checkEndOfExecution(CheckerContext context)

Overrides:

checkEndOfExecution in class SECheck

evaluatedToFalse

public void evaluatedToFalse(Tree condition,
                             ExplodedGraph.Node node)

evaluatedToTrue

public void evaluatedToTrue(Tree condition,
                            ExplodedGraph.Node node)

interruptedExecution

public void interruptedExecution(CheckerContext context)

Overrides:

interruptedExecution in class SECheck