|
JIVE Platform Release 0.2.2 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface ExceptionEvent.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 |
---|
void addException(Value exception)
ExceptionEvent#export(Exporter)
.
exception
- the exceptionvoid addCatcher(ContourID catcher)
ExceptionEvent#export(Exporter)
.
catcher
- the catchervoid addVariable(VariableID v)
ExceptionEvent#export(Exporter)
.
v
- the variable identifier
|
JIVE Platform Release 0.2.2 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |