Uses of Class
org.multijava.mjc.JLoopStatement

Packages that use JLoopStatement

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JLoopStatement in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JLoopStatement

JLoopStatement	JmlLoopStatement.loopStmt()
JLoopStatement	JmlParser.jSimpleLoopStatement()

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

CLoopContext

JmlFlowControlContext.createLoopContext(JLoopStatement self)

Uses of JLoopStatement in org.multijava.mjc

Subclasses of JLoopStatement in org.multijava.mjc

class	JDoStatement This class represents a do statement in the AST.
class	JForStatement This class represents a for statement in the AST.
class	JWhileStatement This class represents a while statement in the AST.

Fields in org.multijava.mjc declared as JLoopStatement

private JLoopStatement

CLoopContext.self

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

abstract CLoopContext	CFlowControlContextType.createLoopContext(JLoopStatement self)
CLoopContext	CFlowControlContext.createLoopContext(JLoopStatement self)

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

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