Uses of Class
org.multijava.mjc.JCatchClause

Packages that use JCatchClause

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JCatchClause in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JCatchClause

JCatchClause

JmlParser.jHandler()

Methods in org.jmlspecs.checker with parameters of type JCatchClause

void	JmlAbstractVisitor.visitCatchClause(JCatchClause self) Visits the given catch clause.
void	JmlVisitorNI.visitCatchClause(JCatchClause self) visits a catch clause
void	JmlAccumSubclassingInfo.visitCatchClause(JCatchClause self)

Uses of JCatchClause in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type JCatchClause

void	SpecWriter.visitCatchClause(JCatchClause self) visits a catch clause

Uses of JCatchClause in org.multijava.mjc

Fields in org.multijava.mjc declared as JCatchClause

private JCatchClause[]

JTryCatchStatement.catchClauses

Methods in org.multijava.mjc that return JCatchClause

JCatchClause[]	JTryCatchStatement.catchClauses()
JCatchClause	MjcParser.jHandler()

Methods in org.multijava.mjc with parameters of type JCatchClause

abstract void	MjcVisitor.visitCatchClause(JCatchClause self) visits a catch clause
private boolean	JTryCatchStatement.checkClause(CFlowControlContextType entryContext, CFlowControlContextType exitContext, JCatchClause clause) Checks the given catch-block, clause, using the definite assignment information from entryContext.
void	MjcPrettyPrinter.visitCatchClause(JCatchClause self) prints a catch clause

Constructors in org.multijava.mjc with parameters of type JCatchClause

JTryCatchStatement(TokenReference where, JBlock tryClause, JCatchClause[] catchClauses, JavaStyleComment[] comments)
Construct a node in the parsing tree.