Uses of Class
org.multijava.mjc.JSwitchLabel

Packages that use JSwitchLabel

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

Methods in org.jmlspecs.checker that return JSwitchLabel

JSwitchLabel

JmlParser.jACase()

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

void	JmlAbstractVisitor.visitSwitchLabel(JSwitchLabel self)
void	JmlVisitorNI.visitSwitchLabel(JSwitchLabel self) visits a switch label
void	JmlAccumSubclassingInfo.visitSwitchLabel(JSwitchLabel self)

Uses of JSwitchLabel in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitSwitchLabel(JSwitchLabel self) visits a switch label

Uses of JSwitchLabel in org.multijava.mjc

Fields in org.multijava.mjc declared as JSwitchLabel

private JSwitchLabel[]

JSwitchGroup.labels

Methods in org.multijava.mjc that return JSwitchLabel

JSwitchLabel[]	JSwitchGroup.labels()
JSwitchLabel	MjcParser.jACase()

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

abstract void	MjcVisitor.visitSwitchLabel(JSwitchLabel self) visits a switch label
void	MjcPrettyPrinter.visitSwitchLabel(JSwitchLabel self) prints a switch label

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

JSwitchGroup(TokenReference where, JSwitchLabel[] labels, JStatement[] stmts)
Construct a node in the parsing tree.