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.
(package private) CClassType	JmlParser.TypeBooleanPair.type
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.jTypeName(CUniverse elem_univ)
CClassType[]	JmlParser.jThrowsClause()
CClassType	JmlParser.jClassTypeSpec(CUniverse elem_univ, CUniverse array_univ)
CClassType[]	JmlParser.jNameList()
CClassType	JmlParser.jWildCard()
CClassType	JmlParser.jWildcardBound()
CClassType[]	JmlParser.jParameterizedClassTypeList()
CClassType	JmlParser.jTypeParameter()
(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, CTypeVariable[] typevariables, 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, CTypeVariable[] typevariables, 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, CTypeVariable[] typevariables, 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.
(package private) void	JmlParser.TypeWeaklyList.add(CClassType type, boolean _weakly) model_program { weaklyFlags.add( new Boolean( _weakly ) ); } also assignable weaklyFlags;

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, CTypeVariable[] typevariables, 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, CTypeVariable[] typevariables, 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, 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

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

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

JmlParser.TypeBooleanPair(CClassType type, boolean bool)

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	CCaptureType Type resulting from applying capture conversion (JLS3 5.1.10) to a wildcard.
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
class	CWildcardType Type representing a wildcard (JLS3 4.5.1).

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[]	CTypeVariable.bounds
private CClassType	JTypeNameExpression.type
protected CClassType	JNewObjectExpression.type The type of object instantiated by this expression.
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.
private CClassType	CCaptureType.lowerBound The lower bound of this capture type variable or null if the lower bound is of type CNullType.
private CClassType	CWildcardType.bound The (upper or lower) bound of the wildcard.
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.getSuperType() Returns the supertype of this class or null if this is the java.lang.Object class.
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.capture() Returns the type captured by a type argument.
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[]	CTypeVariable.getBounds()
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	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	CCaptureType.getLowerBound() Returns the lower bound of this type variable or null if the type variable has no lower bound.
CClassType	CWildcardType.getBound() Returns the (upper or lower) bound of this wildcard which is null if and only if the wildcard was declared without an explicit bound.
CClassType	CWildcardType.getExplicitOrImplicitBound() Convenience method returning either the bound explicitely provided in the wildcard declaration, if any, or, otherwise, the implicit bound java.lang.Object.
CClassType	CWildcardType.capture() The capture type depends on the optional bound of the wildcard as well as on the formal type variable for which this wildcard is a type argument.
CClassType[]	CType.MethodSignatureParser.parseTypeArgumentSignature(String signature, char[] sig)
CClassType	MjcParser.jClassTypeSpec(CUniverse elem_univ, CUniverse array_univ)
CClassType	MjcParser.jWildCard()
CClassType	MjcParser.jWildcardBound()
CClassType	MjcParser.jTypeName(CUniverse elem_univ)
CClassType[]	MjcParser.jParameterizedClassTypeList()
CClassType	MjcParser.jTypeParameter()
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 maybeSuper, CClassType maybeSub) Returns whether the given maybeSuper type is a supertype of the maybeSub type.
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	CType.needsUncheckedConversion(CType dest, CClassType[] substitution) Returns whether unchecked conversion (JLS3 5.1.9) is required in order to convert from this type to the given type dest, eventually using the given generic 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)
private boolean	CClassType.descendsFrom(CClassType maybeSuper) Returns whether this type descends from the given maybeSuper type.
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.isValidTypeArgumentFor(CTypeVariable typeVariable, CClassType[] substitution) Returns whether this type is a valid type argument for the given typeVariable.
boolean	CClassType.needsUncheckedConversion(CType dest, CClassType[] substitution)
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	CClassType.contains(CClassType type) Returns whether this type contains the given type as defined in JLS3 4.5.1.1.
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.
private static void	CClassNameType.checkTypeArguments(CTypeVariable[] typeVariables, CClassType[] typeArguments, CContextType context) Performs the type checking on all the typeArguments (the type checked versions are re-stored into the same array) and checks whether the typeArguments are valid for the given typeVariables.
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.
boolean	CTypeVariable.equals(CType other, CClassType[] subst)
boolean	CTypeVariable.isAlwaysAssignableTo(CType dest, CClassType[] subst)
private static JMethodCallExpression[]	JNewObjectExpression.buildNewObjectUniverseDynChecks(CExpressionContextType context, CClassType type, JExpression var) Creates the expressions for the dynamic universe typechecks.
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.
private static boolean	TypeLoader.mayShare(CClassType type, CUniverse univ, CClassType[][] arguments) Returns whether the given type can be shared by another type having the given univ and type arguments.
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
static CWildcardType	CWildcardType.createUpperBoundedWildcard(CClassType upperBound) Creates an upper bounded wildcard with the given upperBound.
static CWildcardType	CWildcardType.createLowerBoundedWildcard(CClassType lowerBound) Creates a lower bounded wildcard with the given lowerBound.
boolean	CWildcardType.contains(CClassType type)
boolean	CWildcardType.isAlwaysAssignableTo(CType dest, CClassType[] substitution) This wildcard is assignable to the given type if and only if its capture type is assignable to it.
boolean	CWildcardType.isAlwaysAssignableToNoUniverses(CType dest, CClassType[] substitution) This wildcard is assignable to the given type if and only if its capture type is assignable to it.
boolean	CWildcardType.isValidTypeArgumentFor(CTypeVariable typeVariable, CClassType[] substitution)
boolean	CWildcardType.equals(CType other, CClassType[] substitution)
boolean	CWildcardType.equals(CType other, CClassType[] substitution, boolean enableUniv)
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.

CTypeVariable(String name, CClassType[] bounds)

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.

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

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

CCaptureType(String name, CClassType[] upperBounds, CClassType lowerBound)
Private constructor.

CWildcardType(boolean isUpperBounded, CClassType bound)
Constructor for creating an eventually bounded wildcard.

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.