public interface Catch extends CompoundStmt
Catch represents one half of a try-catch
statement. Specifically, the second half.Term.Instance| Modifier and Type | Method and Description |
|---|---|
Block |
body()
The body of the catch block.
|
Catch |
body(Block body)
Set the body of the catch block.
|
Type |
catchType()
The type of the catch's formal.
|
Formal |
formal()
The catch block's formal parameter.
|
Catch |
formal(Formal formal)
Set the catch block's formal parameter.
|
exceptions, exceptions, reachable, reachabledel, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdgeaddDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList