Package org.sonar.java.se.checks

Class SECheck

java.lang.Object

org.sonar.java.se.checks.SECheck

All Implemented Interfaces:

JavaCheck, JavaFileScanner

Direct Known Subclasses:

BooleanGratuitousExpressionsCheck, ConditionalUnreachableCodeCheck, CustomUnclosedResourcesCheck, DebugInterruptedExecutionCheck, DebugMethodYieldsCheck, DebugMethodYieldsOnInvocationsCheck, DivisionByZeroCheck, InvariantReturnCheck, LocksNotUnlockedCheck, MapComputeIfAbsentOrPresentCheck, NonNullSetToNullCheck, NoWayOutLoopCheck, NullDereferenceCheck, OptionalGetBeforeIsPresentCheck, ParameterNullnessCheck, RedundantAssignmentsCheck, StreamConsumedCheck, StreamNotConsumedCheck, UnclosedResourcesCheck

public abstract class SECheck
extends Object
implements JavaFileScanner

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	SECheck.SEIssue

Field Summary

Fields

Modifier and Type	Field	Description
protected Set<SECheck.SEIssue>	issues

Constructor Summary

Constructors

Constructor	Description
SECheck()

Method Summary

Modifier and Type	Method	Description
void	checkEndOfExecution(CheckerContext context)
void	checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
ProgramState	checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	checkPreStatement(CheckerContext context, Tree syntaxNode)
void	init(MethodTree methodTree, CFG cfg)
void	interruptedExecution(CheckerContext context)
void	reportIssue(Tree tree, String message)
void	reportIssue(Tree tree, String message, Set<Flow> flows)
void	scanFile(JavaFileScannerContext context)	Method called after parsing and semantic analysis has been done on file.

Methods inherited from class java.lang.Object

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

Field Detail

issues

protected Set<SECheck.SEIssue> issues

Constructor Detail

SECheck

public SECheck()

Method Detail

init

public void init(MethodTree methodTree,
                 CFG cfg)

checkPreStatement

public ProgramState checkPreStatement(CheckerContext context,
                                      Tree syntaxNode)

checkPostStatement

public ProgramState checkPostStatement(CheckerContext context,
                                       Tree syntaxNode)

checkEndOfExecution

public void checkEndOfExecution(CheckerContext context)

checkEndOfExecutionPath

public void checkEndOfExecutionPath(CheckerContext context,
                                    ConstraintManager constraintManager)

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

Parameters:

context - Context of analysis containing the parsed tree.

reportIssue

public void reportIssue(Tree tree,
                        String message)

reportIssue

public void reportIssue(Tree tree,
                        String message,
                        Set<Flow> flows)

interruptedExecution

public void interruptedExecution(CheckerContext context)