Uses of Class
org.sonar.java.bytecode.cfg.Instruction
-
Packages that use Instruction Package Description org.sonar.java.bytecode.cfg org.sonar.java.bytecode.se org.sonar.java.se.constraint -
-
Uses of Instruction in org.sonar.java.bytecode.cfg
Subclasses of Instruction in org.sonar.java.bytecode.cfg Modifier and Type Class Description static class
Instruction.InvokeDynamicInsn
static class
Instruction.LdcInsn
static class
Instruction.MultiANewArrayInsn
Methods in org.sonar.java.bytecode.cfg that return Instruction Modifier and Type Method Description Instruction
BytecodeCFG.Block. terminator()
Methods in org.sonar.java.bytecode.cfg that return types with arguments of type Instruction Modifier and Type Method Description List<Instruction>
BytecodeCFG.Block. elements()
CFG.IBlock<Instruction>
BytecodeCFG. entry()
-
Uses of Instruction in org.sonar.java.bytecode.se
Methods in org.sonar.java.bytecode.se with parameters of type Instruction Modifier and Type Method Description default ProgramState
BytecodeSECheck. checkPostStatement(CheckerDispatcher dispatcher, Instruction inst)
ProgramState
BytecodeSECheck.ZeronessCheck. checkPostStatement(CheckerDispatcher dispatcher, Instruction inst)
default ProgramState
BytecodeSECheck. checkPreStatement(CheckerDispatcher dispatcher, Instruction inst)
ProgramState
BytecodeSECheck.NullnessCheck. checkPreStatement(CheckerDispatcher dispatcher, Instruction inst)
void
CheckerDispatcher. executeCheckPostStatement(Instruction instruction)
boolean
CheckerDispatcher. executeCheckPreStatement(Instruction instruction)
-
Uses of Instruction in org.sonar.java.se.constraint
Methods in org.sonar.java.se.constraint with parameters of type Instruction Modifier and Type Method Description SymbolicValue
ConstraintManager. createBinarySymbolicValue(Instruction inst, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue
ConstraintManager. createSymbolicValue(Instruction inst)
-