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 and 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 and Description
Instruction	BytecodeCFG.Block.terminator()

Methods in org.sonar.java.bytecode.cfg that return types with arguments of type Instruction

Modifier and Type	Method and 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 and 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 and Description
SymbolicValue	ConstraintManager.createBinarySymbolicValue(Instruction inst, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue	ConstraintManager.createSymbolicValue(Instruction inst)