Uses of Class
org.multijava.mjc.CClass

Packages that use CClass

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CClass in org.jmlspecs.checker

Subclasses of CClass in org.jmlspecs.checker

class	JmlBinarySourceClass This class represents a class read from a *.class file.
class	JmlSigBinaryClass A class to represent JML class declaratons read from bytecode files.
class	JmlSourceClass A class for representing JML classes read from *.java files.

Fields in org.jmlspecs.checker declared as CClass

private static CClass

JmlTypeLoader.currentHostClass

Methods in org.jmlspecs.checker that return CClass

CClass	JmlSourceClass.getSuperClass() Returns the super class of this class
protected CClass	JmlSourceClass.getDeclaredInnerType(String name) Searches for the inner type with the given name.
CClass	JmlMemberDeclaration.getCClass()
CClass	JmlTypeDeclaration.owner() Returns the logical owner of this type.
CClass	JmlContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	JmlContext.getHostClass() Returns the signature of the class declaration in which this context is enclosed, or null if this context is not enclosed in a class declaration.
CClass	JmlBinaryMember.getCClass()
protected static CClass	JmlBinarySourceClass.buildReceiverClass(CClass host, MethodInfo methodInfo)
private static CClass	JmlBinarySourceClass.getOuterClassFrom(String clazz) Returns the surrounding class for the inner class named by the argument.
CClass	JmlBinaryType.getCClass()
CClass	JmlClassContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	JmlClassContext.getHostClass() Returns the CClass representing the signature of the class containing this context.
CClass	JmlClassContext.getOwnerClass() Returns the CClass representing the signature of the class that is the logical owner of this context.
CClass	JmlCompilationUnitContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	JmlFlowControlContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
static CClass	JmlTypeLoader.getCurrentHostClass() Returns the nearest host class to the current context.
CClass	JmlTypeLoader.reloadType(CClass sourceClass) also requires sourceClass !

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

boolean	JmlSourceClass.descendsFrom(CClass maybeSuper) Indicates whether this host is a subclass of the given class, where "subclass" is the reflexive, transitive closure of the extends relation.
JmlSourceClass	JmlSourceClass.lookupRefinedInnerType(CClass specType) Searches for the inner type refined by a given inner type, looking in the refinement hierarchy as needed.
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 MemberAccess	JConstructorDeclarationWrapper.makeMemberAccess(CContextType context, CClass owner)
protected CSourceField	JFieldDeclarationWrapper.makeFieldSignature(CClass owner) Generates the signature object for this field declaration.
protected CSourceClass	JInterfaceDeclarationWrapper.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
protected MemberAccess	JMethodDeclarationWrapper.makeMemberAccess(CContextType context, CClass owner)
void	JmlTypeDeclaration.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates a CSourceClass class signature singleton for this declaration.
CClassContextType	JmlContext.createClassContext(CClass self) Creates a class context with this context as its parent.
CInterfaceContextType	JmlContext.createInterfaceContext(CClass self) Creates an interface context with this context as its parent.
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.
protected static CClass	JmlBinarySourceClass.buildReceiverClass(CClass host, MethodInfo methodInfo)
private void	JmlExpressionChecker.checkTypeHelper(CClass clazz, TokenReference ref) Checks the visibility of the given class, clazz.
void	JmlFlowControlContext.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
private static JmlMemberAccess	JmlSigBinaryField.createMemberAccess(CClass owner, org.jmlspecs.util.classfile.JmlFieldInfo fieldInfo) Creates a JML member access for the given JML field info object fieldInfo.
private static JmlMemberAccess	JmlSigBinaryMethod.createMemberAccess(CClass owner, org.jmlspecs.util.classfile.JmlMethodInfo methodInfo) Creates a JML member access for the given JML method info object methodInfo.
CBinaryField	JmlSigClassCreator.createBinaryField(CClass owner, FieldInfo fieldInfo) Creates a JML binary field object.
CBinaryMethod	JmlSigClassCreator.createBinaryMethod(CClass owner, MethodInfo methodInfo, CClassContextType declCtx) Creates a JML binary method object.
MemberAccess	JmlSigClassCreator.createMemberAccess(CClass owner, CMemberHost host, ClassInfo classInfo) Creates a JML member access object.
boolean	JmlTypeLoader.addToTypeCache(CClass typ) Adds the given source class to the table of available classes.
protected boolean	JmlTypeLoader.checkUniqueness(CClass typ, CClass last) Returns true if typ is a legal unique type declaration.
protected void	JmlTypeLoader.removeFromTypeCache(CClass typ) Removes the qualified name of the given source class from the table of loaded classes (so it can be reloaded without causing conflicts).
static void	JmlTypeLoader.setCurrentHostClass(CClass sourceClass) Records the host class nearest to the current context which is used by the method reloadType.
CClass	JmlTypeLoader.reloadType(CClass sourceClass) also requires sourceClass !
boolean	JmlTypeLoader.isDeclaredInDifferentSourceFiles(boolean isUnique, CClass clazz) Determines whether the given Class, using its fully qualified name, has been declared in more than one file.
JmlTypeDeclaration	JmlTypeLoader.typeDeclarationOf(CClass typ) Returns the JML type declaration corresponding to the given source class; null is returned if no corresponding JML type declaration is found in the database.
JmlClassDeclaration	JmlTypeLoader.superClassOf(CClass cls) Returns the superclass of a given JML class declaration.

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

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

