Uses of Class
org.multijava.mjc.JSwitchStatement

Packages that use JSwitchStatement

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 JSwitchStatement in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JSwitchStatement

JSwitchStatement

JmlParser.jSwitchStatement()

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

void	JmlAbstractVisitor.visitSwitchStatement(JSwitchStatement self) Visits the given switch statement.
void	JmlVisitorNI.visitSwitchStatement(JSwitchStatement self) visits a switch statement
void	JmlAccumSubclassingInfo.visitSwitchStatement(JSwitchStatement self)
CSwitchBodyContext	JmlFlowControlContext.createSwitchBodyContext(JSwitchStatement stmt, CType switchType)

Uses of JSwitchStatement in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitSwitchStatement(JSwitchStatement self) visits a switch statement

Uses of JSwitchStatement in org.jmlspecs.jmlrac

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

void	TransMethodBody.visitSwitchStatement(JSwitchStatement self) Translates the given Java switch statement.

Uses of JSwitchStatement in org.multijava.mjc

Fields in org.multijava.mjc declared as JSwitchStatement

private JSwitchStatement

CSwitchBodyContext.stmt

Methods in org.multijava.mjc that return JSwitchStatement

JSwitchStatement

MjcParser.jSwitchStatement()

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

abstract void	MjcVisitor.visitSwitchStatement(JSwitchStatement self) visits a switch statement
abstract CSwitchBodyContext	CFlowControlContextType.createSwitchBodyContext(JSwitchStatement stmt, CType switchType)
CSwitchBodyContext	CFlowControlContext.createSwitchBodyContext(JSwitchStatement stmt, CType switchType)
void	MjcPrettyPrinter.visitSwitchStatement(JSwitchStatement self) prints a switch statement

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

CSwitchBodyContext(CFlowControlContextType parent, JSwitchStatement stmt, CType switchType)
Construct a context for a switch statement.