CatchBuilderpublic interface CatchBuilder Interface for the construction of {@link CatchTable} instances. |
Methods Summary |
---|
public CatchTable | build()Builds and returns the catch table for this instance.
| public java.util.HashSet | getCatchTypes()Gets the set of catch types associated with this instance.
| public boolean | hasAnyCatches()Gets whether this instance has any catches at all (either typed
or catch-all).
|
|