JmlMemberAccess(CClass owner, long modifiers)
Constructs a member export

JmlMemberAccess(CClass owner, CMemberHost host, long modifiers)
Constructs a top-level member export

JmlClassContext(CContextType parent, CClass self)

JmlInterfaceContext(CContextType parent, CClass clazz)
Instantiates a context for checking interface declarations.

JmlSigBinaryField(CClass owner, org.jmlspecs.util.classfile.JmlFieldInfo fieldInfo)
Creates a new instance by using the given field info fieldInfo.

JmlSigBinaryMethod(CClass owner, org.jmlspecs.util.classfile.JmlMethodInfo methodInfo, CContextType declarationContext)
Creates a new instance by using the given method info methodInfo.

Uses of CClass in org.jmlspecs.jmldoc.jmldoc_142

Fields in org.jmlspecs.jmldoc.jmldoc_142 declared as CClass

CClass

JmldocWrapper.RefinementWrapper.cclass

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type CClass

String	JmldocFieldSubWriter.getLink(CClass container, CField fd, String label)
(package private) static List	JmlHTML.getAllInterfaces(CClass cc) The result is a List of CClassType objects containing all the interfaces, with no duplicates.
void	JmlHTML.addLink(CClass container, JmlStoreRefExpression sre, JmldocFieldSubWriter fsw, SpecWriter sw)
String	JmlHTML.generateMethodSpecification(JmlMethodDeclaration jm, CClass cclass, String sig, com.sun.tools.doclets.standard.HtmlStandardWriter writer)
protected boolean	JmlHTML.superSpecification(StringBuffer s, CClass sclass, JmlMethodDeclaration jm, String sig, boolean isclass, com.sun.tools.doclets.standard.HtmlStandardWriter writer) Generates the html for any specifications for the method 'jm' in the super class 'sclass'.
String	JmlHTML.linkString(CClass cclass, boolean fullname, com.sun.tools.doclets.standard.HtmlStandardWriter writer) This function generates a String giving the name of the class corresponding to 'cclass'; if an html file can be located for this class, then the string consists of an HTML link reference to that class.
org.multijava.mjdoc.mjdoc_142.MjClassDoc	JmldocWrapper.JmlCClassMap.newClassDoc(CClass cclass)

Constructors in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type CClass

JmlClassDoc(CClass cc)
Constructs an object from a CClass object (to be used when source code is not available).

JmldocWrapper.RefinementWrapper(CClass c)

Uses of CClass in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as CClass

private static CClass

TransType.currentCClass CClass of the target type declaration.

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

