Uses of Class
org.multijava.mjc.JThrowStatement

Packages that use JThrowStatement

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JThrowStatement in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JThrowStatement

JThrowStatement

JmlParser.jThrowStatement()

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

void	JmlAbstractVisitor.visitThrowStatement(JThrowStatement self) Visits the given throw statement.
void	JmlVisitorNI.visitThrowStatement(JThrowStatement self) visits a throw statement
void	JmlAccumSubclassingInfo.visitThrowStatement(JThrowStatement self)

Uses of JThrowStatement in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitThrowStatement(JThrowStatement self) visits a throw statement

Uses of JThrowStatement in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type JThrowStatement

void	TransMethodBody.visitThrowStatement(JThrowStatement self) Translates the given Java throw statement.

Uses of JThrowStatement in org.multijava.mjc

Methods in org.multijava.mjc that return JThrowStatement

JThrowStatement

MjcParser.jThrowStatement()

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

abstract void	MjcVisitor.visitThrowStatement(JThrowStatement self) visits a throw statement
void	MjcPrettyPrinter.visitThrowStatement(JThrowStatement self) prints a throw statement