Uses of Class
org.multijava.mjc.CType

Packages that use CType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CType in org.jmlspecs.checker

Subclasses of CType in org.jmlspecs.checker

class	CTypeType This class represents the JML \TYPE type.
class	JmlNumericType This class represents the JML primitive numeric types bigint and real.

Fields in org.jmlspecs.checker declared as CType

protected CType[]	JmlMethodName.paramDisambigList An array of the parameter types, used to disambiguate between overloaded methods.
protected CType	JmlConstructorName.ownerType
private CType	JmlIsInitializedExpression.referenceType
private CType	JmlReachExpression.referenceType
private CType	JmlResultExpression.returnType
private CType	JmlSetComprehension.type
private CType	JmlSetComprehension.memberType
private CType	JmlSignalsClause.type
private CType	JmlTypeExpression.type

Methods in org.jmlspecs.checker that return CType

CType	JmlMethodDeclaration.returnType() Returns the return type of this method declaration.
CType[]	JmlMethodName.paramDisambigList()
CType	JmlConstructorName.type()
CType	JmlConstructorName.ownerType()
CType	JmlDurationExpression.getType()
CType	JmlElemTypeExpression.getType()
CType	JmlElemTypeExpression.getApparentType() Return a type suitable for declaring a variable that can hold the result of evaluating this expression at runtime.
CType	JmlFieldDeclaration.getType() Returns the type of this field
CType	JmlFreshExpression.getType()
CType	JmlInformalExpression.getType() Returns the type of this informal description.
CType	JmlInvariantForExpression.getType()
CType	JmlIsInitializedExpression.referenceType()
CType	JmlIsInitializedExpression.getType()
CType	JmlLabelExpression.getType()
CType	JmlLockSetExpression.getType() Return the type of this expression, i.e., JMLObjectSet.
CType	JmlMaxExpression.getType()
CType	JmlMethodNameList.getType()
CType	JmlNonNullElementsExpression.getType()
CType	JmlStoreRefListWrapper.getType()
CType	JmlOnlyCalledExpression.getType()
CType	JmlOldExpression.getType()
CType	JmlPredicate.getType()
CType	JmlPreExpression.getType()
CType	JmlReachExpression.referenceType()
CType	JmlReachExpression.getType()
CType	JmlRelationalExpression.getType()
CType	JmlResultExpression.getType() Returns the type of this result expression.
CType	JmlSetComprehension.memberType()
CType	JmlSetComprehension.getType()
CType	JmlSignalsClause.type()
CType	JmlSpaceExpression.getType()
CType	JmlSpecExpression.getType()
CType	JmlSpecQuantifiedExpression.getType()
CType	JmlStoreRefExpression.getType() Returns the type of this store ref expression.
CType	JmlTypeExpression.type()
CType	JmlTypeExpression.getType() Returns the static type of this expression.
CType	JmlTypeExpression.getApparentType() Return a type suitable for declaring a variable that can hold the result of evaluating this expression at runtime.
CType	JmlTypeOfExpression.getType()
CType	JmlTypeOfExpression.getApparentType() Return a type suitable for declaring a variable that can hold the result of evaluating this expression at runtime.
CType	JmlWorkingSpaceExpression.getType()
CType	JmlArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
CType	JmlBinaryMethod.returnType() Returns the return type of this method declaration.
CType	JmlCastExpression.getType() Compute the type of this expression.
private CType	JmlExpressionChecker.getBaseType(CType type) Returns the ultimate base type if the given type, type, is an array type.
CType	JmlNumericType.javaType() Returns the Java type that will be used to represent values of this type.
CType	JmlParser.jBuiltInType()
CType	JmlParser.mjBuiltInType()
CType	JmlParser.jmlBuiltInType()
CType	JmlParser.jTypeSpec()
CType	JmlParser.mjTypeSpec()
CType	JmlParser.mjExternalClassTypeSpec()
CType	JmlParser.jValueSpecializer(CType type, TokenReference sourceRef)
CType[]	JmlParser.jmlParamDisambigList()
CType	JmlParser.jmlParamDisambig()
CType	JmlParser.jBuiltInTypeSpec(CUniverse array_univ)
CType	JmlParser.jType(CUniverse elem_univ)
CType	JmlUnaryExpression.getApparentType()

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

boolean	CTypeType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
boolean	CTypeType.isCastableTo(CType dest) Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
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)
protected CMethod	JmlMethodName.lookupMethod(CType[] argTypes, CExpressionContextType context)
private JExpression	JmlMethodName.defaultValue(CType type) Return the default value for type; used for typechecking.
void	JmlResultExpression.setType(CType type) Explicitly sets the type of this result expression.
JmlStoreRef	JmlStoreRefExpression.typecheck(CExpressionContextType context, long privacy, CType type) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
CMethod	JmlContext.lookupMethod(String name, CType[] params) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethod	JmlContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	JmlContext.lookupMethodOrSet(String name, CType[] params) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	JmlContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
void	JmlContext.registerVisibleType(CType type) Registers with the surrounding context that a reference to the given type occurs in this context.
CType	JmlArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
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.
CMethod	JmlClassContext.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CMethodSet	JmlClassContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
void	JmlClassContext.registerVisibleType(CType type) Registers with the surrounding context that a reference to the given type occurs in this context.
CMethod	JmlCompilationUnitContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
CMethodSet	JmlCompilationUnitContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
void	JmlCompilationUnitContext.registerVisibleType(CType type) Registers that a reference to the given type occurs within the compilation unit.
private void	JmlExpressionChecker.checkType(CType type, TokenReference ref) Checks the visibility of the given type, type.
private CType	JmlExpressionChecker.getBaseType(CType type) Returns the ultimate base type if the given type, type, is an array type.
CSwitchBodyContext	JmlFlowControlContext.createSwitchBodyContext(JSwitchStatement stmt, CType switchType)
boolean	JmlNumericType.widening_primitive_conv_from(CType from) Returns true iff from type can be converted by widening primitive conversion to this type.
JExpression	JmlOrdinalLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to another
JVariableDefinition[]	JmlParser.jVariableDefinitions(long mods, CType type)
CType	JmlParser.jValueSpecializer(CType type, TokenReference sourceRef)
JVariableDefinition[]	JmlParser.jmlSpecVariableDeclarators(long mods, CType type)
JExpression	JmlParser.jmlSetComprehension(CType type)
JVariableDefinition	JmlParser.jmlSpecVariableDeclarator(long mods, CType type)
JVariableDefinition	JmlParser.jVariableDeclarator(long mods, CType type)
boolean	JmlSigBinaryMethod.isApplicable(String ident, CType recvType, CType[] actuals) 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 CType

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

