orc.trace.events
Class SendEvent

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

All Implemented Interfaces:

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

public class SendEvent
extends Event

See Also:

Serialized Form

Field Summary

TupleValue	arguments
Value	site

Fields inherited from class orc.trace.events.Event

cursor, location, seq, thread

Constructor Summary

SendEvent(Value site, Value[] arguments)

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

site

public final Value site

arguments

public final TupleValue arguments

Constructor Detail

SendEvent

public SendEvent(Value site,
                 Value[] arguments)

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