Uses of Class
org.multijava.mjc.Main

Packages that use Main

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

Subclasses of Main in org.jmlspecs.checker

class

Main This class implements the entry point of the JML compiler.

Fields in org.jmlspecs.checker declared as Main

private Main

JmlCompilationUnit.cachedCompiler

Methods in org.jmlspecs.checker that return Main

Main	JmlContext.getCompiler() Gets the compiler for this context
Main	JmlCompilationUnitContext.getCompiler() Gets the compiler

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

protected CSourceClass	JClassDeclarationWrapper.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this class declaration.
protected CSourceClass	JInterfaceDeclarationWrapper.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
void	JmlTypeDeclaration.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates a CSourceClass class signature singleton for this declaration.
void	JmlClassOrGFImport.typecheck(Main compiler) Checks whether this class import statement names a class (or generic function) that is used in the source code.
void	JmlCompilationUnit.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.
void	JmlCompilationUnit.checkInterface(Main compiler)
void	JmlCompilationUnit.checkInitializers(Main compiler)
(package private) void	JmlCompilationUnit.resolveSpecializers(Main compiler) Resolves value specializer expressions to the compile-time constants they represent.
void	JmlCompilationUnit.typecheck(Main compiler)
void	JmlCompilationUnit.translateMJ(Main compiler)
void	JmlCompilationUnit.cachePassParameters(Main compiler, Destination destination) Caches the arguments for the compiler passes.
void	JmlPackageImport.typecheck(Main compiler, JPackageName pack) Checks the use of package import statements.
void	JmlRefinePrefix.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.

Constructors in org.jmlspecs.checker with parameters of type Main

JmlSourceClass(Main compiler, CClass owner, CMemberHost host, TokenReference where, long modifiers, String ident, String qualifiedName, CTypeVariable[] typevariables, boolean isAnonymous, boolean isMember, boolean deprecated)
Constructs a class export from source

JmlBinarySourceClass(Main compiler, ClassInfo classInfo, File file)
Constructs a class export from file.

JmlCompilationUnitContext(Main compiler, CCompilationUnit cunit)
Construct a compilation unit context.

JmlParser(Main compiler, antlr.TokenStream lexer, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords)

JmlParser(Main compiler, antlr.TokenStream lexer, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean isRefinedCUnit)

JmlParserUtility(Main compiler, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)

JmlSigBinaryClass(Main compiler, ClassInfo classInfo)
Constructs an instance of this class using the given class info object classInfo.

Uses of Main in org.multijava.mjc

Subclasses of Main in org.multijava.mjc

(package private) static class	CTopLevel.CTopLevel$1
protected static class	TestMjcParser.TestCompiler

Fields in org.multijava.mjc declared as Main

private static Main	CTopLevel.compiler
private static Main	CTopLevel.FROMCLASSES
private Main	JCompilationUnit.cachedCompiler
private Main	CClass.compiler
protected Main	ParserUtility.compiler
protected Main	TestMjcParser.compiler
private Main	CCompilationUnitContext.compiler

Methods in org.multijava.mjc that return Main

abstract Main	CContextType.getCompiler() Gets the compiler for this context
static Main	CTopLevel.getCompiler() Returns the top level compiler.
static Main	CTopLevel.getFromClassesCompiler()
Main	CClass.getCompiler() Returns the compiler
Main	CContext.getCompiler() Gets the compiler for this context
abstract Main	CCompilationUnitContextType.getCompiler() Gets the compiler
Main	ParserUtility.getCompiler() Returns the compiler that instantiated the parser.
Main	CCompilationUnitContext.getCompiler() Gets the compiler

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

