org.sonar.java.se.checks

Class NoWayOutLoopCheck

java.lang.Object

org.sonar.java.se.checks.SECheck

org.sonar.java.se.checks.NoWayOutLoopCheck

All Implemented Interfaces:

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

public class NoWayOutLoopCheck
extends SECheck

Constructor Summary

Constructors

Constructor and Description
NoWayOutLoopCheck()

Method Summary

Modifier and Type	Method and Description
void	checkEndOfExecution(CheckerContext context)
ProgramState	checkPreStatement(CheckerContext context, Tree syntaxNode)
void	init(MethodTree tree, CFG cfg)
void	interruptedExecution(CheckerContext context)

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

checkEndOfExecutionPath, checkPostStatement, reportIssue, scanFile

Methods inherited from class java.lang.Object

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

Constructor Detail

NoWayOutLoopCheck

public NoWayOutLoopCheck()

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

checkEndOfExecution

public void checkEndOfExecution(CheckerContext context)

Overrides:

checkEndOfExecution in class SECheck

interruptedExecution

public void interruptedExecution(CheckerContext context)

Overrides:

interruptedExecution in class SECheck