Package org.sonar.java.se.checks

Class InvariantReturnCheck

java.lang.Object

org.sonar.java.se.checks.SECheck

org.sonar.java.se.checks.InvariantReturnCheck

All Implemented Interfaces:

JavaCheck, JavaFileScanner

public class InvariantReturnCheck
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
InvariantReturnCheck()

Method Summary

Modifier and Type	Method	Description
void	checkEndOfExecution(CheckerContext context)
void	checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
void	init(MethodTree methodTree, CFG cfg)
void	interruptedExecution(CheckerContext context)
void	scanFile(JavaFileScannerContext context)

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

checkPostStatement, checkPreStatement, 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

InvariantReturnCheck

public InvariantReturnCheck()

Method Details

init

public void init(MethodTree methodTree,
 CFG cfg)

Overrides:

init in class SECheck

scanFile

public void scanFile(JavaFileScannerContext context)

Specified by:

scanFile in interface JavaFileScanner

Overrides:

scanFile in class SECheck

checkEndOfExecutionPath

public void checkEndOfExecutionPath(CheckerContext context,
 ConstraintManager constraintManager)

Overrides:

checkEndOfExecutionPath 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