gov.nasa.jpf.jvm.bytecode
Interfaces
InstructionVisitor
InstructionVisitorAcceptor
StoreInstruction
VariableAccessor
Classes
AALOAD
AASTORE
ACONST_NULL
ALOAD
ANEWARRAY
ARETURN
ArrayElementInstruction
ArrayInstruction
ARRAYLENGTH
ArrayLoadInstruction
ArrayStoreInstruction
ASTORE
ATHROW
BALOAD
BASTORE
BIPUSH
CALOAD
CASTORE
CHECKCAST
D2F
D2I
D2L
DADD
DALOAD
DASTORE
DCMPG
DCMPL
DCONST
DDIV
DIRECTCALLRETURN
DLOAD
DMUL
DNEG
DoubleCompareInstruction
DREM
DRETURN
DSTORE
DSUB
DUP
DUP_X1
DUP_X2
DUP2
DUP2_X1
DUP2_X2
EXECUTENATIVE
F2D
F2I
F2L
FADD
FALOAD
FASTORE
FCMPG
FCMPL
FCONST
FDIV
FieldInstruction
FLOAD
FMUL
FNEG
FREM
FRETURN
FSTORE
FSUB
GETFIELD
GETSTATIC
GOTO
GOTO_W
I2B
I2C
I2D
I2F
I2L
I2S
IADD
IALOAD
IAND
IASTORE
ICONST
IDIV
IF_ACMPEQ
IF_ACMPNE
IF_ICMPEQ
IF_ICMPGE
IF_ICMPGT
IF_ICMPLE
IF_ICMPLT
IF_ICMPNE
IFEQ
IFGE
IFGT
IfInstruction
IFLE
IFLT
IFNE
IFNONNULL
IFNULL
IINC
ILOAD
IMUL
INEG
InstanceFieldInstruction
InstanceInvocation
INSTANCEOF
InstructionFactory
InstructionVisitorAdapter
INVOKECG
INVOKECLINIT
InvokeInstruction
INVOKEINTERFACE
INVOKESPECIAL
INVOKESTATIC
INVOKEVIRTUAL
IOR
IREM
IRETURN
ISHL
ISHR
ISTORE
ISUB
IUSHR
IXOR
JSR
JSR_W
L2D
L2F
L2I
LADD
LALOAD
LAND
LASTORE
LCMP
LCONST
LDC
LDC_W
LDC2_W
LDIV
LLOAD
LMUL
LNEG
LocalVariableInstruction
LockInstruction
LongArrayLoadInstruction
LongArrayStoreInstruction
LongReturn
LOOKUPSWITCH
LOR
LREM
LRETURN
LSHL
LSHR
LSTORE
LSUB
LUSHR
LXOR
MONITORENTER
MONITOREXIT
MULTIANEWARRAY
NATIVERETURN
NEW
NEWARRAY
NewArrayInstruction
NOP
POP
POP2
PUTFIELD
PUTSTATIC
RET
RETURN
ReturnInstruction
RUNSTART
SALOAD
SASTORE
SIPUSH
StaticFieldInstruction
SWAP
SwitchInstruction
TABLESWITCH
VirtualInvocation
WIDE
Enums
LDC.Type
LDC2_W.Type