Uses of Class
org.multijava.mjc.CParseClassContext

Packages that use CParseClassContext

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

Subclasses of CParseClassContext in org.jmlspecs.checker

class

CParseClassContext This class is used by the parser to collect the members of a class declaration.

Methods in org.jmlspecs.checker that return CParseClassContext

static CParseClassContext

CParseClassContext.getInstance() Factory method returns an instance of CParseJmlClassContext.

Uses of CParseClassContext in org.multijava.mjc

Methods in org.multijava.mjc that return CParseClassContext

static CParseClassContext	CParseClassContext.getInstance() Factory method returns an instance of CParseClassContext.
private CParseClassContext	MjcParser.getParseClassContext() Generates the appropriate data structure for buffering class members during parsing.

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

static void	CParseClassContext.release(CParseClassContext context) Erases the data stored in context and pushes the instance onto a stack for recycling.
void	MjcParser.jClassBlock(CParseClassContext context)
void	MjcParser.jMember(CParseClassContext context)