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