orc.trace.events
Class ReceiveEvent
java.lang.Object
   orc.trace.events.Event
orc.trace.events.Event
       orc.trace.events.ReceiveEvent
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:
- prettyPrintPropertiesin class- Event
 
- 
- Throws:
- java.io.IOException
 
getProperty
public Term getProperty(java.lang.String key)
- 
- Specified by:
- getPropertyin interface- RecordTerm
- Overrides:
- getPropertyin 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:
- getTypein class- Event
 
- 
 
accept
public <V> V accept(Visitor<V> visitor)
- 
- Specified by:
- acceptin class- Event
 
-