orc.trace.events
Class PullEvent

java.lang.Object
  extended by orc.trace.events.Event
      extended by orc.trace.events.PullEvent
All Implemented Interfaces:
java.io.Serializable, Locatable, Located, RecordTerm, Term, TokenTracer.PullTrace

public class PullEvent
extends Event
implements TokenTracer.PullTrace

This is just a way to uniquely identify a pull. It should preceed the corresponding fork event.

Author:
quark
See Also:
Serialized Form

Field Summary
 
Fields inherited from class orc.trace.events.Event
cursor, location, seq, thread
 
Constructor Summary
PullEvent()
           
 
Method Summary
<V> V
accept(Visitor<V> visitor)
           
 java.lang.String getType()
          Return a string name for the type of event.
 
Methods inherited from class orc.trace.events.Event
getCursor, getProperty, getSeq, getSourceLocation, getSourceLocationTerm, getThread, prettyPrint, prettyPrintProperties, prettyPrintProperty, setCursor, setSeq, setSourceLocation, setThread, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PullEvent

public PullEvent()
Method Detail

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