(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.
abstract void	JTypeDeclarationType.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates a CSourceClass class signature singleton for this declaration.
CCompilationUnitContextType	JCompilationUnit.createCompilationUnitContext(Main compiler, CCompilationUnit cunit)
void	JCompilationUnit.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.
private void	JCompilationUnit.groupByAnchor(Main compiler, CCompilationUnitContextType context) Groups top-level methods into collections (of type MJGenericFunctionDecl) that correspond to the anchor classes.
private void	JCompilationUnit.clonePrivateAnchorsAndAddTo(Main compiler, JTypeDeclarationType parent, boolean genInterface) Clones every private generic function anchor and adds each as a child of the given parent node.
void	JCompilationUnit.checkInterface(Main compiler) Checks the basic interfaces to make sure things generally look OK.
void	JCompilationUnit.checkInitializers(Main compiler) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
void	JCompilationUnit.resolveSpecializers(Main compiler) Resolves value specializer expressions to the compile-time constants they represent.
void	JCompilationUnit.typecheck(Main compiler) Typechecks this compilation unit.
void	JCompilationUnit.translateMJ(Main compiler) Refactors this to include dispatchers for multimethods and other code necessary for running MultiJava code on a standard JVM.
void	JCompilationUnit.cachePassParameters(Main compiler, Destination destination) Caches the arguments for the compiler passes.
abstract void	JCompilationUnitType.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.
abstract void	JCompilationUnitType.checkInterface(Main compiler) Checks the basic interfaces to make sure things generally look OK.
abstract void	JCompilationUnitType.checkInitializers(Main compiler) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
abstract void	JCompilationUnitType.typecheck(Main compiler) Typechecks this compilation unit.
abstract void	JCompilationUnitType.translateMJ(Main compiler) Refactors this to include dispatchers for multimethods and other code necessary for running MultiJava code on a standard JVM.
abstract void	JCompilationUnitType.cachePassParameters(Main compiler, Destination destination) Caches the arguments for the compiler passes.
private void	CSourceDispatcherClass.completeClassInfo(Main compiler, TokenReference where) Generates the $signature interface and (if RMJ) the ambiguous-method dispatcher class for this generic function and then calls completeClassInfo().
void	JTypeDeclaration.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates a CSourceClass class signature singleton for this declaration and then registers the signature with CTopLevel.
protected CSourceClass	JTypeDeclaration.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
abstract void	JClassOrGFImportType.typecheck(Main compiler) Checks whether this class import statement names a class (or generic function) that is used in the source code.
abstract void	JPackageImportType.typecheck(Main compiler, JPackageName pack) Checks the use of package import statements.
protected CSourceClass	MJGenericFunctionDecl.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
void	JPackageImport.typecheck(Main compiler, JPackageName pack) Checks the use of package import statements.
void	JClassOrGFImport.typecheck(Main compiler) Checks whether this class import statement names a class (or generic function) that is used in the source code.
void	CParseCompilationUnitContext.addTypeDeclaration(Main compiler, JTypeDeclarationType decl)
void	CParseCompilationUnitContext.addMJTopLevelMethodDeclaration(Main compiler, MJTopLevelMethodDeclaration decl)

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

CSourceDispatcherMethod(TokenReference where, Main compiler, CSourceClass outer, CMethod topConcreteMethod, CSourceMethod[] multimethods, int gfID)
Constructs a dispatcher method for the given set of multimethods.

CClass(Main compiler, MemberAccess access, File sourceFile, String ident, String qualifiedName, CClassType superClass, boolean deprecated)
Constructs a class signature.

CSourceClass(Main compiler, MemberAccess access, TokenReference where, String ident, String qualifiedName, CTypeVariable[] typevariables, boolean isAnonymous, boolean isMember, boolean deprecated)
Constructs a class export from source

CSourceAmbiguousDispatcherClass(Main compiler, CSourceClass outer, TokenReference where, CDispatcherSignature dispatcherSig, CSourceDispatcherMethod dispatcherMethod, int number)

CSourceDispatcherClass(Main compiler, CSourceClass outer, TokenReference where, CSourceDispatcherMethod dispatcherMethod)

CSourceDispatcherSignature(Main compiler, CClass outer, TokenReference where, CSourceDispatcherMethod dispMethod, int number)

Main.Task(int priority, Object sequenceID)
Creates a new task of the given priority and sequenceID.

CBinaryClass(Main compiler, ClassInfo classInfo)
Constructs a class export from file.

CBinaryClass(Main compiler, ClassInfo classInfo, ClassCreator creator, SignatureParser signatureparser)
Constructs a class export from file.

ParserUtility(Main compiler, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)

Main.ParseTask(ArrayList infiles)

Main.ParseTask(File fileName, Main.ExpectedResult expected)

Main.TreeProcessingTask(int priority, Object sequenceID, CompilerPassEnterable[] trees, MessageDescription passCompletedMessage)
Constructs a task that operates on an AST forest.

Main.TypecheckTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the initializers in the given forest.

Main.TypecheckTask(int priority, Object sequenceID, CompilerPassEnterable[] trees, MessageDescription passCompletedMessage)

Main.PrettyPrintTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for pretty printer the trees in the given forest.

CBinaryGFCollection(Main compiler, ClassInfo file)
Constructs a new generic function collection from a ClassInfo object.

CCompilationUnitContext(Main compiler, CCompilationUnit cunit)
Construct a compilation unit context.

CSourceGFCollection(Main compiler, CClass owner, CMemberHost host, TokenReference where, long modifiers, String ident, String qualifiedName, boolean isAnonymous, boolean isMember, boolean deprecated, CMethod[] tlMethods)

Main.PreprocessTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for preprocessing the ASTs in the given forest.

Main.CheckInterfaceTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the interfaces in the given forest.

Main.CheckInitializerTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the initializers in the given forest.

Main.ResolveSpecializerTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for resolving the specializers in the given forest.

Main.ResolveTopMethodTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for resolving the top methods in the given forest.

Main.TranslateMJTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for pretty printer the trees in the given forest.

MjcParser(Main compiler, antlr.TokenStream lexer, ParsingController parsingController, boolean allowGeneric, boolean allowMultiJava, boolean allowRelaxedMultiJava, boolean allowUniverseKeywords, boolean parseJavadocs)