Uses of Class
org.multijava.mjc.JLabeledStatement

Packages that use JLabeledStatement

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

Methods in org.jmlspecs.checker that return JLabeledStatement

JLabeledStatement	JmlFlowControlContext.getLabeledStatement(String label) Returns the statement with the specified label.
JLabeledStatement	JmlParser.jLabeledStatement()

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

void	JmlAbstractVisitor.visitLabeledStatement(JLabeledStatement self) Visits the given labeled statement.
void	JmlVisitorNI.visitLabeledStatement(JLabeledStatement self) visits a labeled statement
void	JmlAccumSubclassingInfo.visitLabeledStatement(JLabeledStatement self)
CLabeledContext	JmlFlowControlContext.createLabeledContext(JLabeledStatement self)

Uses of JLabeledStatement in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitLabeledStatement(JLabeledStatement self) visits a labeled statement

Uses of JLabeledStatement in org.jmlspecs.jmlrac

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

void	TransMethodBody.visitLabeledStatement(JLabeledStatement self) Translates the given Java labeled statement.

Uses of JLabeledStatement in org.multijava.mjc

Fields in org.multijava.mjc declared as JLabeledStatement

private JLabeledStatement

CLabeledContext.self

Methods in org.multijava.mjc that return JLabeledStatement

abstract JLabeledStatement	CFlowControlContextType.getLabeledStatement(String label) Returns the statement with the specified label.
JLabeledStatement	CFlowControlContext.getLabeledStatement(String label) Returns the statement with the specified label.
JLabeledStatement	CLabeledContext.getLabeledStatement(String label) Returns the statement with the specified label.
JLabeledStatement	MjcParser.jLabeledStatement()

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

abstract void	MjcVisitor.visitLabeledStatement(JLabeledStatement self) visits a labeled statement
abstract CLabeledContext	CFlowControlContextType.createLabeledContext(JLabeledStatement self)
CLabeledContext	CFlowControlContext.createLabeledContext(JLabeledStatement self)
void	MjcPrettyPrinter.visitLabeledStatement(JLabeledStatement self) prints a labeled statement

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

CLabeledContext(CFlowControlContextType parent, JLabeledStatement self)
Construct a block context, it supports local variable allocation throw statement and return statement