Uses of Class
org.multijava.mjc.CTypeVariable

Packages that use CTypeVariable

org.multijava.mjc

Implements mjc, a MultiJava compiler.

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
private CTypeVariable[]	CExtendedClassContext.typevariables
static CTypeVariable[]	CTypeVariable.EMPTY
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)
private static CTypeVariable[]	CBinaryMethod.buildTypeParameter(CClass host, MethodInfo methodInfo)
CTypeVariable[]	CClass.getTypeVariables() return the type variables of the class
CTypeVariable	CClass.lookupTypeVariable(String ident)
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

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.
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
CExtendedClassContext	JMethodDeclaration.createExtendedClassContext(CContextType parent, CTypeVariable[] typevariables) Create a Extended Class context that include the 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.
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)

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.

CExtendedClassContext(CContextType parent, CTypeVariable[] typevariables)

CTypeVariable(CTypeVariable tv)

CExtendedCompilationUnitContext(CContextType parent, CTypeVariable[] typevariables)

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

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

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.

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.

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