clone(): Object
toString(): String
ExitThreadAction
exp: Exp
lockOp: int
clone(): Object
dispose()
toString(): String
LockAction
exp: Exp
clone(): Object
dispose()
toString(): String
ExpAction
parent: Transformation
dispose()
Action
exp: Exp
clone(): Object
dispose()
toString(): String
ThrowAction
exp: Exp
clone(): Object
dispose()
toString(): String
AssumeAction
exp: Exp
setLHS(newLHS: ILHS)
getLHS(): Exp
clone(): Object
dispose()
toString(): String
AssignAction
exp: Exp
clone(): Object
dispose()
toString(): String
AssertAction
getPrintArg(index: int): PrintArg
getPrintArgCount(): int
setPrintArgs(newPrintArgs: ArrayList)
clone(): Object
dispose()
toString(): String
PrintAction