static String	TransUtils.evalOldName(CClass clazz, boolean isStatic)
static String	TransUtils.invariantLikeName(String prefix, CClass clazz, boolean forStatic) Returns the name of invariant-like assertion check method.
static String	TransUtils.subtypeConstraintName(String prefix, CClass clazz, boolean isWeakly) Returns the name of invariant-like assertion check method.
static String	TransUtils.dynamicCallName(CClass clazz) Returns the name to be used to make dynamic calls to assertion check methods of the given class.
static boolean	TransUtils.beingTested(CClass clazz) Returns true if the class named is a spec file for which a test wrapper is being created.
static boolean	TransUtils.excludedFromInheritance(CClass clazz) Returns true if the given type, clazz, is excluded from the set of types from which specifications can be inherited without using reflective method calls.
static void	TransUtils.initIncludedInInheritance(CClass cc)
protected String	InvariantLikeMethod.inheritFrom(CClass clazz) Return the code that, if executed, inherits invariant-like assertions such as invariants and constraints from the given class, clazz.
protected String	InvariantLikeMethod.reflectiveCall(CClass clazz) Return code that calls reflectively the assertion check method of the given supertype, claszz.
protected String	InvariantLikeMethod.nonReflectiveCall(CClass clazz) Return code that calls non-reflectively the assertion check method of the given supertype, claszz.
protected String	PreOrPostconditionMethod.reflectiveCall(CClass clazz, JFormalParameter[] parameters, String resultVar) Return code that calls reflectively the pre or postcondition method of the given supertype, claszz.
protected String	PreOrPostconditionMethod.nonReflectiveCall(CClass clazz, JFormalParameter[] parameters, String resultVar) Return code that calls non-reflectively the pre or postcondition method of the given supertype, claszz.
protected String	MotherConstraintMethod.inheritFrom(boolean isWeaksubtype, CClass clazz) Returns code that, if executed, inherits constraints from the given type, clazz.
protected String	MotherConstraintMethod.reflectiveCall(boolean isWeakly, CClass clazz) Return code, in the string form, that calls reflectively the constraint check method of the given supertype, claszz.
protected String	MotherConstraintMethod.nonReflectiveCall(boolean isWeakly, CClass clazz) Return code, in the string form, that calls non-reflectively the constraint check method of the given supertype, claszz.
static String	SubtypeConstraintMethod.postfix(CClass clazz, boolean forWeakSubtype) Returns the postfix to be used for constraint check method's name.
static boolean	TransType.dynamicCallNeeded(CClass clazz) Returns true if dynamic calls are needed to access model, ghost, spec_public, and spec_protected fields declared in the given class clazz.
private String	TransConstraint.evalSuperHC(VarGenerator varGen, boolean forStatic, CClass clazz) Return code that evaluates the old expressions of the given supertype, clazz, by making an appropriate call to its old expression evaluation method.

Uses of CClass in org.jmlspecs.jmlspec

Fields in org.jmlspecs.jmlspec declared as CClass

protected CClass

JspBinaryPrinter.cclass

Methods in org.jmlspecs.jmlspec with parameters of type CClass

void	JspBinaryPrinter.print(CClass cclass, PrintWriter io, String otab)

Constructors in org.jmlspecs.jmlspec with parameters of type CClass

JspBinaryPrinter(CClass cclass, long privacy)

Uses of CClass in org.jmlspecs.jmlunit

Methods in org.jmlspecs.jmlunit with parameters of type CClass

private CExpressionContextType	TestDataClassGenerator.expr_context(CClass selfClass) Compute a context for use in testing whether a method exists in the given class.
boolean	TestDataClassGenerator.hasCloneMethod(CClass selfClass) Does the given CClass have a clone method?

Uses of CClass in org.multijava.mjc

Subclasses of CClass in org.multijava.mjc

class	CBadClass This class represents an undefined class (something that comes from a bad classfile) This class is not usable to anything, so it will sooner or later produce a comprehensive error.
class	CBinaryClass This class represents a class read from a *.class file.
class	CBinaryGFCollection This class represents a single generic function collection as read from a .class file.
class	CSourceAmbiguousDispatcherClass This class represents an inner dispatcher class from which an ambiguous error method can be generated.
class	CSourceClass This class represents a class read from a *.java file.
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 CClass

static CClass	CClass.CLS_UNDEFINED
private static CClass	CClassType.BAC_CLASS
private CClass	CClassType.clazz
protected CClass	CClassContext.self
private CClass	JThisExpression.self
protected CClass	MemberAccess.owner Denotes the class in which this member appears logically.
private CClass	JSuperExpression.self The class to which this super expression refers.
private CClass	JSuperExpression.sub The local subclass of the class to which this super expression refers.
protected CClass	JNewObjectExpression.hostClass A reference to the host class of this expression.
protected CClass	JNewObjectExpression.owner A reference to the logical owner of this expression.
private CClass	JExplicitConstructorInvocation.clazz The class of the constructor invoked by this expression.
private CClass	CExtMethodContext.owner Represents the logical owner of this context, i.e., the receiver of the method.
private CClass	CAssertStaticInitMethod.topType The top-level type enclosing the one containing this static initializer
private CClass	CAssertStaticInitMethod.helperCls The class containing helpers for getting the top-level type's Class instance.
private CClass	CSourceFilteredDispatcherMethod.receiverSubclass Only multimethods in the same generic function as CSourceFilteredDispatcherMethod.target and whose receiver type is a proper supertype of this will be considered by the generated dispatch code.
CClass	JOuterLocalVariableExpression.outer
protected CClass	TestCContext.classSig