JmlMethodName(TokenReference where, JmlName[] subnames, CType[] paramDisambigList)

JmlMethodName(TokenReference where, CType[] paramDisambigList)

JmlConstructorName(TokenReference where, CType ownerType, CType[] paramDisambigList)

JmlIsInitializedExpression(TokenReference where, CType referenceType)

JmlReachExpression(TokenReference where, JmlSpecExpression specExpression, CType referenceType, JmlStoreRefExpression storeRefExpression)

JmlSetComprehension(TokenReference where, long modifiers, CType type, CType memberType, String ident, JExpression supersetPred, JmlPredicate predicate)

JmlSignalsClause(TokenReference where, boolean isRedundantly, CType type, String ident, JmlPredicate pred, boolean notSpecified)

JmlTypeExpression(TokenReference where, CType type)

JmlVariableDefinition(TokenReference where, long modifiers, CType type, String ident, JExpression initializer)
Construct a node in the parsing tree.

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

JmlCastExpression(TokenReference where, JExpression expr, CType dest)
Constructs a node in the parsing tree.

JmlCastExpression(TokenReference where, JExpression expr, CType dest, boolean isExplicitNonNull)
Constructs a node in the parsing tree.

JmlSourceField(JmlMemberAccess access, String ident, CType type, boolean deprecated)
Constructs a field export

Uses of CType in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as CType

private CType	TransInvariant.CallExpr.returnType
private CType	TransInvariant.CallExpr2.returnType
protected CType	WrapperMethod.returnType return type of the target method.
protected CType	PostconditionMethod.returnType Return type of the method declaration

Methods in org.jmlspecs.jmlrac that return CType

CType	TransInvariant.CallExpr.getType()
CType	TransInvariant.CallExpr2.getType()

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

static String	TransUtils.defaultValue(CType type) Returns a string representation of the default value of the given type, type.
static String	TransUtils.wrappedValue(CType type, String ident) Returns a string representation of a Java expression that denotes a wrapper object for the given variable, ident of type, type.
static String	TransUtils.typeToClass(CType type) Returns the string representation of the wrapper class for the given type.
protected static String	TransUtils.unwrapObject(CType type, String var) Returns a string representation of unwrapped value of var with respect to type type.
static String	TransUtils.wrapValue(CType type, String var) Returns the string representation of wrapping the value of variable var of type type into an object.
static String	TransUtils.toString(CType value) Returns the string representation of the given type.
static int	TransUtils.getTypeID(CType type)
static String[]	TransUtils.applyBigintCast(CType typeDest, CType typeSource, String strTypeDest) Returns a two-item string array which has the two parts in biginteger operation formula mapping the given destination type typeDest and source type typeSource in cast expression. the parm strTypeDest is needed for in different class, the method "toString" is difined differently.
static String	TransUtils.applyUnaryPromoteExpression(CType typeSelf, CType typeExpr, String strExpr) Returns a string that represents the Java code that casts strExpr of type typeExpr to typeSelf.
static String	TransUtils.numberToBigint(String strVar, CType type) Returns a string that represents the Java code that convert the parm strVar to its corresponding value of BigInteger which is the other parm typ indicate the type of strVar.
static String[]	TransUtils.applyBigintToNumber(CType typeSource, CType typeNumber) Returns a two-item string array which has the two parts in biginteger operation formula mapping the given source type typeSource which is a \bigint or numerical type to destination number type typeNumber which is a numerical type.cast expression. the parm strTypeDest is needed for in different class, the method "toString" is difined differently.
static String[]	TransUtils.createBigintConvertionAssertion(CType typeSource, CType typeDest) Returns a two-item string array which has the two parts in out of range assertion code for translating \bigint to number.
static boolean	TransUtils.isBigintArray(CType type) To check if the type is "\bigint[]"
protected static JFormalParameter[]	PostconditionMethod.mkFormals(JFormalParameter[] params, CType type, String name) Builds new formal parameters by attaching a new formal parameter name of type type to the formal paramters params.
protected String	RacPrettyPrinter.toString(CType type)
protected void	RacPrettyPrinter.print(CType t) Prints a type.
private String	TransType.wrap(CType t, String val)
private String	TransType.unwrap(CType t, String val)
static String	TransMethodBody.defaultValue(CType type) Return the default value of the type type.
private RacNode	TransExpression.translatePrimitiveType(CType type, String var) Translates the given primitive type.
static String	TransExpression.applyOperator(String v1, String v2, String binOp, CType type) Returns a string that represents the Java code that applies the given operator, binOp, to the given operands, v1 and v2.
static String	TransExpression.applyOperator(String v, String unaryOp, CType type) Returns a string that represents the Java code that applies the given operator, unaryOp, to the given operand v1.
String	TransExpression.applyCast(String v, CType typeDest, CType typeVar) Returns a string that represents the Java code that casts v of type typeVar to typeDest.
private RacNode	TransExpression.guardUndefined(RacContext ctx, RacNode stmt, CType restype, String resvar, String demvar, String angvar)
String	TransExpression.applyArrayAccessExpression(String strVar, CType typeAccessor, CType typeNumber)
static String	TransExpression.defaultValue(CType type) Returns the default value of the type type.
protected String	TransExpression.toString(CType type) Returns the string representation of the given type.
private String	TransExpression2.translatePrimitive(CType type)

