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)
void	scanFile(JavaFileScannerContext context)

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

checkEndOfExecutionPath, checkPostStatement, reportIssue, reportIssue

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sonar.plugins.java.api.JavaFileScanner

scanWithoutParsing

Constructor Details

NoWayOutLoopCheck

public NoWayOutLoopCheck()

Method Details

scanFile

public void scanFile(JavaFileScannerContext context)

Specified by:

scanFile in interface JavaFileScanner

Overrides:

scanFile in class SECheck

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