Uses of Class
org.multijava.mjc.CContext

Packages that use CContext

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

Subclasses of CContext in org.jmlspecs.checker

(package private) class

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

Fields in org.jmlspecs.checker declared as CContext

protected CContext

JmlContext.delegee

Uses of CContext in org.multijava.mjc

Subclasses of CContext in org.multijava.mjc

class	CBinaryClassContext This represents the context of a binary (i.e., read from .class file) class declaration.
class	CClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CCompilationUnitContext This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck).
class	CConstructorContext This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck).
class	CExpressionContext This class represents the context for an expression during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtendedClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtendedCompilationUnitContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtMethodContext This represents the context in which an external method declaration is typechecked.
class	CFinallyContext This class implements the special definite assignment and reachability calculations for combining try and finally blocks in a try-finally statement.
class	CFlowControlContext This class is used during typechecking for control flow analysis that maintains local variable definite assignment (JLS2, 16), throwable, and reachability information (JLS2, 14.20).
class	CInitializerContext This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).
class	CInterfaceContext This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).
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	CMethodContext This class represents the context for a method 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).