Constructors in org.jmlspecs.jmlrac with parameters of type CType

TransInvariant.CallExpr(TokenReference ref, JExpression expr, CType type)

TransInvariant.CallExpr2(TokenReference ref, JExpression expr, CType type)

Uses of CType in org.jmlspecs.jmlrac.qexpr

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

private CType	QInterval.type The type of the quantified variable.
CType	QInterval.Bound.type The target type, e.g, x's type in x > 10

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type CType

static QInterval.Bound	QInterval.Bound.fromLeftExpression(int oper, JExpression expr, CType type) Returns a bound built from a bound expression with the bound value, expr, on the left-hand side, e.g., in 10 > x.
static QInterval.Bound	QInterval.Bound.fromRightExpression(int oper, JExpression expr, CType type) Returns a bound built from a bound expression with the bound value, expr, on the right-hand side, e.g., in x > 10.
private String	StaticAnalysis.applySumOrProduct(String strResultVar, String strOptr, String strV2, CType vType)

Constructors in org.jmlspecs.jmlrac.qexpr with parameters of type CType

QInterval(JExpression expr, String var, Collection xvars, CType type)
Construct a QInterval object representing the quantifed interval for a (quantified) variable var with respect to the expression expr.

QInterval.Bound(int oper, JExpression expr, CType type)
Constructs a Bound object

Uses of CType in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as CType

private CType	TestClassGenerator.MethodInfo.retTyp The method's return type
(package private) CType	TestClassGenerator.Parameter.ctype The ctype of this parameter

Methods in org.jmlspecs.jmlunit that return CType

CType

TestClassGenerator.MethodInfo.returnType() Return the modifiers of this method.

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

protected static String	TestClassGenerator.fixtureVariableName(CType type) Returns a fixture variable name for the type named, type.
private void	TestDataClassGenerator.printDataProvisionCode(CType type) Prints the declaration of the vTiter method as well as the sample strategy for the given type.
private void	TestDataClassGenerator.printStrategyGuess(CType type, String varName, String typeName, boolean isPrimitive, boolean isImmutable, boolean hasCloneMethod) Print the declaration of the default strategy for the given type.
private boolean	TestDataClassGenerator.isImmutableType(CType type, String typeName) Is the given type an immutable type?
static String	TestDataClassGenerator.defaultValue(CType type) Returns the default value of the type type.

Constructors in org.jmlspecs.jmlunit with parameters of type CType

TestClassGenerator.Parameter(CType type, String ident)

Uses of CType in org.multijava.mjc

Subclasses of CType in org.multijava.mjc

class	CArrayType This class represents the array type in the type structure.
class	CBooleanType This class represents the Java boolean type.
class	CBooleanValueType This class represents a value specializer for booleans.
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	CClassType This class represents a class type in the type structure.
class	CErasedClassType This class represents class type in the type structure
class	CNullType This class represents null class type in the type structure
class	CNumericType This class represents java and kopi numericals types Such as byte, short, int, long, float, double
class	COrdinalValueType This class represents a value specializer for ordinal types such as byte, short, int, and long.
class	CRealValueType This class represents a value specializer for floats and doubles.
class	CStringValueType This class represents a value specializer for Strings.
class	CTypeVariable
class	CTypeVariableAlias
class	CValueType This class represents a value specializer "type."
class	CVoidType This class represents Java void type
class	CWildcardType Type representing a wildcard (JLS3 4.5.1).

Fields in org.multijava.mjc declared as CType

private CType	CMethod.returnType
static CType[]	CType.EMPTY
protected CType	JLocalVariable.type
private CType	JFormalParameter.overriddenType
private CType	JMethodCallExpression.type
private CType	JMethodCallExpression.cachedType
private CType	CSpecializedType.staticType
private CType	CSpecializedType.dynamicType
(package private) CType[][]	JCompilationUnit.JCompilationUnit$4.tupleSpace
private CType	JMethodDeclaration.returnType
private CType	JLocalVariableExpression.type The type of this local variable expression.
private CType	CField.type
protected CType	JBinaryExpression.type
private CType	MJTopLevelMethodDeclaration.openClassType The class that this method extends
private CType	MJTopLevelMethodDeclaration.receiverStaticType The static type of this method's receiver, i.e., the receiver type of the top method of this generic function
protected CType	JUnaryExpression.type
protected CType	JPrefixExpression.type
protected CType	JPostfixExpression.type
protected CType	JNewArrayExpression.type
private CType	JInstanceofExpression.dest
private CType	JConditionalExpression.type
private CType	JClassFieldExpression.fieldtype
private CType	JClassExpression.prefixType
protected CType	JCastExpression.dest
private CType	JUnaryPromote.type
private CType	JArrayAccessExpression.type
protected CType	JOrdinalLiteral.type
private CType	JRealLiteral.type
private CType	JArrayInitializer.type
private CType	CSwitchBodyContext.switchType
(package private) static CType[]	CStdType.PRIMITIVE_TYPES An array of all the primitive types
private CType	CArrayType.baseType
protected CType	CValueType.staticType
CType	CType.MethodSignature.returnType
protected CType	CTypeNullity.type
private CType[]	JNewObjectExpression.ArgTypes.regularArgs
private CType	JNewObjectExpression.ArgTypes.primaryExpr
private CType	JNewObjectExpression.ArgTypes.synthOuterThis

