Uses of Class
org.multijava.mjc.CClassType

Packages that use CClassType

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.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CClassType in org.jmlspecs.checker

Subclasses of CClassType in org.jmlspecs.checker

class

CTypeType This class represents the JML \TYPE type.

Fields in org.jmlspecs.checker declared as CClassType

private CClassType[]	JmlSignalsOnlyClause.exceptions The exceptions listed, which will be null if \nothing is used.
static CClassType	JmlStdType.JMLObjectSet

Methods in org.jmlspecs.checker that return CClassType

protected CClassType[]	JmlSourceClass.innerClassesForAttribute() Collects all the inner classes that must be added to the InnerClasses attribute.
CClassType[]	JmlTypeDeclaration.interfaces()
CClassType[]	JmlMethodDeclaration.getExceptions()
CClassType[]	JmlSignalsOnlyClause.exceptions()
private static CClassType[]	JmlBinarySourceClass.buildExceptionTypes(MethodInfo methodInfo)
protected CClassType[]	JmlBinarySourceClass.loadInterfaces(String[] interfaces) Loads the interfaces specified by the Strings in the argument array (whether from other declarations in this compilation pass or from *.class files.)
CClassType[]	JmlParser.jThrowsClause()
CClassType[]	JmlParser.jNameList()
CClassType	JmlParser.jTypeName(CUniverse elem_univ)
CClassType[]	JmlParser.jParameterizedClassTypeList()
(package private) CClassType[]	JmlParser.TypeWeaklyList.types()

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

