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)	Method called after parsing and semantic analysis has been done on file.

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

Constructor Detail

InvariantReturnCheck

public InvariantReturnCheck()

Method Detail

init

public void init(MethodTree methodTree,
                 CFG cfg)

Overrides:

init in class SECheck

scanFile

public void scanFile(JavaFileScannerContext context)

Description copied from interface: JavaFileScanner

Method called after parsing and semantic analysis has been done on file.

Specified by:

scanFile in interface JavaFileScanner

Overrides:

scanFile in class SECheck

Parameters:

context - Context of analysis containing the parsed tree.

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