Package org.sonar.java.bytecode.se

Interface BytecodeSECheck

All Known Implementing Classes:

BytecodeSECheck.NullnessCheck, BytecodeSECheck.ZeronessCheck

public interface BytecodeSECheck

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	BytecodeSECheck.NullnessCheck
static class	BytecodeSECheck.ZeronessCheck

Method Summary

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

Method Detail

checkPreStatement

default ProgramState checkPreStatement(CheckerDispatcher dispatcher,
                                       Instruction inst)

checkPostStatement

default ProgramState checkPostStatement(CheckerDispatcher dispatcher,
                                        Instruction inst)