Uses of Class
org.multijava.mjc.CTypeVariable

Packages that use CTypeVariable

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CTypeVariable in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return CTypeVariable

CTypeVariable[]	JmlTypeDeclaration.typevariables()
CTypeVariable[]	JmlMethodDeclaration.typevariables()
CTypeVariable	JmlContext.lookupTypeVariable(String ident)
CTypeVariable	JmlClassContext.lookupTypeVariable(String ident)
CTypeVariable	JmlMethodContext.lookupTypeVariable(String ident)
CTypeVariable[]	JmlParser.jTypeVariableDeclarationList()
CTypeVariable	JmlParser.jTypeVariableDeclaration()

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

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.
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 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.

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

JmlSourceClass(Main compiler, CClass owner, CMemberHost host, TokenReference where, long modifiers, String ident, String qualifiedName, CTypeVariable[] typevariables, boolean isAnonymous, boolean isMember, boolean deprecated)
Constructs a class export from source

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.

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

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

Uses of CTypeVariable in org.multijava.mjc

Subclasses of CTypeVariable in org.multijava.mjc

class	CCaptureType Type resulting from applying capture conversion (JLS3 5.1.10) to a wildcard.
class	CTypeVariableAlias

Fields in org.multijava.mjc declared as CTypeVariable

private CTypeVariable[]	CMethod.typevariables
private CTypeVariable[]	CClass.typevariables
protected CTypeVariable[]	JMethodDeclaration.typevariables
protected CTypeVariable[]	JTypeDeclaration.typevariables
static CTypeVariable[]	CTypeVariable.EMPTY
private CTypeVariable[]	CExtendedClassContext.typevariables
private CTypeVariable	CWildcardType.typeVariable The formal type variable for which this wildcard is a type argument.
private CTypeVariable[]	CExtendedCompilationUnitContext.typevariables
CTypeVariable[]	CType.MethodSignature.tvs
CTypeVariable[]	SignatureParser.ClassSignature.typeVariables

Methods in org.multijava.mjc that return CTypeVariable

abstract CTypeVariable	CContextType.lookupTypeVariable(String Ident) search for type variable that are accessible
CTypeVariable[]	CMethod.getTypeVariable()
CTypeVariable	CMethod.lookupTypeVariable(String ident)
CTypeVariable[]	CClass.getTypeVariables() return the type variables of the class
CTypeVariable	CClass.lookupTypeVariable(String ident)
private static CTypeVariable[]	CBinaryMethod.buildTypeParameter(CClass host, MethodInfo methodInfo)
CTypeVariable[]	JMethodDeclaration.typevariables() Returns the type variables of this method.
CTypeVariable	CContext.lookupTypeVariable(String ident)
CTypeVariable	CClassContext.lookupTypeVariable(String ident)
abstract CTypeVariable	CClassContextType.lookupTypeVariable(String ident) search for the type variable that are accessible
CTypeVariable[]	JTypeDeclaration.typevariables() Returns the type variables of this class.
CTypeVariable	CExtendedClassContext.lookupTypeVariable(String ident)
CTypeVariable	CWildcardType.getTypeVariable() Returns the formal type variable for which this wildcard is a type argument.
CTypeVariable	CCompilationUnitContext.lookupTypeVariable(String ident)
CTypeVariable	CMethodContext.lookupTypeVariable(String ident)
CTypeVariable	CExtendedCompilationUnitContext.lookupTypeVariable(String ident)
CTypeVariable[]	CType.MethodSignatureParser.parseTypeParameter(String signature, char[] sig)
CTypeVariable[]	MjcParser.jTypeVariableDeclarationList()
CTypeVariable	MjcParser.jTypeVariableDeclaration()
protected CTypeVariable[]	MjcSignatureParser.parseTypeParameter(String signature, char[] sig)

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

void	CClass.setTypeVariables(CTypeVariable[] typevariables) set the type variables of the class
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)
private boolean	CClass.ownerOf(CTypeVariable typevariable) check whether this class si the owner of the given type variable
static String	CType.genGenericMethodSignature(CTypeVariable[] tvs, CType returnType, CType[] parameters)
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)
boolean	CClassType.isValidTypeArgumentFor(CTypeVariable typeVariable, CClassType[] substitution) Returns whether this type is a valid type argument for the given typeVariable.
CExtendedClassContext	JMethodDeclaration.createExtendedClassContext(CContextType parent, CTypeVariable[] typevariables) Create a Extended Class context that include the typevariables
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.
CExtendedCompilationUnitContext	MJTopLevelMethodDeclaration.createExtendedCompilationUnitContext(CContextType parent, CTypeVariable[] typevariables)
CExtendedClassContext	CBinaryClass.createExtendedClassContext(CContextType parent, CTypeVariable[] tvs)
boolean	CWildcardType.isValidTypeArgumentFor(CTypeVariable typeVariable, CClassType[] substitution)
void	CWildcardType.setTypeVariable(CTypeVariable typeVariable) Sets the formal type variable for which this wildcard is a type argument.

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

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

CSourceClass(Main compiler, MemberAccess access, TokenReference where, String ident, String qualifiedName, CTypeVariable[] typevariables, boolean isAnonymous, boolean isMember, boolean deprecated)
Constructs a class export from source

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.

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(CTypeVariable tv)

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

CExtendedClassContext(CContextType parent, CTypeVariable[] typevariables)

CExtendedCompilationUnitContext(CContextType parent, CTypeVariable[] typevariables)

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

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