Methods in org.multijava.mjc that return CClass

abstract CClass	CContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CMember.owner() Returns the owner of this member or null if this is a top-level class declaration.
CClass	CMember.getCClass()
abstract CClass	CMethod.anchorClass() Returns the $anchor class for this generic function.
CClass	CSourceMethod.anchorClass() Returns the $anchor class for this generic function.
CClass	CSourceDispatcherMethod.anchorClass() Returns the $anchor class for this generic function.
static CClass	CTopLevel.loadClass(String qName) Loads type definition; uses the FileFinder supplied in initSession to determine which file is loaded for the given name.
static CClass	CTopLevel.reloadClass(CClass clazz) Reloads the specified class if this class has been defined during a previous compilation session.
abstract CClass	JTypeDeclarationType.owner() Returns the logical owner of this type.
abstract CClass	JMemberDeclarationType.getCClass()
CClass	CClass.getCClass()
CClass	CClass.getSuperClass() Returns the super class of this class
CClass	CClass.lookupClass(String name, CContextType context) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CSourceClass.lookupClass(String name, CContextType context)
CClass	CType.getCClass()
CClass	CClassType.getCClass() Returns the class object associated with this type.
private CClass	CClassType.getCachedCClass() Get source class from cached info of all loaded classes in CTopLevel.
private static CClass	CBinaryMethod.buildReceiverClass(CClass host, MethodInfo methodInfo)
CClass	CBinaryMethod.anchorClass() Returns the $anchor class for this generic function.
CClass	CSourceAmbiguousDispatcherClass.anchorClass()
CClass	CSourceDispatcherClass.anchorClass()
CClass	JMemberDeclaration.getCClass()
CClass	CContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CClassContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CClassContext.getHostClass() Returns the CClass representing the signature of the class containing this context.
CClass	CClassContext.getOwnerClass() Returns the CClass representing the signature of the class that is the logical owner of this context.
abstract CClass	CClassContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
abstract CClass	CClassContextType.getHostClass() Returns the CClass representing the signature of the class containing this context.
abstract CClass	CClassContextType.getOwnerClass() Returns the CClass representing the signature of the class that is the logical owner of this context.
CClass	JTypeDeclaration.owner() Returns the logical owner of this type.
CClass	CClassNameType.getCClass() Returns the class object associated with this type.
abstract CClass	CFlowControlContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	MemberAccess.owner() Returns the owner of this member or null if this is a top-level class declaration.
abstract CClass	CFieldAccessor.owner() Returns the owner of this member.
CClass	JSuperExpression.targetSubclass() Returns the local subclass of the class to which this super expression refers.
CClass	CCompilationUnit.lookupClass(String name, CContextType context) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
abstract CClass	CCompilationUnitContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
private static CClass	CBinaryClass.getOuterClassFrom(String clazz) Returns the surrounding class for the inner class named by the argument.
CClass	CExtMethodContext.lookupClass(String name) Searches for a class with the given name.
CClass	CExtMethodContext.getOwnerClass() Returns the CClass representing the signature of the class that is the logical owner of this context.
CClass	CFlowControlContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
private CClass	CFlowControlContext.lookupLocalClass(String ident) Looks for a class with the given name declared via a type declaration statement in this context.
CClass	TypeLoader.lookupType(String qName) Returns the first CClass instance in the set mapped to by the given fully qualified name, or null if no such instance exists.
CClass	TypeLoader.loadType(String qName)
CClass	TypeLoader.reloadType(CClass clazz) Reloads the specified class if this class has been defined during a previous compilation session.
CClass	CArrayType.getCClass() Returns the class object associated with this type.
CClass	CBadClass.lookupClass(String name, CContextType context) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CCompilationUnitContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CErasedClassType.getCClass()
protected CClass	CNullType.getObject() get the object, if this type was never checked (reads from class files) check it!
CClass	CNullType.getCClass() Returns the class object associated with this type.
CClass	CSwitchGroupContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.

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

