Uses of Class
org.multijava.mjc.JSwitchGroup

Packages that use JSwitchGroup

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

Methods in org.jmlspecs.checker that return JSwitchGroup

JSwitchGroup

JmlParser.jCasesGroup()

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

void	JmlAbstractVisitor.visitSwitchGroup(JSwitchGroup self) Visits the given switch group.
void	JmlVisitorNI.visitSwitchGroup(JSwitchGroup self) visits a switch group
void	JmlAccumSubclassingInfo.visitSwitchGroup(JSwitchGroup self)

Uses of JSwitchGroup in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitSwitchGroup(JSwitchGroup self) visits a switch group

Uses of JSwitchGroup in org.jmlspecs.jmlrac

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

void	TransMethodBody.visitSwitchGroup(JSwitchGroup self) Translates the given Java switch group statement.

Uses of JSwitchGroup in org.multijava.mjc

Fields in org.multijava.mjc declared as JSwitchGroup

private JSwitchGroup[]

JSwitchStatement.groups

Methods in org.multijava.mjc that return JSwitchGroup

JSwitchGroup[]	JSwitchStatement.groups()
JSwitchGroup	MjcParser.jCasesGroup()

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

abstract void	MjcVisitor.visitSwitchGroup(JSwitchGroup self) visits a switch group
void	MjcPrettyPrinter.visitSwitchGroup(JSwitchGroup self) prints a switch group

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

JSwitchStatement(TokenReference where, JExpression expr, JSwitchGroup[] groups, JavaStyleComment[] comments)
Construct a node in the parsing tree.