orc.trace.events
Class ReceiveEvent
java.lang.Object
orc.trace.events.Event
orc.trace.events.ReceiveEvent
- All Implemented Interfaces:
- java.io.Serializable, Locatable, Located, RecordTerm, Term
public class ReceiveEvent
- extends Event
Return from a site call. At one point this had a handle to the corresponding
site call, but that's not really necessary (the call is just the preceeding
SendEvent in the same thread) and we may not want to bother recording
the call (which should be deterministic anyways).
- Author:
- quark
- See Also:
- Serialized Form
| Methods inherited from class orc.trace.events.Event |
getCursor, getSeq, getSourceLocation, getSourceLocationTerm, getThread, prettyPrint, prettyPrintProperty, setCursor, setSeq, setSourceLocation, setThread, toString |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
value
public final Value value
latency
public final int latency
ReceiveEvent
public ReceiveEvent(Value value)
ReceiveEvent
public ReceiveEvent(Value value,
int latency)
prettyPrintProperties
public void prettyPrintProperties(java.io.Writer out,
int indent)
throws java.io.IOException
- Overrides:
prettyPrintProperties in class Event
- Throws:
java.io.IOException
getProperty
public Term getProperty(java.lang.String key)
- Specified by:
getProperty in interface RecordTerm- Overrides:
getProperty in class Event
getType
public java.lang.String getType()
- Description copied from class:
Event
- Return a string name for the type of event. Used in pattern matching.
- Specified by:
getType in class Event
accept
public <V> V accept(Visitor<V> visitor)
- Specified by:
accept in class Event