Package de.uzl.its.swat.symbolic.instruction

Class Instruction

java.lang.Object
de.uzl.its.swat.symbolic.instruction.Instruction
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
AALOAD, AASTORE, ACONST_NULL, ALOAD, ANEWARRAY, ARETURN, ARRAYLENGTH, ASTORE, ATHROW, BALOAD, BASTORE, BIPUSH, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DCONST_0, DCONST_1, DDIV, DLOAD, DMUL, DNEG, DREM, DRETURN, DSTORE, DSUB, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FCONST_0, FCONST_1, FCONST_2, FDIV, FLOAD, FMUL, FNEG, FREM, FRETURN, FSTORE, FSUB, GETFIELD, GETSTATIC, GETVALUE_Object, GETVALUE_primitive, GETVALUE_void, GOTO, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, ICONST_0, ICONST_1, ICONST_2, ICONST_3, ICONST_4, ICONST_5, ICONST_M1, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD, IMUL, INEG, INSTANCEOF, INVOKEDYNAMIC, INVOKEINTERFACE, INVOKEMETHOD_END, INVOKEMETHOD_EXCEPTION, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE, ISUB, IUSHR, IXOR, JSR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LCONST_0, LCONST_1, LDC_double, LDC_float, LDC_int, LDC_long, LDC_Object, LDC_String, LDIV, LLOAD, LMUL, LNEG, LOOKUPSWITCH, LOOP_BEGIN, LOOP_END, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE, LSUB, LUSHR, LXOR, MAKE_SYMBOLIC, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, NOP, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SIPUSH, SPECIAL, SWAP, TABLESWITCH
public abstract class Instruction extends Object implements Serializable
Base class for all instructions. Should be implemented by each instruction
See Also:

  • Field Details

    • iid

      public int iid

    • mid

      public int mid

  • Constructor Details

    • Instruction

      public Instruction(int iid, int mid)
      Creates a new instruction.
      Parameters:
      iid - instruction id.
      mid - method id.

  • Method Details

    • accept

      public abstract void accept(IVisitor visitor)
      Abstract accept method for the visitor.
      Parameters:
      visitor - the visitor

    • genericToString

      public String genericToString(String prefix)
      Returns the string representation of the instruction.
      Parameters:
      prefix - Instruction specific information
      Returns:
      the representation.