org.holtz.zoe.zoel
Class OperationCall

java.lang.Object
  org.holtz.zoe.zoel.OperationCall

All Implemented Interfaces:

CallRecord

public class OperationCall
extends java.lang.Object
implements CallRecord

An entry in the CallStack of a Bug storing execution state for a Statement.

Author:

Brian Holtz

Field Summary

Operation

operation

Constructor Summary

OperationCall(Operation theOperation)

Method Summary

Operation	peek()
void	repeat()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

operation

public Operation operation

Constructor Detail

OperationCall

public OperationCall(Operation theOperation)

Method Detail

repeat

public void repeat()

Specified by:

repeat in interface CallRecord

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

peek

public Operation peek()

Specified by:

peek in interface CallRecord