org.sonar.java.se.checks

Class SECheck

java.lang.Object

org.sonar.java.se.checks.SECheck

All Implemented Interfaces:

JavaCheck, org.sonar.squidbridge.api.CodeVisitor

Direct Known Subclasses:

ConditionAlwaysTrueOrFalseCheck, LocksNotUnlockedCheck, NullDereferenceCheck, UnclosedResourcesCheck

public abstract class SECheck
extends Object
implements JavaCheck

Constructor Summary

Constructors

Constructor and Description
SECheck()

Method Summary

Methods

Modifier and Type	Method and 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()

Methods inherited from class java.lang.Object

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

Constructor Detail

SECheck

public SECheck()

Method Detail

init

public void init()

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)