jltools.ast
Interface Catch

All Superinterfaces:

java.lang.Cloneable, Copy, Node, java.io.Serializable, Stmt

All Known Implementing Classes:

Catch_c

public interface Catch

extends Stmt

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

Method Summary

Block	body()
Catch	body(Block body)
Type	catchType()
Formal	formal()
Catch	formal(Formal formal)

Methods inherited from interface jltools.ast.Node

buildTypes_, buildTypesOverride_, copy, disambiguate_, disambiguateOverride_, disambiguateTypes_, disambiguateTypesOverride_, dump, enterScope, exceptionCheck_, exceptionCheckOverride_, ext, ext, foldConstants_, foldConstantsOverride_, leaveScope, position, position, reconstructTypes_, translate_, typeCheck_, typeCheckOverride_, visit, visitChildren

Method Detail

catchType

public Type catchType()

formal

public Formal formal()

formal

public Catch formal(Formal formal)

body

public Block body()

body

public Catch body(Block body)