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 classInstruction.InvokeDynamicInsnstatic classInstruction.LdcInsnstatic classInstruction.MultiANewArrayInsnMethods in org.sonar.java.bytecode.cfg that return Instruction Modifier and Type Method Description InstructionBytecodeCFG.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 ProgramStateBytecodeSECheck. checkPostStatement(CheckerDispatcher dispatcher, Instruction inst)ProgramStateBytecodeSECheck.ZeronessCheck. checkPostStatement(CheckerDispatcher dispatcher, Instruction inst)default ProgramStateBytecodeSECheck. checkPreStatement(CheckerDispatcher dispatcher, Instruction inst)ProgramStateBytecodeSECheck.NullnessCheck. checkPreStatement(CheckerDispatcher dispatcher, Instruction inst)voidCheckerDispatcher. executeCheckPostStatement(Instruction instruction)booleanCheckerDispatcher. 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 SymbolicValueConstraintManager. createBinarySymbolicValue(Instruction inst, List<ProgramState.SymbolicValueSymbol> computedFrom)SymbolicValueConstraintManager. createSymbolicValue(Instruction inst)
-