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:

AbstractXMLProcessing, BooleanGratuitousExpressionsCheck, ConditionalUnreachableCodeCheck, CustomUnclosedResourcesCheck, DivisionByZeroCheck, InvariantReturnCheck, LocksNotUnlockedCheck, MapComputeIfAbsentOrPresentCheck, MinMaxRangeCheck, NonNullSetToNullCheck, NoWayOutLoopCheck, NullDereferenceCheck, ObjectOutputStreamCheck, OptionalGetBeforeIsPresentCheck, ParameterNullnessCheck, RedundantAssignmentsCheck, StreamConsumedCheck, StreamNotConsumedCheck, UnclosedResourcesCheck, XmlValidatedSignatureCheck, XxeProcessingCheck

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)

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

Field Details

issues

protected Set<SECheck.SEIssue> issues

Constructor Details

SECheck

public SECheck()

Method Details

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)

Specified by:

scanFile in interface JavaFileScanner

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)