gov.nasa.jpf.jvm.bytecode

Interface InstructionVisitorAcceptor

All Known Implementing 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, INVOKECG, INVOKECLINIT, InvokeInstruction, INVOKEINTERFACE, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, JSR_W, JVMInstruction, 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

public interface InstructionVisitorAcceptor

Method Summary

Methods

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

Method Detail

accept

void accept(InstructionVisitor insVisitor)