Uses of Class
org.multijava.mjc.CParseCompilationUnitContext

Packages that use CParseCompilationUnitContext

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

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

void	JmlParser.jImportDefinition(CParseCompilationUnitContext cunit)
void	JmlParser.mjTopLevelDefinition(CParseCompilationUnitContext context)
void	JmlParser.jTypeDefinition(CParseCompilationUnitContext context, long mods, antlr.Token startToken)
void	JmlParser.mjTopLevelDeclaration(CParseCompilationUnitContext context, long mods, antlr.Token startToken)

Uses of CParseCompilationUnitContext in org.multijava.mjc

Methods in org.multijava.mjc that return CParseCompilationUnitContext

static CParseCompilationUnitContext

CParseCompilationUnitContext.getInstance()

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

static void	CParseCompilationUnitContext.release(CParseCompilationUnitContext context) Erases the data stored in context and pushes the instance onto a stack for recycling.
void	MjcParser.jImportDefinition(CParseCompilationUnitContext cunit)
void	MjcParser.mjTopLevelDefinition(CParseCompilationUnitContext context)
void	MjcParser.jTypeDefinition(CParseCompilationUnitContext context, long mods, antlr.Token startToken)
void	MjcParser.mjTopLevelDeclaration(CParseCompilationUnitContext context, long mods, antlr.Token startToken)