| gov.nasa.jpf.jvm.bytecode |
|
| Java Source File Name | Type | Comment |
| AALOAD.java | Class | |
| AASTORE.java | Class | Store into reference array
..., arrayref, index, value => ... |
| ACONST_NULL.java | Class | Push null
... |
| ALOAD.java | Class | Load reference from local variable
... |
| ANEWARRAY.java | Class | |
| ARETURN.java | Class | |
| ArrayInstruction.java | Class | |
| ARRAYLENGTH.java | Class | |
| ArrayLoadInstruction.java | Class | |
| ArrayStoreInstruction.java | Class | |
| ASTORE.java | Class | Store reference into local variable
..., objectref => ... |
| ATHROW.java | Class | |
| BALOAD.java | Class | |
| BASTORE.java | Class | Store into byte or boolean array
..., arrayref, index, value => ... |
| BIPUSH.java | Class | Push byte
... |
| CALOAD.java | Class | |
| CASTORE.java | Class | Store into char array
..., arrayref, index, value => ... |
| CHECKCAST.java | Class | |
| D2F.java | Class | |
| D2I.java | Class | |
| D2L.java | Class | |
| DADD.java | Class | |
| DALOAD.java | Class | |
| DASTORE.java | Class | Store into double array
..., arrayref, index, value => ... |
| DCMPG.java | Class | |
| DCMPL.java | Class | |
| DCONST.java | Class | Push double
... |
| DDIV.java | Class | |
| DLOAD.java | Class | Load double from local variable
... |
| DMUL.java | Class | |
| DNEG.java | Class | |
| DREM.java | Class | |
| DRETURN.java | Class | |
| DSTORE.java | Class | Store double into local variable
..., value => ... |
| DSUB.java | Class | |
| DUP.java | Class | |
| DUP2.java | Class | |
| DUP2_X1.java | Class | |
| DUP2_X2.java | Class | |
| DUP_X1.java | Class | |
| DUP_X2.java | Class | |
| F2D.java | Class | |
| F2I.java | Class | |
| F2L.java | Class | |
| FADD.java | Class | |
| FALOAD.java | Class | |
| FASTORE.java | Class | Store into float array
..., arrayref, index, value => ... |
| FCMPG.java | Class | |
| FCMPL.java | Class | |
| FCONST.java | Class | Push float
... |
| FDIV.java | Class | |
| FieldInstruction.java | Class | |
| FLOAD.java | Class | Load float from local variable
... |
| FMUL.java | Class | |
| FNEG.java | Class | |
| FREM.java | Class | |
| FRETURN.java | Class | |
| FSTORE.java | Class | Store float into local variable
..., value => ... |
| FSUB.java | Class | |
| GETFIELD.java | Class | |
| GETSTATIC.java | Class | |
| GOTO.java | Class | |
| I2B.java | Class | |
| I2C.java | Class | |
| I2D.java | Class | |
| I2F.java | Class | |
| I2L.java | Class | |
| I2S.java | Class | |
| IADD.java | Class | |
| IALOAD.java | Class | |
| IAND.java | Class | |
| IASTORE.java | Class | Store into int array
..., arrayref, index, value => ... |
| ICONST.java | Class | Push int constant
... |
| IDIV.java | Class | |
| IFEQ.java | Class | Branch if int comparison with zero succeeds
..., value => ... |
| IFGE.java | Class | Branch if int comparison with zero succeeds
..., value => ... |
| IFGT.java | Class | Branch if int comparison with zero succeeds
..., value => ... |
| IfInstruction.java | Class | |
| IFLE.java | Class | Branch if int comparison with zero succeeds
..., value => ... |
| IFLT.java | Class | Branch if int comparison with zero succeeds
..., value => ... |
| IFNE.java | Class | Branch if int comparison with zero succeeds
..., value => ... |
| IFNONNULL.java | Class | |
| IFNULL.java | Class | |
| IF_ACMPEQ.java | Class | Branch if reference comparison succeeds
..., value1, value2 => ... |
| IF_ACMPNE.java | Class | Branch if int comparison succeeds
..., value1, value2 => ... |
| IF_ICMPEQ.java | Class | Branch if int comparison succeeds
..., value1, value2 => ... |
| IF_ICMPGE.java | Class | Branch if int comparison succeeds
..., value1, value2 => ... |
| IF_ICMPGT.java | Class | Branch if int comparison succeeds
..., value1, value2 => ... |
| IF_ICMPLE.java | Class | Branch if int comparison succeeds
..., value1, value2 => ... |
| IF_ICMPLT.java | Class | Branch if int comparison succeeds
..., value1, value2 => ... |
| IF_ICMPNE.java | Class | Branch if int comparison succeeds
..., value1, value2 => ... |
| IINC.java | Class | |
| ILOAD.java | Class | Load int from local variable
... |
| IMUL.java | Class | |
| INEG.java | Class | |
| InstanceFieldInstruction.java | Class | |
| INSTANCEOF.java | Class | |
| Instruction.java | Class | |
| InvokeInstruction.java | Class | |
| INVOKEINTERFACE.java | Class | Invoke interface method
..., objectref, [arg1, [arg2 ...]] => ... |
| INVOKESPECIAL.java | Class | Invoke instance method; special handling for superclass, private,
and instance initialization method invocations
..., objectref, [arg1, [arg2 ...]] => ... |
| INVOKESTATIC.java | Class | Invoke a class (static) method
..., [arg1, [arg2 ...]] => ... |
| INVOKEVIRTUAL.java | Class | Invoke instance method; dispatch based on class
..., objectref, [arg1, [arg2 ...]] => ... |
| IOR.java | Class | |
| IREM.java | Class | |
| IRETURN.java | Class | |
| ISHL.java | Class | |
| ISHR.java | Class | |
| ISTORE.java | Class | Store int into local variable
..., value => ... |
| ISUB.java | Class | |
| IUSHR.java | Class | |
| IXOR.java | Class | |
| JSR.java | Class | Jump subroutine
... |
| JSR_W.java | Class | Jump subroutine (wide index)
... |
| L2D.java | Class | |
| L2F.java | Class | |
| L2I.java | Class | |
| LADD.java | Class | |
| LALOAD.java | Class | |
| LAND.java | Class | |
| LASTORE.java | Class | Store into long array
..., arrayref, index, value => ... |
| LCMP.java | Class | |
| LCONST.java | Class | Push long constant
... |
| LDC.java | Class | Push item from runtime constant pool
... |
| LDC2_W.java | Class | Push long or double from runtime constant pool (wide index)
... |
| LDC_W.java | Class | Push item from runtime constant pool (wide index)
... |
| LDIV.java | Class | |
| LLOAD.java | Class | Load long from local variable
... |
| LMUL.java | Class | |
| LNEG.java | Class | |
| LocalVariableInstruction.java | Class | |
| LongArrayLoadInstruction.java | Class | |
| LongArrayStoreInstruction.java | Class | |
| LOOKUPSWITCH.java | Class | Access jump table by key match and jump
..., key => ... |
| LOR.java | Class | |
| LREM.java | Class | |
| LRETURN.java | Class | |
| LSHL.java | Class | |
| LSHR.java | Class | |
| LSTORE.java | Class | Store long into local variable
..., value => ... |
| LSUB.java | Class | |
| LUSHR.java | Class | |
| LXOR.java | Class | |
| MONITORENTER.java | Class | Enter monitor for object
..., objectref => ... |
| MONITOREXIT.java | Class | Exit monitor for object
..., objectref => ... |
| MULTIANEWARRAY.java | Class | |
| NEW.java | Class | Create new object
... |
| NEWARRAY.java | Class | |
| NOP.java | Class | |
| POP.java | Class | Pop the top operand stack value
..., value => ... |
| POP2.java | Class | Pop the top one or two operand stack values
..., value2, value1 => ... |
| PUTFIELD.java | Class | Set field in object
..., objectref, value => ... |
| PUTSTATIC.java | Class | Set static field in class
..., value => ... |
| RET.java | Class | |
| RETURN.java | Class | Return void from method
... |
| ReturnInstruction.java | Class | |
| SALOAD.java | Class | |
| SASTORE.java | Class | Store into short array
..., array, index, value => ... |
| SIPUSH.java | Class | Push short
... |
| StaticFieldInstruction.java | Class | |
| StoreInstruction.java | Interface | |
| SWAP.java | Class | |
| TABLESWITCH.java | Class | Access jump table by index and jump
..., index ... |
| VariableAccessor.java | Interface | |
| VirtualInvocation.java | Class | |