Methods in org.multijava.mjc that return CType

CType	CMethod.receiverType() Returns the type of this methods receiver.
CType	CMethod.returnType()
CType[]	CClass.genConstructorArray(CType[] params) Mutates the given array to add any synthetic parameters for outer local variables referenced within the class represented by this.
CType[]	CSourceClass.genConstructorArray(CType[] params) Mutates the given array to add any synthetic parameters for outer local variables referenced within the class represented by this.
CType	CType.getErasure(CContextType context)
CType	CType.getErasure()
CType	CType.getCapture(CContextType context) Returns the result of applying capture conversion (JLS3 5.1.10) to this type.
abstract CType	CType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
static CType	CType.parseSignature(String signature) Parse a java type signature Description : Attempts to parse the provided string as if it started with the Java VM-standard signature for a type.
static CType	CType.parseSignature(String signature, CUniverseTypeAnnotation univAnnot)
static CType	CType.parseGenericTypeSignature(String signature)
static CType	CType.parseGenericTypeSignature(String signature, CUniverseTypeAnnotation univAnnot)
CType	CClassType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CClassType.getErasure()
CType	JLocalVariable.getType()
CType	JFormalParameter.getType()
CType	JFormalParameter.staticType() Returns the static type part of this formal parameter type.
CType	JFormalParameter.dynamicType() Returns the dynamic type part of this formal parameter type.
abstract CType	JExpression.getType() Returns the type of this expression (call after parsing only)
CType	JExpression.getApparentType() Returns the type of this expression (called after parsing).
CType	JMethodCallExpression.getType()
protected CType[]	JMethodCallExpression.checkArgumentTypes(CExpressionContextType context) Typechecks args and returns an array of the argument types.
private static CType	CBinaryMethod.buildReturnType(CClass host, MethodInfo methodInfo)
CType	CSpecializedType.staticType() Returns the static type part of this specialized type.
CType	CSpecializedType.dynamicType() Return the dynamic type of this specialized type.
static CType[]	CSpecializedType.tupleOfSpecializersFrom(CSpecializedType[] specTypes) Converts the given array of specialized types to an array of specializers.
static CType[]	CSpecializedType.tupleOfSpecializersFrom(CSpecializedType[] specTypes, CClassType[] args)
static CType[]	CSpecializedType.dynamicTypeTupleFrom(CSpecializedType[] specTypes) Converts the given array of specialized types to an array of the dynamic types of arguments sent to formals with these specialized types.
static CType[]	CSpecializedType.dynamicTypeTupleFrom(CType recvType, CSpecializedType[] specTypes) Converts the given array of specialized types to an array of the dynamic types of arguments sent to formals with these specialized types.
static CType[]	CSpecializedType.staticTypeTupleFrom(CType recvType, CSpecializedType[] specTypes) Converts the given array of specialized types to an array of the static type parts.
CType	JMethodDeclaration.returnType()
abstract CType	JMethodDeclarationType.returnType()
CType	JThisExpression.getType() Compute the type of this expression (called after parsing)
CType	JLocalVariableExpression.getType() Compute the type of this expression (called after parsing)
CType	CClassNameType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CClassNameType.getErasure()
CType	CClassNameType.getCapture(CContextType context)
CType	CClassFQNameType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CTypeVariable.checkType(CContextType context)
CType	JFieldDeclaration.getType() Returns the type of this field
abstract CType	JFieldDeclarationType.getType() Returns the type of this field
CType	CField.getType()
abstract CType	CFieldAccessor.getType()
CType	JBinaryExpression.getType()
CType	JBinaryExpression.promote(CExpressionContextType context) Apply binary numeric promotion (JLS 5.6.2)
CType	MJTopLevelMethodDeclaration.getOpenClassType()
CType	MJTopLevelMethodDeclaration.receiverStaticType() Returns the static type of this method's receiver, i.e., the receiver type of the top method of this generic function.
abstract CType	MJTopLevelDeclaration.getOpenClassType() Returns the type that this open member extends
CType	JReturnStatement.getType() Returns the type of this return statement
CType	JUnaryExpression.getType() Compute the type of this expression (called after parsing)
CType	JTypeNameExpression.getType() Compute the type of this expression (called after parsing)
CType	JSuperExpression.getType() Returns the type of this expression.
static CType	JShiftExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
CType	JPrefixExpression.getType() Compute the type of this expression (called after parsing)
CType	JPostfixExpression.getType() Compute the type of this expression (called after parsing)
CType	JParenthesedExpression.getType() Compute the type of this expression (called after parsing)
CType	JNewObjectExpression.getType() Returns the type of this expression (called after parsing).
CType	JNewAnonymousClassExpression.getApparentType() Returns the type of this expression (called after parsing).
CType	JNewArrayExpression.getType() Compute the type of this expression (called after parsing)
CType	JNameExpression.getType() Compute the type of this expression (called after parsing)
static CType	JAddExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static CType	JDivideExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static CType	JMinusExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static CType	JModuloExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static CType	JMultExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
CType	JInstanceofExpression.dest()
CType	JInstanceofExpression.getType() Compute the type of this expression.
CType	JConditionalExpression.getType() Compute the type of this expression (called after parsing)
private CType	JConditionalExpression.unifyNumeric(CType t1, CType t2) unifyNumeric search the type corresponding to the unification of the two types
CType	JClassFieldExpression.getType() Compute the type of this expression (called after parsing)
CType	JClassExpression.prefixType()
CType	JClassExpression.getType() Compute the type of this expression (called after parsing)
CType	JCastExpression.getType() Compute the type of this expression.
CType	JUnaryPromote.getType() Compute the type of this expression (called after parsing)
static CType	JBitwiseExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
CType	JArrayLengthExpression.getType() Compute the type of this expression (called after parsing)
CType	JArrayAccessExpression.getType()
CType	MJWarnExpression.getType() Compute the type of this expression (called after parsing)
CType	MJMathModeExpression.getType() Compute the type of this expression (called after parsing)
CType	JBooleanLiteral.getType() Compute the type of this expression (called after parsing)
CType	JOrdinalLiteral.getType() Returns the type of this expression.
CType	JCharLiteral.getType() Compute the type of this expression (called after parsing)
CType	JRealLiteral.getType() Compute the type of this expression (called after parsing)
CType	JStringLiteral.getType() Compute the type of this expression (called after parsing)
CType	JNullLiteral.getType() Compute the type of this expression (called after parsing)
CType	JExplicitConstructorInvocation.getType()
CType	JArrayInitializer.getType() Compute the type of this expression (called after parsing)
CType	JArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
CType	CNumericType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
static CType	CNumericType.unifyNumeric(CType t1, CType t2) This isn't used and isn't right at any rate.
private static CType	CNumericType.unifyNumericIn(CType t1, CType t2) unifyNumeric search the type corresponding to the unification of the two types
CType	CNumericType.unaryPromote() unaryPromote search the type corresponding to the type after computation
CType	CNumericType.binaryPromote(CType other) binaryPromote search the type corresponding to the promotion of the two types (this and other)
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.
CType	CArrayType.getBaseType() Determine and return the base type of the array.
CType	CArrayType.getIndexedType()
CType	CArrayType.getDeclaredBaseType() Return the declared base type of the array.
CType	CArrayType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CArrayType.getErasure()
CType	CBooleanType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CValueType.checkType(CContextType context) Register this type as visible, so it can be checked during ITC on the compilation unit
CType	CWildcardType.checkType(CContextType context) During type checking, the wildcard's optional bound is type checked, too.
CType	CWildcardType.getErasure() Returns the erasure of this wildcard's capture type.
CType	CFieldAccessorMethod.getType()
CType	CErasedClassType.checkType(CContextType context) check that type is valid necessary to resolve String into java/lang/String
CType	CVoidType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CType.MethodSignatureParser.parseSignature(String signature) Parses a java type signature.
CType	CType.MethodSignatureParser.parseSignature(String signature, CUniverseTypeAnnotation univAnnot)
private CType	CType.MethodSignatureParser.parseSignature(String signature, int from, int to)
private CType	CType.MethodSignatureParser.parseSignature(String signature, int from, int to, CUniverseTypeAnnotation univAnnot)
private CType	CType.MethodSignatureParser.parseSignature(String signature, int from, int to, CType staticType, CUniverseTypeAnnotation univAnnot)
CType	CType.MethodSignatureParser.parseGenericTypeSignature(String signature)
CType	CType.MethodSignatureParser.parseGenericTypeSignature(String signature, CUniverseTypeAnnotation univAnnot)
CType	CType.MethodSignatureParser.parseGenericTypeSignature(String signature, char[] sig, CUniverseTypeAnnotation univAnnot)
private CType	CType.MethodSignatureParser.parseValueSpecSignature(String value, CType staticType)
CType[][]	CType.TupleCollection.members()
CType	CTypeVariableAlias.checkType(CContextType context)
CType	JCheckedExpression.getType() Compute the type of this expression (called after parsing)
protected CType[]	JNewObjectExpression.ArgTypes.constructorTypes()
protected CType[]	JNewObjectExpression.ArgTypes.regularArgs()
protected CType[]	JNewObjectExpression.ArgTypes.castToTypes(CMethod constructor) Returns the types to which to cast the regular arguments for the given constructor.
protected CType[]	JResendExpression.checkArgumentTypes(CExpressionContextType context) Typechecks args and returns an array of the argument types.
CType	MjcParser.jTypeSpec()
CType	MjcParser.mjTypeSpec()
CType	MjcParser.jBuiltInTypeSpec(CUniverse array_univ)
CType	MjcParser.jBuiltInType()
CType	MjcParser.mjExternalClassTypeSpec()
CType	MjcParser.jType(CUniverse elem_univ)
CType	MjcParser.mjBuiltInType()
CType	MjcParser.jValueSpecializer(CType type, TokenReference sourceRef)
CType	MjcSignatureParser.parseSignature(String signature) Parses a VM-standard type signature.
protected CType	MjcSignatureParser.parseSignature(String signature, int from, int to) Parses a VM-standard type signature within a signature string.
protected CType	MjcSignatureParser.parseGenericTypeSignature(String signature, char[] sig)

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

