public final class ExceptionHandlerBuilder
extends java.lang.Object
ExceptionHandlerBuilder
class builds the template representation
of exception handlers.Constructor and Description |
---|
ExceptionHandlerBuilder(java.lang.String id,
boolean isDebugPrinting) |
Modifier and Type | Method and Description |
---|---|
void |
addCall(Call call) |
void |
beginSection(java.math.BigInteger origin,
java.util.Collection<java.lang.String> exceptions) |
void |
beginSection(java.math.BigInteger origin,
java.lang.String exception) |
ExceptionHandler |
build() |
void |
endSection() |
void |
setInstances(java.util.Collection<java.lang.Integer> indices) |
void |
setInstances(int index) |
void |
setInstances(int indexMin,
int indexMax) |
public ExceptionHandlerBuilder(java.lang.String id, boolean isDebugPrinting)
public void setInstances(int index)
public void setInstances(int indexMin, int indexMax)
public void setInstances(java.util.Collection<java.lang.Integer> indices)
public void beginSection(java.math.BigInteger origin, java.lang.String exception)
public void beginSection(java.math.BigInteger origin, java.util.Collection<java.lang.String> exceptions)
public void endSection()
public void addCall(Call call)
public ExceptionHandler build()