Uses of Class
edu.rice.cs.dynamicjava.symbol.type.VariableType

Packages that use VariableType

edu.rice.cs.dynamicjava.interpreter
edu.rice.cs.dynamicjava.symbol
edu.rice.cs.dynamicjava.symbol.type
koala.dynamicjava.interpreter	Contains the classes for interpreting Java language statements.

Uses of VariableType in edu.rice.cs.dynamicjava.interpreter

Methods in edu.rice.cs.dynamicjava.interpreter that return VariableType

VariableType	DelegatingContext.getTypeVariable(String name, TypeSystem ts) Return the type variable with the given name, or null if it does not exist.
VariableType	TypeContext.getTypeVariable(String name, TypeSystem ts) Return the type variable with the given name, or null if it does not exist.
VariableType	BaseContext.getTypeVariable(String name, TypeSystem ts)
VariableType	FunctionSignatureContext.getTypeVariable(String name, TypeSystem ts)
VariableType	ClassSignatureContext.getTypeVariable(String name, TypeSystem ts) Return the type variable with the given name, or null if it does not exist.
VariableType	ClassContext.getTypeVariable(String name, TypeSystem ts)
VariableType	LibraryContext.getTypeVariable(String name, TypeSystem ts)
VariableType	LocalContext.getTypeVariable(String name, TypeSystem ts)

Methods in edu.rice.cs.dynamicjava.interpreter with parameters of type VariableType

Type	RuntimeBindings.get(VariableType v)

Constructor parameters in edu.rice.cs.dynamicjava.interpreter with type arguments of type VariableType

RuntimeBindings(RuntimeBindings parent, Map<LocalVariable,Object> vars, Map<VariableType,Type> tvars, Map<DJClass,Object> thisVals)

Uses of VariableType in edu.rice.cs.dynamicjava.symbol

Methods in edu.rice.cs.dynamicjava.symbol that return types with arguments of type VariableType

static Iterable<VariableType>	SymbolUtil.allTypeParameters(DJClass c) Determine all the in-scope type parameters of c, ordered outermost to innermost.
Iterable<VariableType>	JavaClass.declaredTypeParameters() List all type variables declared by this class (but not by its enclosing classes)
Iterable<VariableType>	DJClass.declaredTypeParameters() List all type variables declared by this class
Iterable<VariableType>	TreeClass.declaredTypeParameters() List all type variables declared by this class
Iterable<VariableType>	Java5Class.declaredTypeParameters() List all type variables declared by this class (but not by its enclosing classes)
Iterable<VariableType>	FunctionWrapperClass.declaredTypeParameters() List all type variables declared by this class
Iterable<VariableType>	LocalFunction.typeParameters()
Iterable<VariableType>	JavaClass.JavaConstructor.typeParameters()
Iterable<VariableType>	JavaClass.JavaMethod.typeParameters()
Iterable<VariableType>	GetClassMethod.typeParameters()
Iterable<VariableType>	Function.typeParameters()
Iterable<VariableType>	ArrayCloneMethod.typeParameters()

Methods in edu.rice.cs.dynamicjava.symbol with parameters of type VariableType

protected boolean	StandardTypeSystem.containsVar(Type t, VariableType var) Test whether a variable is reachable from a type.
Type	StandardTypeSystem.SubstitutionMap.get(VariableType v)

Method parameters in edu.rice.cs.dynamicjava.symbol with type arguments of type VariableType

protected Iterable<Type>	JLSTypeSystem.captureTypeArgs(Iterable<? extends Type> targs, Iterable<? extends VariableType> params)
protected Iterable<Type>	ExtendedTypeSystem.captureTypeArgs(Iterable<? extends Type> targs, Iterable<? extends VariableType> params)
protected abstract Iterable<Type>	StandardTypeSystem.captureTypeArgs(Iterable<? extends Type> targs, Iterable<? extends VariableType> params) Produce types that are bounded by the corresponding type argument and parameter.
protected boolean	StandardTypeSystem.containsAnyVar(Type t, Set<? extends VariableType> vars) Test whether any of the given variables is reachable from a type.
protected boolean	StandardTypeSystem.inBounds(Iterable<? extends VariableType> params, Iterable<? extends Type> args) Test whether the given arguments are within the bounds of the corresponding parameters.
protected Iterable<Type>	JLSTypeSystem.inferTypeArguments(Iterable<? extends VariableType> tparams, Iterable<? extends Type> params, Type returned, Iterable<? extends Type> args, Option<Type> expected) Top-level entry point for type inference.
protected Iterable<Type>	ExtendedTypeSystem.inferTypeArguments(Iterable<? extends VariableType> tparams, Iterable<? extends Type> params, Type returned, Iterable<? extends Type> args, Option<Type> expected) Top-level entry point for type inference.
protected abstract Iterable<Type>	StandardTypeSystem.inferTypeArguments(Iterable<? extends VariableType> tparams, Iterable<? extends Type> params, Type returned, Iterable<? extends Type> args, Option<Type> expected) Top-level entry point for type inference.
protected Type	StandardTypeSystem.substitute(Type t, Iterable<? extends VariableType> params, Iterable<? extends Type> args) Assumes each paramater is a unique variable, and that the length of params is consistent with the length of args.
protected Type	StandardTypeSystem.substitute(Type t, Map<? extends VariableType,? extends Type> map)

Constructor parameters in edu.rice.cs.dynamicjava.symbol with type arguments of type VariableType

StandardTypeSystem.SubstitutionMap(Iterable<? extends VariableType> vars, Iterable<? extends Type> values)

StandardTypeSystem.SubstitutionMap(Map<? extends VariableType,? extends Type> map)

Uses of VariableType in edu.rice.cs.dynamicjava.symbol.type

Methods in edu.rice.cs.dynamicjava.symbol.type with parameters of type VariableType

RetType	TypeDepthFirstVisitor.forVariableType(VariableType that)
Type	TypeUpdateVisitor.forVariableType(VariableType that)
abstract RetType	TypeVisitorLambda.forVariableType(VariableType that) Process an instance of VariableType.
void	TypeAbstractVisitor_void.forVariableType(VariableType that)
RetType	TypeVisitor.forVariableType(VariableType that) Process an instance of VariableType.
RetType	TypeAbstractVisitor.forVariableType(VariableType that)
void	TypeVisitor_void.forVariableType(VariableType that) Process an instance of VariableType.
void	TypeDepthFirstVisitor_void.forVariableType(VariableType that)
abstract void	TypeVisitorRunnable1.forVariableType(VariableType that) Process an instance of VariableType.
void	TypeDepthFirstVisitor_void.forVariableTypeDoFirst(VariableType that)
RetType	TypeDepthFirstVisitor.forVariableTypeOnly(VariableType that)
Type	TypeUpdateVisitor.forVariableTypeOnly(VariableType that)
void	TypeDepthFirstVisitor_void.forVariableTypeOnly(VariableType that)

Uses of VariableType in koala.dynamicjava.interpreter

Fields in koala.dynamicjava.interpreter with type parameters of type VariableType

static Lambda<Node,VariableType>

NodeProperties.NODE_TYPE_VARIABLE

Methods in koala.dynamicjava.interpreter that return VariableType

static VariableType	NodeProperties.getTypeVariable(Node n)
static VariableType	NodeProperties.setTypeVariable(Node n, VariableType v)

Methods in koala.dynamicjava.interpreter with parameters of type VariableType

static VariableType

NodeProperties.setTypeVariable(Node n, VariableType v)