Uses of Class
org.multijava.mjc.TypeLoader

Packages that use TypeLoader

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

Subclasses of TypeLoader in org.jmlspecs.checker

class

JmlTypeLoader This class acts as a symbol table and a cache for types, type signatures, and external generic functions.

Uses of TypeLoader in org.multijava.mjc

Fields in org.multijava.mjc declared as TypeLoader

private static TypeLoader	CTopLevel.typeLoader
private static TypeLoader	TypeLoader.singletonInstance

Methods in org.multijava.mjc that return TypeLoader

static TypeLoader

TypeLoader.getSingleton()

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

(package private) static void	CTopLevel.initSession(Main compiler, TypeLoader loader) Removes all non-trusted, cached information from this compilation sessions so that new declarations can be processed.
protected void	Main.initSession(TypeLoader l) Initializes this compilation session using the given type loader.