abstract CMethod	CContextType.lookupMethod(String name, CType[] params) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
abstract CMethod	CContextType.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
abstract CMethodSet	CContextType.lookupMethodOrSet(String name, CType[] params) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
abstract CMethodSet	CContextType.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
abstract void	CContextType.registerVisibleType(CType type) Registers with the surrounding context that a reference to the given type occurs in this context.
protected void	CMethod.setReturnType(CType type)
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.
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.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.
void	CClass.registerNestedType(CType type) Register a nested type visible inside this class.
CType[]	CClass.genConstructorArray(CType[] params) Mutates the given array to add any synthetic parameters for outer local variables referenced within the class represented by this.
CType[]	CSourceClass.genConstructorArray(CType[] params) Mutates the given array to add any synthetic parameters for outer local variables referenced within the class represented by this.
CMethodSet	CSourceClass.lookupMethodOrSet(String name, CType[] params, CClassType[] args, CContextType context)
boolean	CType.equals(CType other, CClassType[] substitution)
boolean	CType.equals(CType other, CClassType[] substitution, boolean enableUniv)
abstract boolean	CType.isCastableTo(CType dest) Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
boolean	CType.implicitlyCastTo(CType dest) implicitlyCastTo
abstract boolean	CType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
boolean	CType.isAlwaysAssignableTo(CType dest, boolean inst)
boolean	CType.isAlwaysAssignableTo(CType dest, CClassType[] substitution)
boolean	CType.isAssignableTo(CType dest)
boolean	CType.needsUncheckedConversion(CType dest) Returns whether unchecked conversion (JLS3 5.1.9) is required in order to convert from this type to the given type dest.
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.
static String	CType.genMethodSignature(CType returnType, CType[] parameters) Generates a method signature as used in regular Java bytecode.
static String	CType.genGenericMethodSignature(CTypeVariable[] tvs, CType returnType, CType[] parameters)
static String	CType.genMultimethodSignature(CType returnType, CType receiverType, CSpecializedType[] parameters, boolean skipSynthParameter) Generates a multimethod signature as used in custom bytecode attributes.
static String	CType.genGenericMethodSignature(CTypeVariable[] tvs, CType returnType, CType receiverType, CSpecializedType[] parameters, boolean skipSynthParameter) Generates a multimethod signature as used in custom bytecode attributes.
static String	CType.genGenericMethodSignatureHelper(CTypeVariable[] tvs, CType returnType, CType receiverType, CTypeSignatureAppender[] parameters, boolean skipSynthParameter)
private static String	CType.genMethodSignatureHelper(CType returnType, CType receiverType, CTypeSignatureAppender[] parameters, boolean skipSynthParameter) Helper method generates a method signature as used in regular Java bytecode if receiverType is null, or a multimethod signature otherwise.
static String	CType.tupleToString(CType[] argTuple) Constructs a nicely formatted string representing the type tuple given by the argument array.
static String	CType.tupleToString(CType recvType, CType[] actuals) Constructs a nicely format string representing the type tuple given by the arguments.
boolean	CClassType.equals(CType other, CClassType[] substitution)
boolean	CClassType.equals(CType other, CClassType[] substitution, boolean enableUniv)
boolean	CClassType.isAlwaysAssignableTo(CType dest, boolean inst) Is this type assignable to the given type by assignment type conversion [JLS2 5.2] [JLS2 5.1.4]
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)
boolean	CClassType.isAssignableTo(CType dest)
boolean	CClassType.needsUncheckedConversion(CType dest)
boolean	CClassType.needsUncheckedConversion(CType dest, CClassType[] substitution)
boolean	CClassType.isCastableTo(CType dest) Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
boolean	CClassType.implicitlyCastTo(CType dest) implicitlyCastTo
private static boolean	JFormalParameter.isValidSpecializerClassType(CType type) Indicates whether the given type can ever appear as an explicit class specializer.
private static boolean	JFormalParameter.isValidSpecializerValueType(CType type) Indicates whether the given type can ever appear as an explicit value specializer.
JExpression	JExpression.convertType(CType dest, CExpressionContextType context) Changes the type of this expression to the given type.
boolean	JExpression.isAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
void	JMethodCallExpression.setType(CType type)
private void	JMethodCallExpression.typecheckUncheckedWarnings(CType[] actuals, CExpressionContextType context) Issues unchecked warnings for the actual parameters which need unchecked conversion (JLS3 5.1.9) to conform to their corresponding formal parameters.
protected CMethod	JMethodCallExpression.lookupMethod(CType[] argTypes, CExpressionContextType context) Returns the apparent target method for this call.
private void	JMethodCallExpression.checkMethodFound(CMethod found, CType[] argTypes) Builds an error message and throws an exception if found is null.
protected void	JMethodCallExpression.handleSuperPrefix(CType[] argTypes, CExpressionContextType context) Handles processing of cases where prefix is a super expression, including various hacks for MultiJava super sends and for super sends to inner and outer classes.
static CType[]	CSpecializedType.dynamicTypeTupleFrom(CType recvType, CSpecializedType[] specTypes) Converts the given array of specialized types to an array of the dynamic types of arguments sent to formals with these specialized types.
static CType[]	CSpecializedType.staticTypeTupleFrom(CType recvType, CSpecializedType[] specTypes) Converts the given array of specialized types to an array of the static type parts.
static CSpecializedType[]	CSpecializedType.unspecializedTypeTupleFrom(CType[] simpleTypes)
private void	JMethodDeclaration.changeParametersToReadonly(CContextType context, CType[] params)
private void	JMethodDeclaration.checkUniverseOverriding(CContextType context, CType[] thisparams, CMethod superMethod)
CMethod	CContext.lookupMethod(String name, CType[] params) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethod	CContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	CContext.lookupMethodOrSet(String name, CType[] params) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	CContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that are applicable to the given identifier and argument type tuple.
void	CContext.registerVisibleType(CType type) Registers with the surrounding context that a reference to the given type occurs in this context.
CMethod	CClassContext.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CMethodSet	CClassContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
void	CClassContext.registerVisibleType(CType type) Registers with the surrounding context that a reference to the given type occurs in this context.
abstract CMethod	CClassContextType.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
abstract CMethodSet	CClassContextType.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
abstract void	CClassContextType.registerVisibleType(CType type) Registers with the surrounding context that a reference to the given type occurs in this context.
boolean	CTypeVariable.equals(CType other, CClassType[] subst)
boolean	CTypeVariable.isAlwaysAssignableTo(CType dest)
boolean	CTypeVariable.isAlwaysAssignableTo(CType dest, boolean inst)
boolean	CTypeVariable.isAlwaysAssignableTo(CType dest, CClassType[] subst)
boolean	CTypeVariable.needsUncheckedConversion(CType dest)
boolean	CTypeVariable.hasSameBound(CType other)
abstract CSwitchBodyContext	CFlowControlContextType.createSwitchBodyContext(JSwitchStatement stmt, CType switchType)
void	CField.setType(CType type)
abstract void	CFieldAccessor.setType(CType type)
void	JBinaryExpression.setType(CType t)
void	JUnaryExpression.setType(CType t)
static CType	JShiftExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static int	JShiftExpression.getOpcode(int oper, CType type)
static CType	JAddExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static int	JAddExpression.getOpcode(CType type)
static CType	JDivideExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static int	JDivideExpression.getOpcode(CType type)
static CType	JMinusExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static int	JMinusExpression.getOpcode(CType type)
static CType	JModuloExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static int	JModuloExpression.getOpcode(CType type)
static CType	JMultExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static int	JMultExpression.getOpcode(CType type)
protected JExpression	JEqualityExpression.typecheckHelper(CExpressionContextType context, CType leftType, CType rightType)
void	JConditionalExpression.setType(CType t)
private CType	JConditionalExpression.unifyNumeric(CType t1, CType t2) unifyNumeric search the type corresponding to the unification of the two types
void	JClassFieldExpression.setType(CType type)
static CType	JBitwiseExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static int	JBitwiseExpression.getOpcode(int oper, CType type)
static JLiteral	JLiteral.createLiteral(CType type, Object value) Create a literal from a type and a value
JExpression	JOrdinalLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to another
boolean	JOrdinalLiteral.isAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
JExpression	JCharLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to an other
boolean	JCharLiteral.isAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
JExpression	JRealLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to an other
void	JArrayInitializer.setType(CType type) Sets the type of this array initializer.
CType	JArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
void	CCompilationUnit.registerVisibleType(CType type) Registers that a reference to the given type occurs in the compilation unit represented by this.
abstract CMethod	CCompilationUnitContextType.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
abstract CMethodSet	CCompilationUnitContextType.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
abstract void	CCompilationUnitContextType.registerVisibleType(CType type) Registers that a reference to the given type occurs within the compilation unit.
void	CBinaryClassContext.registerVisibleType(CType type) Registers with the surrounding context that a reference to the given type occurs in this context.
void	CBinaryClass.checkTypes(CField field, CType fieldtype, CContextType context)
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.
CMethodSet	CExtMethodContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
CSwitchBodyContext	CFlowControlContext.createSwitchBodyContext(JSwitchStatement stmt, CType switchType)
boolean	CNumericType.widening_primitive_conv_from(CType from) Returns true iff from type can be converted by widening primitive conversion to this type.
boolean	CNumericType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2] [JLS2 5.1.2].
boolean	CNumericType.isCastableTo(CType dest) isCastableTo
boolean	CNumericType.implicitlyCastTo(CType dest) implicitlyCastTo
static CType	CNumericType.unifyNumeric(CType t1, CType t2) This isn't used and isn't right at any rate.
private static CType	CNumericType.unifyNumericIn(CType t1, CType t2) unifyNumeric search the type corresponding to the unification of the two types
CType	CNumericType.binaryPromote(CType other) binaryPromote search the type corresponding to the promotion of the two types (this and other)
protected String	MjcPrettyPrinter.toString(CType type) Returns the string for the given type.
protected void	MjcPrettyPrinter.print(CType t)
boolean	CArrayType.equals(CType other, CClassType[] substitution)
boolean	CArrayType.equals(CType other, CClassType[] substitution, boolean enableUniv)
boolean	CArrayType.isAlwaysAssignableTo(CType dest, boolean inst)
boolean	CArrayType.isAlwaysAssignableTo(CType dest, CClassType[] subst)
boolean	CArrayType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2] [JLS2 5.1.4]
boolean	CArrayType.isAlwaysAssignableToNoUniverses(CType dest, CClassType[] substitution) A version of the Assignable check without considering the Universe types.
boolean	CArrayType.isCastableTo(CType dest) Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
boolean	CArrayType.implicitlyCastTo(CType dest) implicitlyCastTo
boolean	CArrayType.needsUncheckedConversion(CType dest)
CMethodSet	CBadClass.lookupMethodOrSet(String name, CType[] params, CContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the given context, looking in parent hierarchy and augmentation map as needed.
boolean	CBooleanType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
boolean	CBooleanType.isCastableTo(CType dest) Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
boolean	CValueType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type.
boolean	CValueType.isCastableTo(CType dest) Can this type be converted to the specified type by casting conversion (JLS 5.5) ?
boolean	CWildcardType.isAlwaysAssignableTo(CType dest) This wildcard is assignable to the given type if and only if its capture type is assignable to it.
boolean	CWildcardType.isAlwaysAssignableTo(CType dest, boolean inst) This wildcard is assignable to the given type if and only if its capture type is assignable to it.
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.equals(CType other, CClassType[] substitution)
boolean	CWildcardType.equals(CType other, CClassType[] substitution, boolean enableUniv)
void	CFieldAccessorMethod.setType(CType type)
CMethod	CCompilationUnitContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
CMethodSet	CCompilationUnitContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
void	CCompilationUnitContext.registerVisibleType(CType type) Registers that a reference to the given type occurs within the compilation unit.
boolean	CErasedClassType.equals(CType other, CClassType[] substitution)
boolean	CErasedClassType.isAlwaysAssignableTo(CType dest) Can this type be converted to the specified type by assignment conversion (JLS 5.2) ?
boolean	CErasedClassType.isAlwaysAssignableTo(CType dest, boolean inst)
boolean	CErasedClassType.isAlwaysAssignableTo(CType dest, CClassType[] substitution)
boolean	CErasedClassType.isAssignableTo(CType dest)
private static String	CMethodNotFoundError.buildSignature(String name, CType[] types)
boolean	CNullType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2] [JLS2 5.1.4].
boolean	CNullType.isAlwaysAssignableTo(CType dest, boolean inst)
boolean	CNullType.isAlwaysAssignableTo(CType dest, CClassType[] subst)
boolean	CNullType.isCastableTo(CType dest) isCastableTo
boolean	CNullType.implicitlyCastTo(CType dest) implicitlyCastTo
boolean	CNullType.needsUncheckedConversion(CType dest)
boolean	CVoidType.isAlwaysAssignableTo(CType dest) Is this type assignable to the given type by assignment type conversion [JLS2 5.2].
boolean	CVoidType.isCastableTo(CType dest) isCastableTo
private CType	CType.MethodSignatureParser.parseSignature(String signature, int from, int to, CType staticType, CUniverseTypeAnnotation univAnnot)
private CType	CType.MethodSignatureParser.parseValueSpecSignature(String value, CType staticType)
void	CType.TupleCollection.add(CType[] tuple)
private int	CType.TupleCollection.compareTuples(CType[] first, CType[] second)
static CTypeNullity	CTypeNullity.getAlwaysNonNull(CType type)
static CTypeNullity	CTypeNullity.getAlwaysNullable(CType type)
private static boolean	CTypeNullity.isAssignable(boolean leftIsDeclaredNonNull, JExpression right, CType leftType, CContextType context)
static JLocalVariable	CUniverseRuntimeHelper.getTmpVariable(CExpressionContextType context, JExpression currentNode, CType type) Get a reference to a temporary variable to store expressions that are used more than once, but should not be evaluated more than once of course.
static JExpression	CUniverseRuntimeHelper.getOwnerTest(CExpressionContextType context, CType dest, JExpression testObject, JExpression expr) Get the owner test that tests if testObject is compatible (can be casted to) the type described by dest.
protected void	JNewObjectExpression.ArgTypes.setPrimaryExpr(CType primaryExpr)
protected void	JNewObjectExpression.ArgTypes.setSyntheticOuterThis(CType synthOuterThis)
protected CMethod	JResendExpression.lookupMethod(CType[] argTypes, CExpressionContextType context) Returns the apparent target method for this call.
JVariableDefinition[]	MjcParser.jVariableDefinitions(long mods, CType type)
JVariableDefinition	MjcParser.jVariableDeclarator(long mods, CType type) Declaration of a variable.
CType	MjcParser.jValueSpecializer(CType type, TokenReference sourceRef)

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

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

