edu.bsu.cs.jive.events
Interface ExceptionEvent.Exporter

All Superinterfaces:

Event.Exporter

All Known Implementing Classes:

ExceptionCaughtSearchQuery.ExceptionEventExporter

Enclosing interface:

ExceptionEvent

public static interface ExceptionEvent.Exporter
extends Event.Exporter

Exporter (reverse-builder) for an exception event.

Method Summary

void	addCatcher(ContourID catcher) Adds the catcher of the exception.
void	addException(Value exception) Adds the exception that was caught.
void	addVariable(VariableID v) Adds the variable identifier holding the exception that was caught.

Methods inherited from interface edu.bsu.cs.jive.events.Event.Exporter

addNumber, addThreadID

Method Detail

addException

void addException(Value exception)

Adds the exception that was caught. This is called by ExceptionEvent#export(Exporter).

Parameters:

exception - the exception

addCatcher

void addCatcher(ContourID catcher)

Adds the catcher of the exception. This This is called by ExceptionEvent#export(Exporter).

Parameters:

catcher - the catcher

addVariable

void addVariable(VariableID v)

Adds the variable identifier holding the exception that was caught. This is called by ExceptionEvent#export(Exporter).

Parameters:

v - the variable identifier