Class SPECIAL
java.lang.Object
de.uzl.its.swat.symbolic.instruction.Instruction
de.uzl.its.swat.symbolic.instruction.SPECIAL
- All Implemented Interfaces:
Serializable
A special probe instruction added by the instrumentation. The int value identifies which branch
does the instruction correspond to.
- See Also:
-
Field Summary
Fields inherited from class de.uzl.its.swat.symbolic.instruction.Instruction
iid, mid
-
Constructor Summary
-
Method Summary
Methods inherited from class de.uzl.its.swat.symbolic.instruction.Instruction
genericToString
-
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
Accept method for the visitor.- Specified by:
accept
in classInstruction
- Parameters:
visitor
- the visitor
-
toString
Returns the string representation of the instruction.
-