orc.trace.events
Class PublishEvent

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

All Implemented Interfaces:

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

public class PublishEvent
extends Event

A top-level publication in a thread.

See Also:

Serialized Form

Field Summary

Value

value

Fields inherited from class orc.trace.events.Event

cursor, location, seq, thread

Constructor Summary

PublishEvent(Value value)

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

Constructor Detail

PublishEvent

public PublishEvent(Value value)

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