Uses of Class
org.multijava.mjc.CSourceClass

Packages that use CSourceClass

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CSourceClass in org.jmlspecs.checker

Subclasses of CSourceClass in org.jmlspecs.checker

class	JmlBinarySourceClass This class represents a class read from a *.class file.
class	JmlSourceClass A class for representing JML classes read from *.java files.

Methods in org.jmlspecs.checker that return CSourceClass

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.
CSourceClass[]	JmlCompilationUnit.allTypeSignatures() Returns the CSourceClass objects representing the type signatures of the types declared in this compilatoin unit and as nested types.

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

void	Main.classToGenerate(CSourceClass clazz) Adds a class to the list of classes to be generated in bytecode.
CExtMethodContext	JmlContext.createExtMethodContext(CSourceClass host, CClass owner) Create a new child of this context representing the context in which an external method declaration is typechecked.
void	JmlContext.classToGenerate(CSourceClass clazz) Adds a source class to be generated
void	JmlCompilationUnitContext.classToGenerate(CSourceClass clazz) Adds a class to generate

Uses of CSourceClass in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type CSourceClass

void	Main.classToGenerate(CSourceClass clazz) Adds a class to the list of classes to be generated in bytecode.

Uses of CSourceClass in org.multijava.mjc

Subclasses of CSourceClass in org.multijava.mjc

class	CSourceAmbiguousDispatcherClass This class represents an inner dispatcher class from which an ambiguous error method can be generated.
class	CSourceDispatcherClass This class represents an inner dispatcher class for a collection of multimethods of the same generic function declared in a single lexical context.
class	CSourceDispatcherSignature This class represents the type (i.e., $signature) for inner dispatcher classes of an external generic function.
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 CSourceClass

private CSourceClass	CSourceAmbiguousDispatcherClass.outer
private CSourceClass	CSourceDispatcherClass.outer
protected CSourceClass	JTypeDeclaration.sourceClass
private CSourceClass	JConstructorBlock.sourceClass
private CSourceClass	JExplicitConstructorInvocation.callingClass The class of the constructor that contains this expression.

Methods in org.multijava.mjc that return CSourceClass

CSourceClass[]	Main.getClasses() Returns the classes to generate
CSourceClass[]	JCompilationUnit.allTypeSignatures() Returns the CSourceClass objects representing the type signatures of the types declared in this compilatoin unit and as nested types.
abstract CSourceClass[]	JCompilationUnitType.allTypeSignatures() Returns the CSourceClass objects representing the type signatures of the types declared in this compilatoin unit and as nested types.
protected CSourceClass	JTypeDeclaration.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
protected CSourceClass	MJGenericFunctionDecl.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.

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

abstract CExtMethodContext	CContextType.createExtMethodContext(CSourceClass host, CClass owner) Create a new child of this context representing the context in which an external method declaration is typechecked.
abstract void	CContextType.classToGenerate(CSourceClass clazz) Adds a source class to be generated
void	Main.classToGenerate(CSourceClass clazz) Adds a class to the list of classes to be generated in bytecode.
JExpression[]	CClass.getSyntheticParamsForExplicitSuper(CSourceClass callerClass, CMethod caller) For an explicit super class constructor invocation, returns the expressions that must be evaluated in the body of the constructor caller of the class callerClass to add the outer local variable values required by this to the stack.
JExpression[]	CSourceClass.getSyntheticParamsForExplicitSuper(CSourceClass callerClass, CMethod caller) For an explicit super class constructor invocation, returns the expressions that must be evaluated in the body of the constructor caller of the class callerClass to add the outer local variable values required by this to the stack.
CExtMethodContext	CContext.createExtMethodContext(CSourceClass host, CClass owner) Create a new child of this context representing the context in which an external method declaration is typechecked.
void	CContext.classToGenerate(CSourceClass clazz) Adds a source class to be generated
abstract void	CCompilationUnitContextType.classToGenerate(CSourceClass clazz) Adds a class to generate
void	CCompilationUnitContext.classToGenerate(CSourceClass clazz) Adds a class to generate
private CMethodSet	TestJTypeDeclaration.methodsFromSourceClass(CSourceClass clazz)

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

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

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

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

CExtMethodContext(CContextType parent, CSourceClass host, CClass owner)

CAnchorInitializer(CSourceClass owner, CSourceMethod regularInit, boolean isStatic)
Creates a new CAnchorInitializer instance.