|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ExceptionHandler | |
|---|---|
| joeq.Compiler.Analysis.FlowInsensitive | |
| joeq.Compiler.Analysis.Primitive | |
| joeq.Compiler.Quad | |
| joeq.Util.Templates | |
| Uses of ExceptionHandler in joeq.Compiler.Analysis.FlowInsensitive |
|---|
| Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type ExceptionHandler | |
|---|---|
protected void |
MethodSummary.BuildMethodSummary.mergeWith(ExceptionHandler eh)
Merge the current state into the start state for the given basic block. |
| Uses of ExceptionHandler in joeq.Compiler.Analysis.Primitive |
|---|
| Methods in joeq.Compiler.Analysis.Primitive with parameters of type ExceptionHandler | |
|---|---|
protected void |
PrimitiveMethodSummary.BuildMethodSummary.mergeWith(ExceptionHandler eh)
Merge the current state into the start state for the given basic block. |
| Uses of ExceptionHandler in joeq.Compiler.Quad |
|---|
| Methods in joeq.Compiler.Quad that return ExceptionHandler | |
|---|---|
ExceptionHandler |
ExceptionHandlerList.getExceptionHandler(int index)
|
ExceptionHandler |
ExceptionHandlerList.getHandler()
Return the handler in this set. |
ExceptionHandler |
ExceptionHandlerList.mustCatch(jq_Class exType)
Returns the first exception handler in the list that MUST catch an exception of the given type, or null if there is no handler that must catch it. |
ExceptionHandler |
ExceptionHandlerIterator.nextExceptionHandler()
Returns the next element of this iterator, avoiding the cast. |
ExceptionHandler |
ExceptionHandlerIterator.previousExceptionHandler()
Returns the previous element of this iterator, avoiding the cast. |
| Methods in joeq.Compiler.Quad with parameters of type ExceptionHandler | |
|---|---|
void |
ExceptionHandlerList.setHandler(ExceptionHandler eh)
|
| Constructors in joeq.Compiler.Quad with parameters of type ExceptionHandler | |
|---|---|
ExceptionHandlerList(ExceptionHandler exception_handler)
Creates new ExceptionHandlerList containing the given exception handler and no parent set. |
|
ExceptionHandlerList(ExceptionHandler exception_handler,
ExceptionHandlerList parent)
Creates new ExceptionHandlerList containing the given exception handler and parent set. |
|
| Uses of ExceptionHandler in joeq.Util.Templates |
|---|
| Methods in joeq.Util.Templates that return ExceptionHandler | |
|---|---|
ExceptionHandler |
ListWrapper.ExceptionHandler.getExceptionHandler(int index)
|
ExceptionHandler |
List.ExceptionHandler.getExceptionHandler(int index)
|
ExceptionHandler |
ListWrapper.ExceptionHandler.Iterator.nextExceptionHandler()
|
ExceptionHandler |
ListWrapper.ExceptionHandler.EmptyIterator.nextExceptionHandler()
|
ExceptionHandler |
ListIterator.ExceptionHandler.nextExceptionHandler()
|
ExceptionHandler |
ListWrapper.ExceptionHandler.Iterator.previousExceptionHandler()
|
ExceptionHandler |
ListWrapper.ExceptionHandler.EmptyIterator.previousExceptionHandler()
|
ExceptionHandler |
ListIterator.ExceptionHandler.previousExceptionHandler()
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||