Uses of Class
org.multijava.mjc.CFlowControlContext

Packages that use CFlowControlContext

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

Subclasses of CFlowControlContext in org.jmlspecs.checker

(package private) class

JmlFieldDeclaration.JmlFieldSpecsContext A special flow control context class for typechecking JML data group clauses.

Uses of CFlowControlContext in org.multijava.mjc

Subclasses of CFlowControlContext in org.multijava.mjc

class	CFinallyContext This class implements the special definite assignment and reachability calculations for combining try and finally blocks in a try-finally statement.
class	CLabeledContext This class represents a labeled context during checking passes (checkInterface, checkInitializers, typecheck).
class	CLoopContext This class represents the context for a loop statement during checking passes (checkInterface, checkInitializers, typecheck).
class	CSwitchBodyContext This class represents the context for the body of a switch statement during checking passes (checkInterface, checkInitializers, typecheck).
class	CSwitchGroupContext This class represents the context for a switch group during checking passes.
class	CTryContext This class represents the context for a try statement during checking passes (checkInterface, checkInitializers, typecheck).