Uses of Interface
org.multijava.mjc.CCompilationUnitContextType

Packages that use CCompilationUnitContextType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CCompilationUnitContextType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement CCompilationUnitContextType

class

JmlCompilationUnitContext This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck).

Fields in org.jmlspecs.checker declared as CCompilationUnitContextType

protected CCompilationUnitContextType

JmlContext.cunit

Methods in org.jmlspecs.checker that return CCompilationUnitContextType

CCompilationUnitContextType	Main.createCompilationUnitContext(JCompilationUnitType jc, CCompilationUnit cunit) Creates a compilation unit context for this compiler.
CCompilationUnitContextType	JmlContext.getCompilationUnit() Returns the compilation unit context for this context.
CCompilationUnitContextType	JmlCompilationUnitContext.getCompilationUnit()

Uses of CCompilationUnitContextType in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac that return CCompilationUnitContextType

CCompilationUnitContextType

Main.createCompilationUnitContext(JCompilationUnitType jc, CCompilationUnit cunit) Creates a compilation unit context for this compiler.

Uses of CCompilationUnitContextType in org.multijava.mjc

Classes in org.multijava.mjc that implement CCompilationUnitContextType

class

CCompilationUnitContext This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck).

Fields in org.multijava.mjc declared as CCompilationUnitContextType

protected CCompilationUnitContextType	CContext.cunit
protected CCompilationUnitContextType	TestCContext.compUnit

Methods in org.multijava.mjc that return CCompilationUnitContextType

abstract CCompilationUnitContextType	CContextType.getCompilationUnit() Returns the compilation unit context for this context.
CCompilationUnitContextType	Main.createCompilationUnitContext(JCompilationUnitType jc, CCompilationUnit cunit) Creates a compilation unit context for this compiler.
CCompilationUnitContextType	JCompilationUnit.createCompilationUnitContext(Main compiler, CCompilationUnit cunit)
CCompilationUnitContextType	CContext.getCompilationUnit() Returns the compilation unit context for this context.
abstract CCompilationUnitContextType	CCompilationUnitContextType.getCompilationUnit()
CCompilationUnitContextType	CCompilationUnitContext.getCompilationUnit()

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

void	Main.adoptCompilationUnitContext(CCompilationUnitContextType childContext) Signals to this compiler that the given context is no longer needed.
private void	JCompilationUnit.groupByAnchor(Main compiler, CCompilationUnitContextType context) Groups top-level methods into collections (of type MJGenericFunctionDecl) that correspond to the anchor classes.
void	CClass.augmentWithMethod(CMethod m, CCompilationUnitContextType c)
void	CCompilationUnit.resolveMaybeExtMethodRef(CCompilationUnitContextType context, String name) Searches for any imported external generic functions.
CMethodSet	CAugmentationMap.getAddedMethods(CCompilationUnitContextType context) Given a context, returns the corresponding set of external methods.
void	CAugmentationMap.addMethod(CMethod m, CCompilationUnitContextType context)
(package private) CMethodSet	CAugmentationMap.ContextMap.getMethodSet(CCompilationUnitContextType context)
(package private) void	CAugmentationMap.ContextMap.addMethodSet(CCompilationUnitContextType context, CMethodSet m)

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

CBinaryClassContext(CCompilationUnitContextType cunit, CBinaryClass self)
Creates a new CBinaryClassContext instance.