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

Methods

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

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

checkEndOfExecution, 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