orc.trace.events
Class DieEvent

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

public class DieEvent
extends Event

Always the last event in a thread.

Author:
quark
See Also:
Serialized Form

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

Constructor Detail

DieEvent

public DieEvent()
Method Detail

setThread

public void setThread(ForkEvent thread)
Overrides:
setThread 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