org.holtz.zoe
Class OperationCall
java.lang.Object
org.holtz.zoe.CallRecord
org.holtz.zoe.OperationCall
public class OperationCall
- extends CallRecord
An entry in the CallStack
of a Bug
storing execution state for a Statement
.
- Author:
- Brian Holtz
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
operation
public Operation operation
argEvaluated
public boolean argEvaluated
OperationCall
public OperationCall(Operation theOperation)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
peek
public Operation peek()
- Specified by:
peek
in class CallRecord