Class SPECIAL

java.lang.Object
de.uzl.its.swat.symbolic.instruction.Instruction
de.uzl.its.swat.symbolic.instruction.SPECIAL
All Implemented Interfaces:
Serializable

public class SPECIAL extends Instruction
A special probe instruction added by the instrumentation. The int value identifies which branch does the instruction correspond to.
See Also:
  • Field Details

    • i

      public int i
  • Constructor Details

    • SPECIAL

      public SPECIAL(int i)
      Creates a new SPECIAL instruction.
      Parameters:
      i - marker value
  • Method Details

    • accept

      public void accept(IVisitor visitor)
      Accept method for the visitor.
      Specified by:
      accept in class Instruction
      Parameters:
      visitor - the visitor
    • toString

      public String toString()
      Returns the string representation of the instruction.
      Overrides:
      toString in class Object
      Returns:
      the representation.