Uses of Class
org.multijava.mjc.CClass

Packages that use CClass

org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.mjdoc.mjdoc_142	The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool.

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

private static CClass	CClassType.BAC_CLASS
private CClass	CClassType.clazz
static CClass	CClass.CLS_UNDEFINED
protected CClass	CClassContext.self
private CClass	JThisExpression.self
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.
protected CClass	MemberAccess.owner Denotes the class in which this member appears logically.
private CClass	CExtMethodContext.owner Represents the logical owner of this context, i.e., the receiver of the method.
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.
private CClass	JExplicitConstructorInvocation.clazz The class of the constructor invoked by this expression.
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.
CClass	JOuterLocalVariableExpression.outer
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	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()
private static CClass	CBinaryMethod.buildReceiverClass(CClass host, MethodInfo methodInfo)
CClass	CBinaryMethod.anchorClass() Returns the $anchor class for this generic function.
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.
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	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	CArrayType.getCClass() Returns the class object associated with this type.
abstract CClass	CCompilationUnitContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CBadClass.lookupClass(String name, CContextType context) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
abstract CClass	CFieldAccessor.owner() Returns the owner of this member.
private static CClass	CBinaryClass.getOuterClassFrom(String clazz) Returns the surrounding class for the inner class named by the argument.
CClass	MemberAccess.owner() Returns the owner of this member or null if this is a top-level class declaration.
CClass	CClassNameType.getCClass() Returns the class object associated with this type.
CClass	CCompilationUnit.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.
abstract CClass	CFlowControlContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
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	CErasedClassType.getCClass()
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.
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.
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	JSuperExpression.targetSubclass() Returns the local subclass of the class to which this super expression refers.

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.
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 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.
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 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.
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.
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.
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.
protected void	MemberAccess.setOwner(CClass owner) Sets the owner of this member.
abstract void	CClass.Observer.signatureCompleted(CClass self)
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.
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.
abstract void	CFlowControlContextType.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
private static CSpecializedType[]	CFieldGetterMethod.createParms(CField target, CClass owner)
private static CSpecializedType[]	CFieldSetterMethod.createParms(CField target, CClass owner)
void	CFlowControlContext.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
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.
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.
private void	JAssertStatement.createSyntheticFieldsAndMethods(CClass currCls, CFlowControlContextType context)
protected CSourceClass	MJGenericFunctionDecl.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
protected CSourceField	JFieldDeclaration.makeFieldSignature(CClass owner) Generates the signature object for this class declaration.

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

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

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

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

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.

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.

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

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

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

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.

CExtMethodContext(CContextType parent, CSourceClass host, CClass owner)

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.

Uses of CClass in org.multijava.mjdoc.mjdoc_142

Fields in org.multijava.mjdoc.mjdoc_142 declared as CClass

private CClass

MjClassDoc.cclass The CClass object that this class wraps.

Methods in org.multijava.mjdoc.mjdoc_142 that return CClass

CClass

MjClassDoc.cclass() Returns the CClass object that corresponds to this MjClassDoc.

Methods in org.multijava.mjdoc.mjdoc_142 with parameters of type CClass

private void	MjClassDoc.init(CClass cc) A helper method that completes the construction of an object.
static MjClassDoc	MjdocWrapper.lookup(CClass cclass) Returns the MjClassDoc object generated from the given CClass; if the CClass object was not previously registered, an MjClassDoc object is created.
MjClassDoc	MjdocWrapper.CClassMap.lookup(CClass cclass)
MjClassDoc	MjdocWrapper.CClassMap.newClassDoc(CClass cclass)
private static String	MjType.name_nested(CClass c) Returns just the class name, with any enclosing classes - no dimensions, no package.

Constructors in org.multijava.mjdoc.mjdoc_142 with parameters of type CClass

MjProgramElementDoc(CClass cl)
Creates this super class object for the case that the derived class represents a class or interface; cl is the class or interface being wrapped.

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