orc.trace.events
Class ErrorEvent

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

All Implemented Interfaces:

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

public class ErrorEvent
extends Event

A fatal error in a thread.

See Also:

Serialized Form

Field Summary

TokenException

error

Fields inherited from class orc.trace.events.Event

cursor, location, seq, thread

Constructor Summary

ErrorEvent(TokenException error)

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

error

public final TokenException error

Constructor Detail

ErrorEvent

public ErrorEvent(TokenException error)

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