orc.trace.events
Class ReceiveEvent

java.lang.Object
  extended by orc.trace.events.Event
      extended by 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

Field Summary
 int latency
           
 Value value
           
 
Fields inherited from class orc.trace.events.Event
cursor, location, seq, thread
 
Constructor Summary
ReceiveEvent(Value value)
           
ReceiveEvent(Value value, int latency)
           
 
Method Summary
<V> V
accept(Visitor<V> visitor)
           
 Term getProperty(java.lang.String key)
           
 java.lang.String getType()
          Return a string name for the type of event.
 void prettyPrintProperties(java.io.Writer out, int indent)
           
 
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
 

Field Detail

value

public final Value value

latency

public final int latency
Constructor Detail

ReceiveEvent

public ReceiveEvent(Value value)

ReceiveEvent

public ReceiveEvent(Value value,
                    int latency)
Method Detail

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