joeq.Compiler.BytecodeAnalysis
Interface Bytecodes.PushInstruction

All Superinterfaces:

Bytecodes.StackProducer

All Known Subinterfaces:

Bytecodes.ConstantPushInstruction

All Known Implementing Classes:

Bytecodes.ACONST_NULL, Bytecodes.ALOAD, Bytecodes.BIPUSH, Bytecodes.DCONST, Bytecodes.DLOAD, Bytecodes.DUP, Bytecodes.DUP2, Bytecodes.FCONST, Bytecodes.FLOAD, Bytecodes.GETSTATIC, Bytecodes.ICONST, Bytecodes.ILOAD, Bytecodes.LCONST, Bytecodes.LDC, Bytecodes.LDC_W, Bytecodes.LDC2_W, Bytecodes.LLOAD, Bytecodes.LoadInstruction, Bytecodes.SIPUSH

Enclosing interface:

Bytecodes

public static interface Bytecodes.PushInstruction
extends Bytecodes.StackProducer

Method Summary

Methods inherited from interface joeq.Compiler.BytecodeAnalysis.Bytecodes.StackProducer

produceStack