Uses of Class
org.sonar.java.bytecode.cfg.BytecodeCFGBuilder.Instruction

Packages that use BytecodeCFGBuilder.Instruction

Package	Description
org.sonar.java.bytecode.cfg
org.sonar.java.bytecode.se
org.sonar.java.se.constraint

Uses of BytecodeCFGBuilder.Instruction in org.sonar.java.bytecode.cfg

Methods in org.sonar.java.bytecode.cfg that return BytecodeCFGBuilder.Instruction

Modifier and Type	Method and Description
BytecodeCFGBuilder.Instruction	BytecodeCFGBuilder.Block.terminator()

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

Modifier and Type	Method and Description
List<BytecodeCFGBuilder.Instruction>	BytecodeCFGBuilder.Block.elements()
CFG.IBlock<BytecodeCFGBuilder.Instruction>	BytecodeCFGBuilder.BytecodeCFG.entry()

Uses of BytecodeCFGBuilder.Instruction in org.sonar.java.bytecode.se

Methods in org.sonar.java.bytecode.se with parameters of type BytecodeCFGBuilder.Instruction

Modifier and Type	Method and Description
default ProgramState	BytecodeSECheck.checkPostStatement(CheckerDispatcher dispatcher, BytecodeCFGBuilder.Instruction inst)
default ProgramState	BytecodeSECheck.checkPreStatement(CheckerDispatcher dispatcher, BytecodeCFGBuilder.Instruction inst)
ProgramState	BytecodeSECheck.NullnessCheck.checkPreStatement(CheckerDispatcher dispatcher, BytecodeCFGBuilder.Instruction inst)
void	CheckerDispatcher.executeCheckPostStatement(BytecodeCFGBuilder.Instruction instruction)
boolean	CheckerDispatcher.executeCheckPreStatement(BytecodeCFGBuilder.Instruction instruction)

Uses of BytecodeCFGBuilder.Instruction in org.sonar.java.se.constraint

Methods in org.sonar.java.se.constraint with parameters of type BytecodeCFGBuilder.Instruction

Modifier and Type	Method and Description
SymbolicValue	ConstraintManager.createBinarySymbolicValue(BytecodeCFGBuilder.Instruction inst, List<ProgramState.SymbolicValueSymbol> computedFrom)
SymbolicValue	ConstraintManager.createSymbolicValue(BytecodeCFGBuilder.Instruction inst)