orc.trace.events
Class StoreEvent

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

All Implemented Interfaces:

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

public class StoreEvent
extends Event
implements TokenTracer.StoreTrace

Store a value to a future. Should be followed by a FreeEvent which indicates that all the effects of setting the future have been recorded.

Author:

quark

See Also:

Serialized Form

Field Summary

Handle<PullEvent>	pull
Value	value

Fields inherited from class orc.trace.events.Event

cursor, location, seq, thread

Constructor Summary

StoreEvent(PullEvent pull, 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 Value value

pull

public Handle<PullEvent> pull

Constructor Detail

StoreEvent

public StoreEvent(PullEvent pull,
                  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