org.sonar.java.bytecode.se

Class BytecodeSECheck.ZeronessCheck

java.lang.Object

org.sonar.java.bytecode.se.BytecodeSECheck.ZeronessCheck

All Implemented Interfaces:

BytecodeSECheck

Enclosing interface:

BytecodeSECheck

public static class BytecodeSECheck.ZeronessCheck
extends Object
implements BytecodeSECheck

Nested Class Summary

Nested classes/interfaces inherited from interface org.sonar.java.bytecode.se.BytecodeSECheck

BytecodeSECheck.NullnessCheck, BytecodeSECheck.ZeronessCheck

Constructor Summary

Constructors

Constructor and Description
ZeronessCheck()

Method Summary

Modifier and Type	Method and Description
ProgramState	checkPostStatement(CheckerDispatcher dispatcher, Instruction inst)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sonar.java.bytecode.se.BytecodeSECheck

checkPreStatement

Constructor Detail

ZeronessCheck

public ZeronessCheck()

Method Detail

checkPostStatement

public ProgramState checkPostStatement(CheckerDispatcher dispatcher,
                                       Instruction inst)

Specified by:

checkPostStatement in interface BytecodeSECheck