Uses of Interface
org.multijava.mjc.CGenericFunctionCollection

Packages that use CGenericFunctionCollection

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

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

void	JmlContext.registerGFDecl(String methodIdent, CGenericFunctionCollection coll) Registers the declaration of an external generic function in this context.

Uses of CGenericFunctionCollection in org.multijava.mjc

Classes in org.multijava.mjc that implement CGenericFunctionCollection

class	CBinaryGFCollection This class represents a single generic function collection as read from a .class file.
static class	CGenericFunctionCollection.CGenericFunctionCollection$1
static class	CGenericFunctionCollection.Impl
class	CSourceGFCollection This class represents a single generic function collection, which encapsulates all the top-level methods declared in a given context.

Fields in org.multijava.mjc declared as CGenericFunctionCollection

static CGenericFunctionCollection

CGenericFunctionCollection.GF_UNDEFINED This is just a unique object implementing the interface but doing nothing.

Methods in org.multijava.mjc that return CGenericFunctionCollection

static CGenericFunctionCollection	CTopLevel.lookupGFCollection(String qualifiedIdent) Finds the generic function collection singleton for the given fully qualified name.
CGenericFunctionCollection[]	CGFCollectionMap.getCollectionsFor(String ident) Returns all the generic function collections mapped to by ident.

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

abstract void	CContextType.registerGFDecl(String methodIdent, CGenericFunctionCollection coll) Registers the declaration of an external generic function in this context.
static boolean	CTopLevel.addGFCollection(CGenericFunctionCollection coll) Adds the given generic function collection singleton to the map.
void	CContext.registerGFDecl(String methodIdent, CGenericFunctionCollection coll) Registers the declaration of an external generic function in this context.
(package private) void	CCompilationUnit.registerGFDecl(String ident, CGenericFunctionCollection coll) Registers the declaration of an external generic function in this compilation unit.
void	CGFCollectionMap.register(String ident, CGenericFunctionCollection coll) Adds a mapping from the given identifier to the given generic function collection.
void	CCompilationUnitContext.registerGFDecl(String ident, CGenericFunctionCollection coll) Registers the declaration of an external generic function in this context.