Uses of Class
org.multijava.mjc.CSpecializedType

Packages that use CSpecializedType

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.jmlunit	Generates JUnit test classes from JML specifications.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CSpecializedType in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return CSpecializedType

CSpecializedType

JmlFormalParameter.checkInterface(CContextType context)

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

protected CSourceMethod	JConstructorDeclarationWrapper.makeMethodSignature(CContextType context, MemberAccess access, String ident, CSpecializedType[] parameterTypes) Generates the signature object for this method declaration.
protected CSourceMethod	JMethodDeclarationWrapper.makeMethodSignature(CContextType context, MemberAccess access, String ident, CSpecializedType[] parameterTypes) Generates the signature object for this method declaration.

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

JmlFormalParameter(TokenReference where, long modifiers, int desc, CSpecializedType type, String ident)
Constructs a formal parameter 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)

Uses of CSpecializedType in org.jmlspecs.jmlrac

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

private TransExpression.DynamicCallArg

TransExpression.argumentsForDynamicCall(JExpression[] args, CSpecializedType[] ptypes) Returns an object that contains information about translating arugments, args to a method call for making a dynamic call.

Uses of CSpecializedType in org.jmlspecs.jmlunit

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

private TestClassGenerator.Parameter[]

TestClassGenerator.generateParameters(CSpecializedType[] p) Returns an array of formal parameters for given parameter types, p.

Uses of CSpecializedType in org.multijava.mjc

Fields in org.multijava.mjc declared as CSpecializedType

private CSpecializedType[]	CMethod.parameters
private CSpecializedType	JFormalParameter.specializedType
static CSpecializedType[]	CSpecializedType.EMPTY
CSpecializedType[]	CType.MethodSignature.parameterTypes

Methods in org.multijava.mjc that return CSpecializedType

CSpecializedType[]	CMethod.parameters() Returns the static and dynamic types of this methods parameters.
CSpecializedType	JFormalParameter.specializedType() Returns the overridden and dynamic types for this formal.
CSpecializedType	JFormalParameter.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
private static CSpecializedType[]	CBinaryMethod.buildParameterTypes(CClass host, MethodInfo methodInfo)
CSpecializedType	CSpecializedType.unspecializedType() Returns an unspecialized type with the same static type as this.
static CSpecializedType[]	CSpecializedType.unspecializedTypeTupleFrom(CSpecializedType[] specTypes) Converts the given array of specialized types to an array of unspecialized types.
static CSpecializedType[]	CSpecializedType.unspecializedTypeTupleFrom(CType[] simpleTypes)
private static CSpecializedType[]	CFieldGetterMethod.createParms(CField target, CClass owner)
private static CSpecializedType[]	CFieldSetterMethod.createParms(CField target, CClass owner)

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

protected void	CMethod.setParameters(CSpecializedType[] 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.
private boolean	CClass.CClass$6.couldOverload(CSpecializedType[] ss, CSpecializedType[] ts)
boolean	CSpecializedType.specializes(CSpecializedType other, CClassType[] args) Checks whether this specialized type is a specializing type for the given specialized type
boolean	CSpecializedType.couldOverload(CSpecializedType other) Checks whether a method with this specialized type in a parameter position could overload a method with other in the same position.
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) 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.
static CSpecializedType[]	CSpecializedType.unspecializedTypeTupleFrom(CSpecializedType[] specTypes) Converts the given array of specialized types to an array of unspecialized types.
protected CSourceMethod	JMethodDeclaration.makeMethodSignature(CContextType context, MemberAccess access, String ident, CSpecializedType[] parameterTypes) Generates the signature object for this method declaration.

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

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

JFormalParameter(TokenReference where, long modifiers, int desc, CSpecializedType type, String ident)
Constructs a formal parameter node in the parsing tree.

JFormalParameter(TokenReference where, int desc, CSpecializedType type, String ident, boolean isFinal)
Constructs a formal parameter node in the parsing tree.

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.

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