protected void	JmlSourceClass.accumMostSpecificMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
protected void	JmlSourceClass.accumLocalInternalMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args) Accumulates the set of methods with identifier name declared in the type represented by this, using the strategy actor.
boolean	JmlSourceClass.JmlSourceClass$1.maybeInclude(CMethod candidate, CClassType[] args)
boolean	JmlSourceClass.JmlSourceClass$2.maybeInclude(CMethod candidate, CClassType[] args)
boolean	JmlSourceClass.JmlSourceClass$3.maybeInclude(CMethod candidate, CClassType[] args)
static JmlClassDeclaration	JmlClassDeclaration.makeInstance(TokenReference where, long modifiers, String ident, CClassType superType, boolean isWeakSubtype, CClassType[] interfaces, boolean[] interfaceWeaklyFlags, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType) Constructs a class declaration in the parsing tree.
void	JmlClassDeclaration.setSuperClass(CClassType superType) Sets the super class
void	JmlClassDeclaration.setInterfaces(CClassType[] interfaces) Sets the super class
static JmlMethodDeclaration	JmlMethodDeclaration.makeInstance(TokenReference where, long modifiers, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
static JmlConstructorDeclaration	JmlConstructorDeclaration.makeInstance(TokenReference where, long modifiers, String ident, JFormalParameter[] params, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments, JmlMethodSpecification methodSpecification)
static JmlInterfaceDeclaration	JmlInterfaceDeclaration.makeInstance(TokenReference where, long modifiers, String ident, CClassType[] interfaces, boolean[] interfaceWeaklyFlags, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JmlInvariant[] invariants, JmlConstraint[] constraints, JmlRepresentsDecl[] representsDecls, JmlAxiom[] axioms, JmlVarAssertion[] varAssertions, JavadocComment javadoc, JavaStyleComment[] comment, boolean isRefinedType) Constructs an interface declaration in the parsing tree.
boolean	JmlSourceMethod.isApplicable(String ident, CType recvType, CType[] actuals, CClassType[] args) Returns true if this method is applicable to a method call with the given identifier and actual (static) argument types.

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

JClassDeclarationWrapper(TokenReference where, long modifiers, String ident, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs a class declaration in the parsing tree.

JClassDeclarationWrapper(TokenReference where, long modifiers, String ident, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments, boolean isRefinedType)
Constructs a class declaration in the parsing tree.

JConstructorDeclarationWrapper(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JInterfaceDeclarationWrapper(TokenReference where, long modifiers, String ident, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments, boolean isRefinedType)
Constructs an interface declaration in the parsing tree.

JMethodDeclarationWrapper(TokenReference where, long modifiers, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JmlSignalsOnlyClause(TokenReference where, boolean isRedundantly, CClassType[] exceptions, boolean nothing)

JmlSourceMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, boolean deprecated, JBlock body, CContextType declarationContext, JMethodDeclaration declarationASTNode)

Uses of CClassType in org.jmlspecs.jmldoc.jmldoc_142

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

private static void

JmlHTML.getAllInterfaces(CClassType[] ints, List interfaces) This function adds to 'interfaces' any interfaces implemented by the classes or interfaces in 'ints'.

Uses of CClassType in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as CClassType

private CClassType[]	DesugarSpec.exceptions Exceptions that the target method may throw.
protected CClassType[]	ExceptionalPostconditionMethod.exceptions

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

static String	TransUtils.evalOldName(CClassType ctype, boolean isStatic)
protected StringBuffer	AssertionMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds and returns a method header as a string.
protected StringBuffer	InvariantLikeMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds and returns the method header of the assertion check method as a string.
JmlMethodSpecification	DesugarSpec.perform(JmlMethodSpecification mspec, CClassType[] exceptions) Returns a desugared specification of the given method specification.
private JmlSignalsClause	DesugarSpec.defaultSignalsClause(TokenReference where, CClassType[] exceptions) Returns a default signals clause for a lightweight specification whose method may throw the given exceptions.
protected StringBuffer	MotherConstraintMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds, in a string form, the header of constraint method.
protected StringBuffer	SubtypeConstraintMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds, in a string form, the header of constraint method.

Uses of CClassType in org.jmlspecs.jmlrac.qexpr

Fields in org.jmlspecs.jmlrac.qexpr declared as CClassType

private static CClassType	QSet.JAVA_COLLECTION Java collection type recognized in translating quantified expressions.
private static CClassType	QSet.JML_COLLECTION JML model collection type recognized in translating quantified expressions.

Uses of CClassType in org.jmlspecs.jmlspec

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

String	JspComparator.compareExceptions(CClassType[] exc, CClassType[] jexc, String method, String filename, String jfilename, String token)
String	JspComparator.compareExceptions(CClassType[] exc, Class[] jexc, String method, String filename, String jfilename, String token)

Uses of CClassType in org.multijava.mjc

Subclasses of CClassType in org.multijava.mjc

class	CArrayType This class represents the array type in the type structure.
class	CClassFQNameType This class represents a class type when the class name first appears as a forward reference and the name is definitely fully qualified as in an import clause.
class	CClassNameType This class represents a class type when the class name first appears as a forward reference.
class	CErasedClassType This class represents class type in the type structure
class	CNullType This class represents null class type in the type structure
class	CTypeVariable
class	CTypeVariableAlias

Fields in org.multijava.mjc declared as CClassType

private CClassType	CMethod.receiverType
private CClassType[]	CMethod.exceptions
private CClassType[]	CClass.interfaces
private CClassType	CClass.type
private CClassType[]	CClass.innerClasses
private CClassType	CClass.superClass
protected CClassType[]	CClass.dispClassTypes Stores the dispatcher classes contained within the class or generic function anchor represented by this.
static CClassType[]	CClassType.EMPTY
static CClassType[][]	CClassType.EMPTY_ARG
protected CClassType[][]	CClassType.arguments
private CClassType[]	JMethodDeclaration.exceptions
private CClassType	JThisExpression.selfType
protected CClassType[]	JTypeDeclaration.interfaces
protected CClassType	JClassDeclaration.superType
private CClassType	JTypeNameExpression.type
protected CClassType	JNewObjectExpression.type The type of object instantiated by this expression.
private CClassType[]	CTypeVariable.bounds
private CClassType	CThrowableInfo.throwable
(package private) CClassType[]	CMethodSet.MethodArgsPair.args
static CClassType	CStdType.Object
static CClassType	CStdType.Class
static CClassType	CStdType.String
static CClassType	CStdType.ClassLoader
static CClassType	CStdType.Throwable
static CClassType	CStdType.Exception
static CClassType	CStdType.Error
static CClassType	CStdType.RuntimeException
static CClassType	CStdType.RMJRuntimeException
static CClassType	CStdType.Cloneable
static CClassType	CStdType.Serializable
private CClassType	CArrayType.result_type The result type with the correct universe modifier.
CClassType	CType.MethodSignature.receiverType
protected CClassType[]	JTypeDeclaration.WrapResult.dispClassTypes
CClassType	SignatureParser.ClassSignature.superType
CClassType[]	SignatureParser.ClassSignature.interfaces

Methods in org.multijava.mjc that return CClassType

CClassType[]	CMethod.throwables()
static CClassType	CTopLevel.getTypeRep(String name, CClassType[][] arguments, boolean isFullyQualified) Returns the lightweight type representation of the class with the given name, generating a new one if necessary.
static CClassType	CTopLevel.getTypeRep(String name, boolean isFullyQualified) return the lightweight type representation of the class with the given name, generating a new one if necessary.
static CClassType	CTopLevel.getTypeRep(String name, CUniverse univ, boolean isFullyQualified) getTypeRep with a universe parameter and no arguments.
static CClassType	CTopLevel.getTypeRep(String name, CUniverse univ, CClassType[][] arguments, boolean isFullyQualified) getTypeRep with a universe parameter and arguments.
static CClassType	CTopLevel.lookupTypeRep(String qName)
abstract CClassType[]	JTypeDeclarationType.interfaces() Returns the set of interfaces that this type implements or extends.
CClassType[]	CClass.getInterfaces()
CClassType	CClass.getType() Returns the type of this class.
CClassType[]	CClass.getInnerClasses() Returns an array of the types of the inner classes of the class represented by this.
CClassType	CClass.getSubstitution(CTypeVariable typevariable, CClassType[][] sub) When a generic type is instantiated, the type variables should be substituted with the type arguments, This method returns the corresponding type arguments for the type variable
CClassType	CClass.getSubstitution(CTypeVariable typevariable, CClassType[] sub)
CClassType	CClass.getSuperSubstitution(CClassType supertype, CTypeVariable typeVar)
protected CClassType[]	CClass.innerClassesForAttribute() Collects all the inner classes that must be added to the InnerClasses attribute.
CClassType[][]	CType.getAllArguments()
CClassType[]	CType.getArguments()
CClassType	CClassType.createSubstitutedType(CClass local, CClassType prefixType, CClassType[][] substitution)
CClassType[]	CClassType.getArguments()
CClassType[][]	CClassType.getAllArguments() return the arguments of this type
private static CClassType[]	CBinaryMethod.buildExceptionTypes(MethodInfo methodInfo)
CClassType	CBinaryMethod.CBinaryMethod$1.getType()
abstract CClassType	CDispatcherSignature.getType()
CClassType[]	JMethodDeclaration.getExceptions()
abstract CClassType[]	JMethodDeclarationType.getExceptions()
CClassType[]	JTypeDeclaration.interfaces()
(package private) CClassType[]	JTypeDeclaration.DispatcherClassList.allClassTypes()
CClassType[]	CClassNameType.getArguments()
CClassType[][]	CClassNameType.getAllArguments()
CClassType	JTypeNameExpression.getClassType() Compute the type of this expression (called after parsing)
CClassType	JCatchClause.getType() getType
protected CClassType[]	CBinaryClass.loadInterfaces(String[] interfaces) Loads the interfaces specified by the Strings in the argument array (whether from other declarations in this compilation pass or from *.class files.)
CClassType[]	CTypeVariable.getBounds()
CClassType	CThrowableInfo.getThrowable() getVar
CClassType[]	CMethodSet.MethodArgsPair.getArgs()
CClassType	TypeLoader.getTypeRep(String name, CUniverse univ, CClassType[][] arguments, boolean isFullyQualified) Returns the lightweight type representation of the class with the given name, generating a new one if necessary.
CClassType	TypeLoader.lookupTypeRep(String qName)
CClassType[]	CType.MethodSignatureParser.parseTypeArgumentSignature(String signature, char[] sig)
CClassType	MjcParser.jTypeName(CUniverse elem_univ)
CClassType[]	MjcParser.jParameterizedClassTypeList()
CClassType	MjcParser.jSuperClassClause()
CClassType[]	MjcParser.jImplementsClause()
CClassType[]	MjcParser.jInterfaceExtends()
CClassType[]	MjcParser.jThrowsClause()
CClassType[]	MjcParser.jNameList()
protected CClassType[]	MjcSignatureParser.parseTypeArgumentSignature(String signature, char[] sig)

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

boolean	CMethod.hasSameSignature(CMethod other, CClassType[] substitution) Has this method the same signature as the one given as argument ?
boolean	CMethod.isApplicable(String ident, CType recvType, CType[] actuals, CClassType[] args) Returns true if this method is applicable to a method call with the given identifier and actual (static) argument types.
private boolean	CMethod.isApplicableArgTypes(CType recvType, CType[] actuals, boolean initStyleCheck, CClassType[] args) Returns true if the given actual argument types are assignable to this methods formals and receiver.
boolean	CMethod.isMoreSpecificThan(CMethod other, CClassType[] args) Returns true if this method is strictly more specific than the given method.
boolean	CMethod.isMoreSpecificThan(CMethod other, CClassType[] args, boolean intrsDoNotExtendObject) Returns true if this method is strictly more specific than the given method.
boolean	CMethod.isMoreSpecificThan(CMethod other, CClassType[] args, boolean intrsDoNotExtendObject, boolean enableUniv)
boolean	CMethod.apparentlySpecializes(CMethod other, CClassType[] args) Checks whether this method apparently specializes a given method.
boolean	CMethod.apparentlySpecializes(CMethod other, CClassType[] args, boolean enableUniv)
protected CMethodSet	CMethod.setOverriddenMethodSet(CClassType[] args, ArrayList needbridge, CContextType context) Calculates and returns the set of methods overridden by this method.
static CClassType	CTopLevel.getTypeRep(String name, CClassType[][] arguments, boolean isFullyQualified) Returns the lightweight type representation of the class with the given name, generating a new one if necessary.
static CClassType	CTopLevel.getTypeRep(String name, CUniverse univ, CClassType[][] arguments, boolean isFullyQualified) getTypeRep with a universe parameter and arguments.
static void	CTopLevel.addTypeRep(String qName, CClassType typeRep) Adds the given type representation, which must represent a fully qualified type name, to the cache.
void	CClass.setCheckedInterfaces(CClassType[] interfaces) Sets the interfaces extended or implemented by this type.
void	CClass.close(CMethod[] methods_A, CClassType[] dispClassTypes) Ends the definition of this class by adding the dispatcher-wrapped methods and inner-dispatcher classes.
void	CClass.setSuperClass(CClassType superClass) Sets the super class of this class
void	CClass.setInnerClasses(CClassType[] inners) End of first pass, we need the inner classes's signatures
boolean	CClass.descendsFrom(CClassType from, CClassType[] actuals) Indicate whether the host class is a subclass of the "dest" class
void	CClass.checkInstantiation(CContextType context, CClassType[] typeArguments)
CClassType	CClass.getSubstitution(CTypeVariable typevariable, CClassType[][] sub) When a generic type is instantiated, the type variables should be substituted with the type arguments, This method returns the corresponding type arguments for the type variable
CClassType	CClass.getSubstitution(CTypeVariable typevariable, CClassType[] sub)
CClassType	CClass.getSuperSubstitution(CClassType supertype, CTypeVariable typeVar)
CMethod	CClass.lookupMethod(String name, CType[] params, CClassType[] args, CContextType context) Searches for the generic function applicable to the given identifier and argument type tuple, in the given context, looking in parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupMethodOrSet(String name, CType[] params, CClassType[] argss, CContextType context) Searches for the generic function applicable to the given identifier and argument type tuple, in the given context, looking in parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupMethodsSpecializedByMethod(CMethod specMethod, CClassType[] args, ArrayList needbridge, CContextType context) Searches for the methods specialized by a given method, in the given context, looking in parent hierarchy and augmentation map as needed.
CMethod	CClass.lookupTopConcreteMethod(CMethod method, CClassType[] args, CContextType context) Searches for the top concrete method of the generic function to which the given method belongs, in the given context, looking in the parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupMSAMethod(CMethod top, CType[] argTuple, CClassType[] argss, CContextType context) Searches for the most specific applicable method for the given argument tuple in the generic function to which the given method belongs in the given context, looking in parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupAllMethods(CMethod m, CClassType[] args, CContextType context) Collects all the methods in the same GF as the argument method, visible in the given context, looking in parent hierarchy and augmentation map as needed.
CMethod	CClass.lookupOverloadedMethod(CMethod overloader, CClassType[] args, CContextType context) If overloader could be rewritten to dynamically specialize a method instead of statically overloading it, then this return said method.
protected void	CClass.accumMostSpecificMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
protected void	CClass.accumLocalInternalMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args) Accumulates the set of methods with identifier name declared in the type represented by this, using the strategy actor.
protected void	CClass.accumLocalExtAndInheritedMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
void	CClass.checkBridgeMethod(CMethod me, CClassType[] args, CContextType context)
void	CClass.collectAbstractMethods(ArrayList v, CClassType[] args) Walks up the extends hierarchy and adds all abstract methods to the given list.
void	CClass.collectInterfaceMethods(ArrayList v, CClassType[] args) Walks up the implements and extends hierarchies and adds all methods of interfaces to the given list.
CMethodSet	CSourceClass.lookupMethodOrSet(String name, CType[] params, CClassType[] args, CContextType context)
void	CMethodSet.accumMethodSet(CMethodSet.Strategy actor, String ident, CMethodSet accum, CClassType[] args) Processes the methods in this set using the given strategy and mutates the accumulator according to the strategy.
void	CMethodSet.appendAbstractMethodsTo(ArrayList v, CClassType[] args)
void	CMethodSet.appendMethodsTo(ArrayList v, CClassType[] args)
abstract boolean	CMethodSet.Strategy.maybeInclude(CMethod candidate, CClassType[] args) Indicates whether the given candidate method should be checked against the methods already in the accumulator for possible inclusion in the accumulator.
boolean	CType.equals(CType other, CClassType[] substitution)
boolean	CType.equals(CType other, CClassType[] substitution, boolean enableUniv)
boolean	CType.isAlwaysAssignableTo(CType dest, CClassType[] substitution)
boolean	CClassType.equals(CType other, CClassType[] substitution)
boolean	CClassType.equals(CType other, CClassType[] substitution, boolean enableUniv)
CClassType	CClassType.createSubstitutedType(CClass local, CClassType prefixType, CClassType[][] substitution)
boolean	CClassType.isAlwaysAssignableTo(CType dest, CClassType[] substitution)
boolean	CClassType.isAlwaysAssignableToNoUniverses(CType dest, CClassType[] substitution) A version of the Assignable check without considering the Universe types.
boolean	CClassType.isAlwaysAssignableTo(CType dest, CClassType[] substitution, boolean inst)
void	CClassType.setAllArguments(CClassType[][] arguments)
boolean	CClass.CClass$1.maybeInclude(CMethod candidate, CClassType[] args)
boolean	CClass.CClass$2.maybeInclude(CMethod candidate, CClassType[] args)
boolean	CClass.CClass$3.maybeInclude(CMethod candidate, CClassType[] args)
boolean	CClass.CClass$4.maybeInclude(CMethod candidate, CClassType[] arg1)
boolean	CClass.CClass$5.maybeInclude(CMethod candidate, CClassType[] args)
boolean	CClass.CClass$6.maybeInclude(CMethod candidate, CClassType[] args)
boolean	CSpecializedType.equals(Object other, CClassType[] args) Checks whether this specialized type is made up of the same pair of types as a given specialized type.
boolean	CSpecializedType.equals(Object other, CClassType[] args, boolean enableUniv)
boolean	CSpecializedType.specializes(CSpecializedType other, CClassType[] args) Checks whether this specialized type is a specializing type for the given specialized type
boolean	CSpecializedType.isAlwaysAssignableTo(CSpecializedType dest, CClassType[] args) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
static CType[]	CSpecializedType.tupleOfSpecializersFrom(CSpecializedType[] specTypes, CClassType[] args)
void	JTypeDeclaration.preprocessDependencies(CContextType context, CClassType superClassType) Performs preliminary processing on compilation units and types.
void	CClassNameType.setAllArguments(CClassType[][] args)
void	JClassDeclaration.setSuperClass(CClassType superType) Sets the super class
void	JClassDeclaration.setInterfaces(CClassType[] interfaces) Sets the interfaces
abstract void	JClassDeclarationType.setSuperClass(CClassType superType) Sets the super class of this class.
abstract void	JClassDeclarationType.setInterfaces(CClassType[] interfaces) Sets the list of interfaces that this class implements.
private static JMethodCallExpression[]	JNewObjectExpression.buildNewObjectUniverseDynChecks(CExpressionContextType context, CClassType type, JExpression var) Creates the expressions for the dynamic universe typechecks.
boolean	CTypeVariable.equals(CType other, CClassType[] subst)
boolean	CTypeVariable.isAlwaysAssignableTo(CType dest, CClassType[] subst)
CMethod	CExtMethodContext.lookupMethod(String ident, CType[] params, CClassType[] args, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CClassType	TypeLoader.getTypeRep(String name, CUniverse univ, CClassType[][] arguments, boolean isFullyQualified) Returns the lightweight type representation of the class with the given name, generating a new one if necessary.
void	TypeLoader.addTypeRep(String qName, CClassType typeRep) Adds the given type representation, which must represent a fully qualified type name, to the cache.
boolean	CArrayType.equals(CType other, CClassType[] substitution)
boolean	CArrayType.equals(CType other, CClassType[] substitution, boolean enableUniv)
boolean	CArrayType.isAlwaysAssignableTo(CType dest, CClassType[] subst)
boolean	CArrayType.isAlwaysAssignableToNoUniverses(CType dest, CClassType[] substitution) A version of the Assignable check without considering the Universe types.
void	CBadClass.collectInterfaceMethods(ArrayList v, CClassType[] args) collectInterfaceMethods search for a matching method with the provided type parameters look in parent hierarchy as needed
boolean	CErasedClassType.equals(CType other, CClassType[] substitution)
boolean	CErasedClassType.isAlwaysAssignableTo(CType dest, CClassType[] substitution)
boolean	CNullType.isAlwaysAssignableTo(CType dest, CClassType[] subst)

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

CMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] parameters, CClassType[] exceptions, CTypeVariable[] typevariables, boolean deprecated, CContextType declarationContext)
Constructs a method member.

CSourceMethod(MemberAccess access, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, CTypeVariable[] typevariables, boolean deprecated, JBlock body, CContextType declarationContext, JMethodDeclaration declarationASTNode)
Constructs a representation of the method as read from the source file including the type signature and the method body

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

JMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JTypeDeclaration(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs a type declaration in the parsing tree.

CClassNameType(String maybeQualifiedName, CUniverse univ, CClassType[][] arguments)
Construct a class type.

CClassFQNameType(String fullyQualifiedName, CUniverse univ, CClassType[][] arguments)

JClassDeclaration(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType superType, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comment)
Constructs a class declaration in the parsing tree.

JConstructorDeclaration(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
Construct a node in the parsing tree This method is directly called by the parser

JConstructorDeclaration(TokenReference where, long modifiers, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JConstructorBlock body)
Constructs an AST node for a compiler-generated constructor.

JInterfaceDeclaration(TokenReference where, long modifiers, String ident, CTypeVariable[] typevariables, CClassType[] interfaces, ArrayList methods, ArrayList inners, JPhylum[] fieldsAndInits, JavadocComment javadoc, JavaStyleComment[] comments)
Constructs an interface declaration in the parsing tree.

MJTopLevelMethodDeclaration(TokenReference where, long modifiers, CTypeVariable[] typevariables, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents a MultiJava external method in the syntax tree Construct a node in the parsing tree This method is directly called by the parser

JTypeNameExpression(TokenReference where, CClassType type, JNameExpression sourceName)
Constructs a node in the parsing tree.

JNewObjectExpression(TokenReference where, CClassType objectType, JExpression explicitThis, JExpression[] params)
Construct a node in the parsing tree.

JNewAnonymousClassExpression(TokenReference where, CClassType objectType, JExpression explicitThis, JExpression[] params, JClassDeclarationType decl)
Construct a node in the parsing tree.

CTypeVariable(String name, CClassType[] bounds)

CThrowableInfo(CClassType throwable, JPhylum location)
Constructs an informztion handler

CMethodSet.MethodArgsPair(CMethod m, CClassType[] ar)

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.

CType.MethodSignature(CSpecializedType[] parameterTypes, CType returnType, CClassType receiverType, CTypeVariable[] tvs)

JTypeDeclaration.WrapResult(CMethod[] methods, CClassType[] dispClassTypes)

SignatureParser.ClassSignature(CClassType st, CClassType[] ifes, CTypeVariable[] tv)

MJTopLevelAbstractMethodDeclaration(TokenReference where, long modifiers, CType returnType, CType openClassType, String ident, JFormalParameter[] parameters, CClassType[] exceptions, JBlock body, JavadocComment javadoc, JavaStyleComment[] comments)
This class represents an abstract MultiJava external method in the syntax tree.