Package 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	Description
ZeronessCheck()

Method Summary

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

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

checkPreStatement

Methods inherited from class java.lang.Object

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

Constructor Detail

ZeronessCheck

public ZeronessCheck()

Method Detail

checkPostStatement

public ProgramState checkPostStatement(CheckerDispatcher dispatcher,
                                       Instruction inst)

Specified by:

checkPostStatement in interface BytecodeSECheck