Package org.sonar.java.se.checks

Class DivisionByZeroCheck

java.lang.Object

org.sonar.java.se.checks.SECheck

org.sonar.java.se.checks.DivisionByZeroCheck

All Implemented Interfaces:

JavaCheck, JavaFileScanner

public class DivisionByZeroCheck
extends SECheck

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DivisionByZeroCheck.ZeroConstraint

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
DivisionByZeroCheck()

Method Summary

Modifier and Type	Method	Description
void	checkEndOfExecutionPath(CheckerContext context, ConstraintManager constraintManager)
ProgramState	checkPostStatement(CheckerContext context, Tree syntaxNode)
ProgramState	checkPreStatement(CheckerContext context, Tree syntaxNode)
void	init(MethodTree methodTree, CFG cfg)

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

checkEndOfExecution, interruptedExecution, reportIssue, reportIssue, scanFile

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

DivisionByZeroCheck

public DivisionByZeroCheck()

Method Details

init

public void init(MethodTree methodTree,
 CFG cfg)

Overrides:

init in class SECheck

checkPreStatement

public ProgramState checkPreStatement(CheckerContext context,
 Tree syntaxNode)

Overrides:

checkPreStatement in class SECheck

checkPostStatement

public ProgramState checkPostStatement(CheckerContext context,
 Tree syntaxNode)

Overrides:

checkPostStatement in class SECheck

checkEndOfExecutionPath

public void checkEndOfExecutionPath(CheckerContext context,
 ConstraintManager constraintManager)

Overrides:

checkEndOfExecutionPath in class SECheck