abstract CClassContextType	CContextType.createClassContext(CClass self) Creates a class context with this context as its parent.
abstract CInterfaceContextType	CContextType.createInterfaceContext(CClass self) Creates an interface context with this context as its parent.
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.
protected void	CSourceDispatcherMethod.setOwner(CClass owner) Sets the owner of this member.
protected void	CSourceDispatcherMethod.plantFilteredDispatcherBody(CodeSequence code, CClass receiverSubclass) Plants the bytecode for a dispatcher method that dynamically selects the appropriate multimethod body from the set represented by this, but filtered so that only multimethods whose receiver type is a proper supertype of receiverSubclass will be dispatched to.
static boolean	CTopLevel.isDeclaredInDifferentSourceFiles(boolean isUnique, CClass clazz) Determines whether the given Class, using its fully qualified name, has been declared in more one file.
static CClass	CTopLevel.reloadClass(CClass clazz) Reloads the specified class if this class has been defined during a previous compilation session.
static boolean	CTopLevel.addClass(CClass clazz) Adds the given class to the table of available classes.
boolean	Main.Generic(CClass host)
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.
boolean	CClass.descendsFrom(CClass maybeSuper) Indicates whether this host is a subclass of the given class, where "subclass" is the reflexive, transitive closure of the extends relation.
boolean	CClass.nestedDescendsFrom(CClass maybeOuterSuper) Returns true if this host is a subclass of the given class or if some host of this host is a subclass of the given class.
abstract boolean	CMemberHost.descendsFrom(CClass maybeSuper) Indicates whether this host is a subclass of the given class, where "subclass" is the reflexive, transitive closure of the extends relation.
abstract boolean	CMemberHost.nestedDescendsFrom(CClass maybeOuterSuper) Returns true if this host is a subclass of the given class or if some host of this host is a subclass of the given class.
boolean	CClass.NoDupStrategy.alreadySearched(CClass cls)
protected void	CClassType.setClass(CClass clazz) Sets the CClass singleton that goes with this class type.
CClassType	CClassType.createSubstitutedType(CClass local, CClassType prefixType, CClassType[][] substitution)
boolean	CClassType.isRawTypeInvocationOf(CClass superClazz) Returns whether this type is a raw type invocation of the given superClazz.
private boolean	CClassType.isRawTypeInvocationOfRec(CClass superClazz, CClassType type, boolean isRawType) Helper method which goes up the supertype hierarchy in order to find out whether the given type is a raw type invocation of the given superClazz.
private boolean	CClassType.isRawTypeInvocationOfSuper(CClass superClazz, CClassType superType, boolean isRawType) Helper method which takes the step from a type to its supertype in order to find out whether the latter is a raw type invocation of the given superClazz.
private static CClass	CBinaryMethod.buildReceiverClass(CClass host, MethodInfo methodInfo)
private static String	CBinaryMethod.getCorrectSignature(CClass host, MethodInfo methodInfo) Simple convenience method which returns the appropriate method signature stored in the given methodInfo depending on whether Java generics are turned on or off in the current compilation session.
private static CType	CBinaryMethod.buildReturnType(CClass host, MethodInfo methodInfo)
private static CTypeVariable[]	CBinaryMethod.buildTypeParameter(CClass host, MethodInfo methodInfo)
private static CSpecializedType[]	CBinaryMethod.buildParameterTypes(CClass host, MethodInfo methodInfo)
protected MemberAccess	JMethodDeclaration.makeMemberAccess(CContextType context, CClass owner)
CClassContextType	CContext.createClassContext(CClass self) Creates a class context with this context as its parent.
CInterfaceContextType	CContext.createInterfaceContext(CClass self) Creates an interface context with this context as its parent.
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	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.
protected void	CClassNameType.setClass(CClass clazz) Sets the CClass singleton that goes with this class type and registers that this name type has been checked.
abstract void	CFlowControlContextType.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
protected void	MemberAccess.setOwner(CClass owner) Sets the owner of this member.
protected CSourceField	JFieldDeclaration.makeFieldSignature(CClass owner) Generates the signature object for this class declaration.
protected CSourceClass	MJGenericFunctionDecl.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
private void	JAssertStatement.createSyntheticFieldsAndMethods(CClass currCls, CFlowControlContextType context)
boolean	CCompilationUnit.descendsFrom(CClass maybeSuper) Indicates whether this host is a subclass of the given class, where "subclass" is the reflexive, transitive closure of the extends relation.
boolean	CCompilationUnit.nestedDescendsFrom(CClass maybeOuterSuper) Returns true if this host is a subclass of the given class or if some host of this host is a subclass of the given class.
void	CFlowControlContext.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
private static CType	CBinaryField.buildType(CClass host, FieldInfo fieldInfo) Builds the type of this field from the given fieldInfo by parsing the appropriate field signature extracted from the *.class file.
private static String	CBinaryField.getCorrectSignature(CClass host, FieldInfo fieldInfo) Simple convenience method which returns the appropriate field signature stored in the given fieldInfo depending on whether Java generics are turned on or off in the current compilation session.
CBinaryField	ClassCreator.createBinaryField(CClass owner, FieldInfo fieldInfo) Creates a binary field object.
CBinaryMethod	ClassCreator.createBinaryMethod(CClass owner, MethodInfo methodInfo, CClassContextType declCtx) Creates a binary method object.
MemberAccess	ClassCreator.createMemberAccess(CClass owner, CMemberHost host, ClassInfo classInfo) Creates a member access object.
boolean	TypeLoader.addToTypeCache(CClass typ) Adds the given source class to the table of loaded classes.
protected boolean	TypeLoader.checkUniqueness(CClass typ, CClass last) Returns true if typ is a legal unique type declaration.
protected void	TypeLoader.removeFromTypeCache(CClass typ) Removes the qualified name of the given source class from the table of loaded classes (so it can be reloaded without causing conflicts).
CClass	TypeLoader.reloadType(CClass clazz) Reloads the specified class if this class has been defined during a previous compilation session.
boolean	TypeLoader.isDeclaredInDifferentSourceFiles(boolean isUnique, CClass clazz) This method is needed so it can be overridden by JML in order to handle classes that have been refined, e.g., when its specifications have intentionally been declared in a separate file.
void	TypeLoader.signatureCompleted(CClass typ) Implements CClass.Observer by moving typ from compilationSessionTypeCache to vmSessionTypeCache if typ is trusted.
abstract void	CClass.Observer.signatureCompleted(CClass self)
boolean	CBadClass.descendsFrom(CClass maybeSuper) Indicates whether this host is a subclass of the given class, where "subclass" is the reflexive, transitive closure of the extends relation.
private static CSpecializedType[]	CFieldGetterMethod.createParms(CField target, CClass owner)
private static CSpecializedType[]	CFieldSetterMethod.createParms(CField target, CClass owner)
protected CMethod	CSourceGFCollection.superclassMethDispFor(CMethod target, CClass receiverSubclass) Generates a special superclass method invocation dispatcher for the external generic function containing target.
void	CSwitchGroupContext.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.

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