JLocalVariable(TokenReference where, long modifiers, int desc, CType type, String name, JExpression expr)
Constructs a local variable definition AST node.

CSpecializedType(CType type)
Constructs a type specification without an explicit specializer.

CSpecializedType(CType staticType, CType specializerType)
Constructs a specialized type specification.

JGeneratedLocalVariable(TokenReference where, long modifiers, CType type, String name, JExpression value)
Constructs a local variable definition

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

JVariableDefinition(TokenReference where, long modifiers, CType type, String ident, JExpression initializer)
Construct a node in the parsing tree.

CField(MemberAccess access, String ident, CType type, boolean deprecated)
Constructs a field export

CSourceField(MemberAccess access, String ident, CType type, boolean deprecated)
Constructs a field export

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

JNewArrayExpression(TokenReference where, CType arrayType, JArrayDimsAndInits dims)
Constructs a node in the parsing tree.

JInstanceofExpression(TokenReference where, JExpression expr, CType dest)
Construct a node in the parsing tree.

JClassExpression(TokenReference where, CType prefixType)
Construct a node in the parsing tree.

JCastExpression(TokenReference where, JExpression expr, CType dest)
Constructs a node in the parsing tree.

JCastExpression(TokenReference where, JExpression expr, CType dest, boolean isSynthetic)
Constructs a node in the parsing tree.

JUnaryPromote(JExpression expr, CType type)
Constructs a promotion of the given expression to the given type.

JRealLiteral(TokenReference where, Number value, CType type)
Construct a node in the parsing tree

CSwitchBodyContext(CFlowControlContextType parent, JSwitchStatement stmt, CType switchType)
Construct a context for a switch statement.

CArrayType(CType baseType, int arrayBound, CUniverse array_univ)
Constructs an array type with universe modifier for the whole array.

CValueType(CType staticType, JExpression dispatchExpr)
Constructor

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.

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

CMethodNotFoundError(TokenReference where, String name, CType[] types, boolean isConstr)

COrdinalValueType(CType staticType, JExpression dispatchExpr)
Constructor

CRealValueType(CType staticType, JExpression dispatchExpr)
Constructor

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

CTypeNullity(long modifiers, CType type)

CTypeNullity(boolean isNonNull, CType type)

JNewObjectExpression.ArgTypes(CType[] regularArgs)

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.