Package 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

public class NoWayOutLoopCheck
extends SECheck

Nested Class Summary

Nested classes/interfaces inherited from class org.sonar.java.se.checks.SECheck

SECheck.SEIssue

Field Summary

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

issues

Constructor Summary

Constructors

Constructor	Description
NoWayOutLoopCheck()

Method Summary

Modifier and Type	Method	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, 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