CClassType(CClass clazz)
Construct a class type with the default universe.

CClassType(CClass clazz, CUniverse univ)
Construct a class type with a universe.

CBinaryMethod(CClass host, MethodInfo methodInfo, CContextType declarationContext)
Constructs a method

CCORInitializer(CClass owner, CSourceDispatcherClass[] dispClasses)
Creates a new CCORInitializer instance.

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

CClassContext(CContextType parent, CClass self)

JThisExpression(TokenReference where, CClass self)
Construct a qualified "this" expression node in the parsing tree, where the actual CClass singleton of the qualifier is known.

MemberAccess(CClass owner, long modifiers)
Constructs a member export

MemberAccess(CClass owner, CMemberHost host, long modifiers)
Constructs a top-level member export

CExtMethodContext(CContextType parent, CSourceClass host, CClass owner)

CBinaryField(CClass owner, FieldInfo fieldInfo)
Constructs a field export

CAssertHelperMethod(CClass owner)
Constructs an assertion helper method for the given method.

CAssertStaticInitMethod(CClass owner, CClass topType, CClass helperCls)
Constructs a new static initializer for a class, with code for handling assertions.

CFieldAccessorMethod(CField target, CClass owner, CType retType, CSpecializedType[] parms)
Constructs a getter method for the given method.

CSourceRedirectorMethod(CClass owner, CMemberHost host, long modifiers, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, boolean deprecated, JBlock body, CContextType declarationContext)
Constructs a redirector method.

CErasedClassType(CClass clazz)
Construct a class type

CFieldGetterMethod(CField target, CClass owner)
Constructs a getter method for the given method.

CFieldSetterMethod(CField target, CClass owner)
Constructs a setter method for the given method.

CFunctionAccessMethod(CClass owner, long modifiers, int index, CType type)
Creates a new CFunctionAccessMethod instance.

CInterfaceContext(CContextType parent, CClass clazz)
Instantiates a context for checking interface declarations.

CSourceFilteredDispatcherMethod(CSourceMethod target, CSourceGFCollection host, CClass receiverSubclass, int number)
Creates a new CSourceFilteredDispatcherMethod instance.

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

CWrapperMethod(CMethod target, CClass owner, boolean isSuper)
Constructs a wrapper method for the given method.

JOuterLocalVariableExpression(TokenReference where, JLocalVariable var, CClass outer)
Construct a node in the parsing tree.