polyglot.ast
Interface Catch

All Superinterfaces:

java.lang.Cloneable, CompoundStmt, Copy, JL, Node, NodeOps, Stmt, Term

All Known Implementing Classes:

Catch_c

public interface Catch
extends CompoundStmt

A Catch represents one half of a try-catch statement. Specifically, the second half.

Method Summary

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 paramter.
Catch	formal(Formal formal) Set the catch block's formal paramter.

Methods inherited from interface polyglot.ast.Term

acceptCFG, entry, exceptions, exceptions, reachable, reachable

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

catchType

Type catchType()

The type of the catch's formal. This is the same as formal().type().type(). May not be valid until after type-checking.

formal

Formal formal()

The catch block's formal paramter.

formal

Catch formal(Formal formal)

Set the catch block's formal paramter.

body

Block body()

The body of the catch block.

body

Catch body(Block body)

Set the body of the catch block.