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, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, 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