gov.nasa.jpf.jvm.bytecode

Interface JVMInstruction

All Superinterfaces:

Attributable, InstructionInterface

All Known Subinterfaces:

JVMFieldInstruction

All Known Implementing Classes:

AALOAD, AASTORE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, 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, 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, InstanceInvocation, INSTANCEOF, INVOKECG, INVOKECLINIT, INVOKEINTERFACE, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, JSR_W, JVMInstanceFieldInstruction, JVMInvokeInstruction, JVMLocalVariableInstruction, JVMReturnInstruction, JVMStaticFieldInstruction, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST, LDC, LDC_W, LDC2_W, LDIV, LLOAD, LMUL, LNEG, 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, RUNSTART, SALOAD, SASTORE, SIPUSH, SWAP, SwitchInstruction, TABLESWITCH, VirtualInvocation, WIDE

public interface JVMInstruction
extends InstructionInterface

common type for all JVM instructions this can't be a abstract class since this would not allow us to have machine independent instruction types

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)

Methods inherited from interface gov.nasa.jpf.vm.bytecode.InstructionInterface

asInstruction, execute, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getPosition, getPrev, getSourceLine, getSourceLocation, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, toPostExecString

Methods inherited from interface gov.nasa.jpf.util.Attributable

addAttr, attrIterator, attrIterator, getAttr, getAttr, getNextAttr, hasAttr, hasAttr, removeAttr, replaceAttr, setAttr

Method Detail

accept

void accept(JVMInstructionVisitor insVisitor)