orc.trace.events
Class FreeEvent

java.lang.Object
  orc.trace.events.Event
      orc.trace.events.FreeEvent

All Implemented Interfaces:

java.io.Serializable, Locatable, Located, RecordTerm, Term

public class FreeEvent
extends Event

Dummy event used to free a handle to an event. FIXME: I wish we could get rid of this. It has no semantic value and is only necessary to support correct memory management of handles.

Author:

quark

See Also:

Serialized Form

Field Summary

Fields inherited from class orc.trace.events.Event

cursor, location, seq, thread

Constructor Summary

FreeEvent(Event event)

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

Constructor Detail

FreeEvent

public FreeEvent(Event event)

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