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

Packages that use Type

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 Type in edu.rice.cs.dynamicjava.interpreter

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

Type	ExpressionChecker.check(Expression e)
Type	ExpressionChecker.check(Expression e, Option<Type> expected)
Type	ExpressionChecker.check(Expression e, Type expected)
Type	TypeNameChecker.check(TypeName t) Get the type corresponding to t; verify that it is well-formed.
Type	TypeNameChecker.checkStructure(TypeName t) Get the type corresponding to t; verify that it is structurally well-formed, but delay full well-formedness checking until a later TypeNameChecker.ensureWellFormed(koala.dynamicjava.tree.TypeName) call.
Type	RuntimeBindings.get(VariableType v)
Type	FunctionContext.getReturnType()
Type	DelegatingContext.getReturnType() The expected type of a return statement in the given context, or null if return statements should not appear here.
Type	InitializerContext.getReturnType()
Type	ImportContext.getReturnType() The expected type of a return statement in the given context, or null if return statements should not appear here.
Type	TypeContext.getReturnType() The expected type of a return statement in the given context, or null if return statements should not appear here.
Type	BaseContext.getReturnType()
Type	ClassContext.getReturnType() The expected type of a return statement in the given context, or null if return statements should not appear here.
Type	FunctionContext.typeContainingMethod(String name, TypeSystem ts)
Type	DelegatingContext.typeContainingMethod(String name, TypeSystem ts) Return the most inner type containing a method with the given name, or null if there is no such type.
Type	ImportContext.typeContainingMethod(String name, TypeSystem ts)
Type	TypeContext.typeContainingMethod(String name, TypeSystem ts) Return the most inner type containing a method with the given name, or null if there is no such type.
Type	BaseContext.typeContainingMethod(String name, TypeSystem ts)
Type	ClassContext.typeContainingMethod(String name, TypeSystem ts)
Type	LocalContext.typeContainingMethod(String name, TypeSystem ts)

Methods in edu.rice.cs.dynamicjava.interpreter that return types with arguments of type Type

Iterable<Type>	ExpressionChecker.checkList(Iterable<? extends Expression> l)
Iterable<Type>	ExpressionChecker.checkList(Iterable<? extends Expression> l, Option<Type> expected)
Iterable<Type>	ExpressionChecker.checkList(Iterable<? extends Expression> l, Type expected)
Iterable<Type>	TypeNameChecker.checkList(Iterable<? extends TypeName> l) Invoke TypeNameChecker.check(koala.dynamicjava.tree.TypeName) on each element of a list.
Iterable<Type>	TypeNameChecker.checkStructureForList(Iterable<? extends TypeName> l) Invoke TypeNameChecker.checkStructure(koala.dynamicjava.tree.TypeName) on each element of a list.
Iterable<Type>	FunctionContext.getDeclaredThrownTypes()
Iterable<Type>	DelegatingContext.getDeclaredThrownTypes() The types that are allowed to be thrown in the current context.
Iterable<Type>	InitializerContext.getDeclaredThrownTypes()
Iterable<Type>	ImportContext.getDeclaredThrownTypes() The types that are allowed to be thrown in the current context.
Iterable<Type>	TypeContext.getDeclaredThrownTypes() The types that are allowed to be thrown in the current context.
Iterable<Type>	BaseContext.getDeclaredThrownTypes()
Iterable<Type>	ClassContext.getDeclaredThrownTypes() The types that are allowed to be thrown in the current context.
Iterable<Type>	TryBlockContext.getDeclaredThrownTypes() The types that are allowed to be thrown in the current context.

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

Type	ExpressionChecker.check(Expression e, Type expected)
DJField	ExpressionChecker.checkEnumSwitchCase(Expression exp, Type enumT) Check an expression appearing as the switch case in an enum switch statement.
Iterable<Type>	ExpressionChecker.checkList(Iterable<? extends Expression> l, Type expected)
DJClass	FunctionContext.getThis(Type expected, TypeSystem ts)
DJClass	DelegatingContext.getThis(Type expected, TypeSystem ts)
DJClass	InitializerContext.getThis(Type expected, TypeSystem ts)
DJClass	ImportContext.getThis(Type expected, TypeSystem ts)
DJClass	TypeContext.getThis(Type expected, TypeSystem ts) Return the innermost "this" class with the given type in the current context, or null if there is no such value (for example, in a static context).
DJClass	BaseContext.getThis(Type expected, TypeSystem ts)
DJClass	ClassContext.getThis(Type expected, TypeSystem ts)

Method parameters in edu.rice.cs.dynamicjava.interpreter with type arguments of type Type

Type	ExpressionChecker.check(Expression e, Option<Type> expected)
Iterable<Type>	ExpressionChecker.checkList(Iterable<? extends Expression> l, Option<Type> expected)

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

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

TryBlockContext(TypeContext next, Iterable<Type> caughtTypes)

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

Fields in edu.rice.cs.dynamicjava.symbol declared as Type

protected Type	JavaClass.JavaConstructor._outerType
protected static Type	StandardTypeSystem.CLONEABLE_AND_SERIALIZABLE
protected static Type[]	TypeSystem.EMPTY_TYPE_ARRAY

Fields in edu.rice.cs.dynamicjava.symbol with type parameters of type Type

protected static Iterable<Type>	TypeSystem.EMPTY_TYPE_ITERABLE
protected static Option<Type>	TypeSystem.NONE_TYPE_OPTION

Methods in edu.rice.cs.dynamicjava.symbol that return Type

abstract Type	TypeSystem.arrayElementType(Type t) Determine the element type of the given array type.
Type	StandardTypeSystem.arrayElementType(Type t) Determine the element type of the given array type.
abstract Type	TypeSystem.capture(Type t) Compute the capture of t.
Type	StandardTypeSystem.capture(Type t)
abstract Type	TypeSystem.erase(Type t) Compute the erased type of t.
Type	StandardTypeSystem.erase(Type t) Compute the erased type of t.
Type	StandardTypeSystem.SubstitutionMap.get(VariableType v)
Type	JavaClass.immediateSuperclass() Return the type bound to super in the context of this class, or null if super is not defined
Type	DJClass.immediateSuperclass()
Type	TreeClass.immediateSuperclass()
Type	Java5Class.immediateSuperclass() Return the type bound to super in the context of this class, or null if super is not defined
Type	FunctionWrapperClass.immediateSuperclass()
Type	StandardTypeSystem.immediateSuperclass(Type t)
protected Type	StandardTypeSystem.immediateSupertype(ClassType t) Get a class type's immediate supertype.
Type	JLSTypeSystem.join(Iterable<? extends Type> ts) Join implementation based on the JLS specification (15.12.2.7).
Type	ExtendedTypeSystem.join(Iterable<? extends Type> ts)
abstract Type	TypeSystem.join(Iterable<? extends Type> ts) Compute a common supertype of the given list of types.
abstract Type	StandardTypeSystem.join(Iterable<? extends Type> ts) Compute a common supertype of the given list of types.
Type	TypeSystem.join(Type t1, Type t2) Compute a common supertype of the given pair of types.
Type	BoundedSymbol.lowerBound()
Type	JLSTypeSystem.meet(Iterable<? extends Type> ts) Simple meet implementation: construct an intersection if there are more than two.
Type	ExtendedTypeSystem.meet(Iterable<? extends Type> ts)
abstract Type	TypeSystem.meet(Iterable<? extends Type> ts) Compute a common subtype of the given list of types.
abstract Type	StandardTypeSystem.meet(Iterable<? extends Type> ts) Compute a common subtype of the given list of types.
Type	TypeSystem.meet(Type t1, Type t2) Compute a common supertype of the given pair of types.
abstract Type	TypeSystem.reflectionClassOf(Type t) Determine the type of the class object associated with t (for example, (informally) classOf(Integer) = Class<Integer>).
Type	StandardTypeSystem.reflectionClassOf(Type t)
Type	LocalFunction.returnType()
Type	JavaClass.JavaConstructor.returnType()
Type	JavaClass.JavaMethod.returnType()
Type	GetClassMethod.returnType()
Type	Function.returnType()
Type	TypeSystem.MethodInvocation.returnType()
Type	ArrayCloneMethod.returnType()
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)
protected Type	StandardTypeSystem.substitute(Type t, StandardTypeSystem.SubstitutionMap sigma)
Type	JavaClass.JavaField.type()
Type	LocalVariable.type()
Type	Variable.type()
Type	ArrayLengthField.type()
Type	TypeSystem.FieldReference.type()
static Type	SymbolUtil.typeOfGeneralClass(Class<?> c, TypeSystem ts) Create a type corresponding to an arbitrary reflection class, which may represent a primitive, an array, or a class/interface.
static Type	SymbolUtil.typeOfPrimitiveClass(Class<?> c) Convert a Class object representing a primitive type to the corresponding Type.
Type	BoundedSymbol.upperBound()

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

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.
Iterable<Type>	JavaClass.declaredSupertypes() List the declared supertypes of this class
Iterable<Type>	DJClass.declaredSupertypes() List the declared supertypes of this class
Iterable<Type>	TreeClass.declaredSupertypes() List the declared supertypes of this class
Iterable<Type>	Java5Class.declaredSupertypes() List the declared supertypes of this class
Iterable<Type>	FunctionWrapperClass.declaredSupertypes() List the declared supertypes of this class
abstract Option<Type>	TypeSystem.dynamicallyEnclosingType(Type t) Get the type of the object, if any, that dynamically encloses instances of t.
Option<Type>	StandardTypeSystem.dynamicallyEnclosingType(Type t)
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.
static Iterable<Type>	SymbolUtil.parameterTypes(Function f)
Iterable<? extends Type>	TypeSystem.FunctionInvocation.thrown()
Iterable<Type>	LocalFunction.thrownTypes()
Iterable<Type>	JavaClass.JavaConstructor.thrownTypes()
Iterable<Type>	JavaClass.JavaMethod.thrownTypes()
Iterable<Type>	GetClassMethod.thrownTypes()
Iterable<Type>	Function.thrownTypes()
Iterable<Type>	ArrayCloneMethod.thrownTypes()
Iterable<? extends Type>	TypeSystem.FunctionInvocation.typeArgs()

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

abstract Type	TypeSystem.arrayElementType(Type t) Determine the element type of the given array type.
Type	StandardTypeSystem.arrayElementType(Type t) Determine the element type of the given array type.
abstract Expression	TypeSystem.assign(Type target, Expression e) Prepare the given expression for assignment, wrapping it in any necessary conversions.
Expression	StandardTypeSystem.assign(Type target, Expression exp) Prepare the given expression for assignment, wrapping it in any necessary conversions.
abstract Type	TypeSystem.capture(Type t) Compute the capture of t.
Type	StandardTypeSystem.capture(Type t)
abstract Expression	TypeSystem.cast(Type target, Expression e) Perform a cast on the given expression.
Expression	StandardTypeSystem.cast(Type target, Expression e) Perform a cast on the given expression.
protected boolean	StandardTypeSystem.containsAnyVar(Type t, Set<? extends VariableType> vars) Test whether any of the given variables is reachable from a type.
abstract boolean	TypeSystem.containsClass(Type t, String name, Access.Module accessModule)
boolean	StandardTypeSystem.containsClass(Type t, String name, Access.Module accessModule)
abstract boolean	TypeSystem.containsField(Type t, String name, Access.Module accessModule)
boolean	StandardTypeSystem.containsField(Type t, String name, Access.Module accessModule)
abstract boolean	TypeSystem.containsMethod(Type t, String name, Access.Module accessModule)
boolean	StandardTypeSystem.containsMethod(Type t, String name, Access.Module accessModule)
abstract boolean	TypeSystem.containsStaticClass(Type t, String name, Access.Module accessModule)
boolean	StandardTypeSystem.containsStaticClass(Type t, String name, Access.Module accessModule)
abstract boolean	TypeSystem.containsStaticField(Type t, String name, Access.Module accessModule)
boolean	StandardTypeSystem.containsStaticField(Type t, String name, Access.Module accessModule)
abstract boolean	TypeSystem.containsStaticMethod(Type t, String name, Access.Module accessModule)
boolean	StandardTypeSystem.containsStaticMethod(Type t, String name, Access.Module accessModule)
protected boolean	StandardTypeSystem.containsVar(Type t, VariableType var) Test whether a variable is reachable from a type.
abstract Option<Type>	TypeSystem.dynamicallyEnclosingType(Type t) Get the type of the object, if any, that dynamically encloses instances of t.
Option<Type>	StandardTypeSystem.dynamicallyEnclosingType(Type t)
abstract Type	TypeSystem.erase(Type t) Compute the erased type of t.
Type	StandardTypeSystem.erase(Type t) Compute the erased type of t.
abstract Thunk<Class<?>>	TypeSystem.erasedClass(Type t) Determine the class corresponding to the erasure of t.
Thunk<Class<?>>	StandardTypeSystem.erasedClass(Type t) Determine the class corresponding to the erasure of t, or null if no such class object exists.
Type	StandardTypeSystem.immediateSuperclass(Type t)
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.
void	BoundedSymbol.initializeLowerBound(Type t)
void	BoundedSymbol.initializeUpperBound(Type t)
abstract boolean	TypeSystem.isArray(Type t) Determine if t is an array.
boolean	StandardTypeSystem.isArray(Type t) Determine if t is an array.
abstract boolean	TypeSystem.isAssignable(Type target, Type expT) Determine if TypeSystem.assign(edu.rice.cs.dynamicjava.symbol.type.Type, koala.dynamicjava.tree.Expression) would succeed given a non-constant expression of the given type
boolean	StandardTypeSystem.isAssignable(Type target, Type expT) Determine if StandardTypeSystem.assign(edu.rice.cs.dynamicjava.symbol.type.Type, koala.dynamicjava.tree.Expression) would succeed given a non-constant expression of the given type
abstract boolean	TypeSystem.isAssignable(Type target, Type expT, Object expValue) Determine if TypeSystem.assign(edu.rice.cs.dynamicjava.symbol.type.Type, koala.dynamicjava.tree.Expression) would succeed given a constant expression of the given type and value
boolean	StandardTypeSystem.isAssignable(Type target, Type expT, Object expValue) Determine if StandardTypeSystem.assign(edu.rice.cs.dynamicjava.symbol.type.Type, koala.dynamicjava.tree.Expression) would succeed given a constant expression of the given type and value
abstract boolean	TypeSystem.isConcrete(Type t) Determine if there exist values whose most specific type is t (ignoring constructor-accessibility issues).
boolean	StandardTypeSystem.isConcrete(Type t) Determine if there exist values whose most specific type is t (ignoring constructor-accessibility issues).
abstract boolean	TypeSystem.isDisjoint(Type t1, Type t2) Whether two types are known to be disjoint.
boolean	StandardTypeSystem.isDisjoint(Type s, Type t) Whether two types are known to be disjoint.
abstract boolean	TypeSystem.isEnum(Type t) Determine if an object with type t is enumerable (and so can be used as the selector of a switch statement)
boolean	StandardTypeSystem.isEnum(Type t) Determine if an object with type t is enumerable (and so can be used as the selector of a switch statement)
boolean	JLSTypeSystem.isEqual(Type t1, Type t2) Determine if the given types may be treated as equal.
boolean	ExtendedTypeSystem.isEqual(Type t1, Type t2) Determine if the given types may be treated as equal.
abstract boolean	TypeSystem.isEqual(Type t1, Type t2) Determine if the given types may be treated as equal.
abstract boolean	StandardTypeSystem.isEqual(Type t1, Type t2) Determine if the given types may be treated as equal.
abstract boolean	TypeSystem.isExtendable(Type t) Determine if t is valid in the extends clause of a class definition
boolean	StandardTypeSystem.isExtendable(Type t) Determine if t is valid in the extends clause of a class definition
abstract boolean	TypeSystem.isImplementable(Type t) Determine if t is valid in the implements clause of a class definition
boolean	StandardTypeSystem.isImplementable(Type t) Determine if t is valid in the implements clause of a class definition
abstract boolean	TypeSystem.isIterable(Type t) Determine if the type can be used in an enhanced for loop.
boolean	StandardTypeSystem.isIterable(Type t) Determine if the type can be used in an enhanced for loop.
abstract boolean	TypeSystem.isPrimitive(Type t) Determine if t is a primitive.
boolean	StandardTypeSystem.isPrimitive(Type t) Determine if t is a primitive.
abstract boolean	TypeSystem.isPrimitiveConvertible(Type t) Determine if TypeSystem.makePrimitive(koala.dynamicjava.tree.Expression) would succeed given an expression of the given type
boolean	StandardTypeSystem.isPrimitiveConvertible(Type t)
abstract boolean	TypeSystem.isReference(Type t) Determine if t is a reference.
boolean	StandardTypeSystem.isReference(Type t) Determine if t is a reference.
abstract boolean	TypeSystem.isReferenceConvertible(Type t) Determine if TypeSystem.makeReference(koala.dynamicjava.tree.Expression) would succeed given an expression of the given type
boolean	StandardTypeSystem.isReferenceConvertible(Type t)
abstract boolean	TypeSystem.isReifiable(Type t) Determine if the type is available at runtime (via a Class object)
boolean	StandardTypeSystem.isReifiable(Type t) Determine if the type is available at runtime (via a Class object)
boolean	JLSTypeSystem.isSubtype(Type subT, Type superT) Determine if subT is a subtype of superT.
boolean	ExtendedTypeSystem.isSubtype(Type subT, Type superT) Determine if subT is a subtype of superT.
abstract boolean	TypeSystem.isSubtype(Type subT, Type superT) Determine if subT is a subtype of superT.
abstract boolean	StandardTypeSystem.isSubtype(Type subT, Type superT) Determine if subT is a subtype of superT.
boolean	JLSTypeSystem.isWellFormed(Type t) Determine if the type is well-formed.
boolean	ExtendedTypeSystem.isWellFormed(Type t) Determine if the type is well-formed.
abstract boolean	TypeSystem.isWellFormed(Type t) Determine if the type is well-formed.
abstract boolean	StandardTypeSystem.isWellFormed(Type t) Determine if the type is well-formed.
Type	TypeSystem.join(Type t1, Type t2) Compute a common supertype of the given pair of types.
abstract ClassType	TypeSystem.lookupClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule) Lookup the class with the given name in the given type.
ClassType	StandardTypeSystem.lookupClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule)
abstract TypeSystem.ConstructorInvocation	TypeSystem.lookupConstructor(Type t, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the constructor corresponding the the given invocation.
TypeSystem.ConstructorInvocation	StandardTypeSystem.lookupConstructor(Type t, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the constructor corresponding the the given invocation.
abstract ClassType	TypeSystem.lookupStaticClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule) Lookup the static class with the given name.
ClassType	StandardTypeSystem.lookupStaticClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule)
abstract TypeSystem.StaticFieldReference	TypeSystem.lookupStaticField(Type t, String name, Access.Module accessModule) Lookup the static field with the given name.
TypeSystem.StaticFieldReference	StandardTypeSystem.lookupStaticField(Type t, String name, Access.Module accessModule)
abstract TypeSystem.StaticMethodInvocation	TypeSystem.lookupStaticMethod(Type t, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the static method corresponding the the given invocation.
TypeSystem.StaticMethodInvocation	StandardTypeSystem.lookupStaticMethod(Type t, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule)
Type	TypeSystem.meet(Type t1, Type t2) Compute a common supertype of the given pair of types.
String	TypeSystem.TypePrinter.print(Type t) Produce a string representing the type
abstract Type	TypeSystem.reflectionClassOf(Type t) Determine the type of the class object associated with t (for example, (informally) classOf(Integer) = Class<Integer>).
Type	StandardTypeSystem.reflectionClassOf(Type t)
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)
protected Type	StandardTypeSystem.substitute(Type t, StandardTypeSystem.SubstitutionMap sigma)
TypeSystem.TypeWrapper	TypeSystem.wrap(Type t)

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

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.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>	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>	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 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 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 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 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.
Type	JLSTypeSystem.join(Iterable<? extends Type> ts) Join implementation based on the JLS specification (15.12.2.7).
Type	ExtendedTypeSystem.join(Iterable<? extends Type> ts)
abstract Type	TypeSystem.join(Iterable<? extends Type> ts) Compute a common supertype of the given list of types.
abstract Type	StandardTypeSystem.join(Iterable<? extends Type> ts) Compute a common supertype of the given list of types.
abstract ClassType	TypeSystem.lookupClass(Expression object, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule) Lookup the class with the given name in the given object.
ClassType	StandardTypeSystem.lookupClass(Expression object, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule)
abstract ClassType	TypeSystem.lookupClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule) Lookup the class with the given name in the given type.
ClassType	StandardTypeSystem.lookupClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule)
abstract TypeSystem.ConstructorInvocation	TypeSystem.lookupConstructor(Type t, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the constructor corresponding the the given invocation.
abstract TypeSystem.ConstructorInvocation	TypeSystem.lookupConstructor(Type t, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the constructor corresponding the the given invocation.
TypeSystem.ConstructorInvocation	StandardTypeSystem.lookupConstructor(Type t, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the constructor corresponding the the given invocation.
TypeSystem.ConstructorInvocation	StandardTypeSystem.lookupConstructor(Type t, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the constructor corresponding the the given invocation.
abstract TypeSystem.ObjectMethodInvocation	TypeSystem.lookupMethod(Expression object, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the method corresponding the the given invocation.
abstract TypeSystem.ObjectMethodInvocation	TypeSystem.lookupMethod(Expression object, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the method corresponding the the given invocation.
TypeSystem.ObjectMethodInvocation	StandardTypeSystem.lookupMethod(Expression object, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule)
TypeSystem.ObjectMethodInvocation	StandardTypeSystem.lookupMethod(Expression object, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule)
abstract ClassType	TypeSystem.lookupStaticClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule) Lookup the static class with the given name.
ClassType	StandardTypeSystem.lookupStaticClass(Type t, String name, Iterable<? extends Type> typeArgs, Access.Module accessModule)
abstract TypeSystem.StaticMethodInvocation	TypeSystem.lookupStaticMethod(Type t, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the static method corresponding the the given invocation.
abstract TypeSystem.StaticMethodInvocation	TypeSystem.lookupStaticMethod(Type t, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule) Lookup the static method corresponding the the given invocation.
TypeSystem.StaticMethodInvocation	StandardTypeSystem.lookupStaticMethod(Type t, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule)
TypeSystem.StaticMethodInvocation	StandardTypeSystem.lookupStaticMethod(Type t, String name, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Option<Type> expected, Access.Module accessModule)
abstract ClassType	TypeSystem.makeClassType(DJClass c, Iterable<? extends Type> args) Create a SimpleClassType, RawClassType, or ParameterizedClassType corresponding to the given class with given type arguments.
ClassType	StandardTypeSystem.makeClassType(DJClass c, Iterable<? extends Type> args) Create a SimpleClassType, RawClassType, or ParameterizedClassType corresponding to the given class with given type arguments.
Type	JLSTypeSystem.meet(Iterable<? extends Type> ts) Simple meet implementation: construct an intersection if there are more than two.
Type	ExtendedTypeSystem.meet(Iterable<? extends Type> ts)
abstract Type	TypeSystem.meet(Iterable<? extends Type> ts) Compute a common subtype of the given list of types.
abstract Type	StandardTypeSystem.meet(Iterable<? extends Type> ts) Compute a common subtype of the given list of types.
String	TypeSystem.TypePrinter.print(Iterable<? extends Type> ts) Produce a string representing the list of types
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)
Iterable<TypeSystem.TypeWrapper>	TypeSystem.wrap(Iterable<? extends Type> ts)
Option<TypeSystem.TypeWrapper>	TypeSystem.wrap(Option<Type> t)

Constructors in edu.rice.cs.dynamicjava.symbol with parameters of type Type

BoundedSymbol(Object id, String name, Type upperBound, Type lowerBound)

BoundedSymbol(Object id, Type upperBound, Type lowerBound)

LocalVariable(String name, Type type, boolean isFinal)
Create a local variable with the given name, type, and "final" modifier.

TypeSystem.FieldReference(DJField field, Type type)

TypeSystem.MethodInvocation(DJMethod method, Type returnType, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.ObjectFieldReference(DJField field, Type type, Expression object)

TypeSystem.ObjectMethodInvocation(DJMethod method, Type returnType, Expression object, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.StaticFieldReference(DJField field, Type type)

TypeSystem.StaticMethodInvocation(DJMethod method, Type returnType, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.TypeWrapper(Type t)

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

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

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

TypeSystem.ConstructorInvocation(DJConstructor constructor, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.ConstructorInvocation(DJConstructor constructor, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.FunctionInvocation(Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.FunctionInvocation(Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.MethodInvocation(DJMethod method, Type returnType, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.MethodInvocation(DJMethod method, Type returnType, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.ObjectMethodInvocation(DJMethod method, Type returnType, Expression object, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.ObjectMethodInvocation(DJMethod method, Type returnType, Expression object, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.StaticMethodInvocation(DJMethod method, Type returnType, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

TypeSystem.StaticMethodInvocation(DJMethod method, Type returnType, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

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

Subclasses of Type in edu.rice.cs.dynamicjava.symbol.type

class	ArrayType Class ArrayType, a component of the ASTGen-generated composite hierarchy.
class	BooleanType Class BooleanType, a component of the ASTGen-generated composite hierarchy.
class	BottomType Class BottomType, a component of the ASTGen-generated composite hierarchy.
class	BoundType Class BoundType, a component of the ASTGen-generated composite hierarchy.
class	ByteType Class ByteType, a component of the ASTGen-generated composite hierarchy.
class	CharType Class CharType, a component of the ASTGen-generated composite hierarchy.
class	ClassType Class ClassType, a component of the ASTGen-generated composite hierarchy.
class	DoubleType Class DoubleType, a component of the ASTGen-generated composite hierarchy.
class	FloatingPointType Class FloatingPointType, a component of the ASTGen-generated composite hierarchy.
class	FloatType Class FloatType, a component of the ASTGen-generated composite hierarchy.
class	IntegerType Class IntegerType, a component of the ASTGen-generated composite hierarchy.
class	IntegralType Class IntegralType, a component of the ASTGen-generated composite hierarchy.
class	IntersectionType Class IntersectionType, a component of the ASTGen-generated composite hierarchy.
class	IntType Class IntType, a component of the ASTGen-generated composite hierarchy.
class	LongType Class LongType, a component of the ASTGen-generated composite hierarchy.
class	NullType Class NullType, a component of the ASTGen-generated composite hierarchy.
class	NumericType Class NumericType, a component of the ASTGen-generated composite hierarchy.
class	ParameterizedClassType Class ParameterizedClassType, a component of the ASTGen-generated composite hierarchy.
class	PrimitiveType Class PrimitiveType, a component of the ASTGen-generated composite hierarchy.
class	RawClassType Class RawClassType, a component of the ASTGen-generated composite hierarchy.
class	ReferenceType Class ReferenceType, a component of the ASTGen-generated composite hierarchy.
class	ShortType Class ShortType, a component of the ASTGen-generated composite hierarchy.
class	SimpleArrayType Class SimpleArrayType, a component of the ASTGen-generated composite hierarchy.
class	SimpleClassType Class SimpleClassType, a component of the ASTGen-generated composite hierarchy.
class	TopType Class TopType, a component of the ASTGen-generated composite hierarchy.
class	UnionType Class UnionType, a component of the ASTGen-generated composite hierarchy.
class	ValidType Class ValidType, a component of the ASTGen-generated composite hierarchy.
class	VarargArrayType Class VarargArrayType, a component of the ASTGen-generated composite hierarchy.
class	VariableType Class VariableType, a component of the ASTGen-generated composite hierarchy.
class	VoidType Class VoidType, a component of the ASTGen-generated composite hierarchy.
class	Wildcard Class Wildcard, a component of the ASTGen-generated composite hierarchy.

Methods in edu.rice.cs.dynamicjava.symbol.type that return Type

Type	TypeUpdateVisitor.forBooleanType(BooleanType that) Methods to recur on each child.
Type	TypeUpdateVisitor.forBooleanTypeOnly(BooleanType that)
Type	TypeUpdateVisitor.forBottomType(BottomType that)
Type	TypeUpdateVisitor.forBottomTypeOnly(BottomType that)
Type	TypeUpdateVisitor.forByteType(ByteType that)
Type	TypeUpdateVisitor.forByteTypeOnly(ByteType that)
Type	TypeUpdateVisitor.forCharType(CharType that)
Type	TypeUpdateVisitor.forCharTypeOnly(CharType that)
Type	TypeUpdateVisitor.forDoubleType(DoubleType that)
Type	TypeUpdateVisitor.forDoubleTypeOnly(DoubleType that)
Type	TypeUpdateVisitor.forFloatType(FloatType that)
Type	TypeUpdateVisitor.forFloatTypeOnly(FloatType that)
Type	TypeUpdateVisitor.forIntersectionType(IntersectionType that)
Type	TypeUpdateVisitor.forIntersectionTypeOnly(IntersectionType that, Iterable<? extends Type> ofTypes_result)
Type	TypeUpdateVisitor.forIntType(IntType that)
Type	TypeUpdateVisitor.forIntTypeOnly(IntType that)
Type	TypeUpdateVisitor.forLongType(LongType that)
Type	TypeUpdateVisitor.forLongTypeOnly(LongType that)
Type	TypeUpdateVisitor.forNullType(NullType that)
Type	TypeUpdateVisitor.forNullTypeOnly(NullType that)
Type	TypeUpdateVisitor.forParameterizedClassType(ParameterizedClassType that)
Type	TypeUpdateVisitor.forParameterizedClassTypeOnly(ParameterizedClassType that, Iterable<? extends Type> typeArguments_result)
Type	TypeUpdateVisitor.forRawClassType(RawClassType that)
Type	TypeUpdateVisitor.forRawClassTypeOnly(RawClassType that)
Type	TypeUpdateVisitor.forShortType(ShortType that)
Type	TypeUpdateVisitor.forShortTypeOnly(ShortType that)
Type	TypeUpdateVisitor.forSimpleArrayType(SimpleArrayType that)
Type	TypeUpdateVisitor.forSimpleArrayTypeOnly(SimpleArrayType that, Type ofType_result)
Type	TypeUpdateVisitor.forSimpleClassType(SimpleClassType that)
Type	TypeUpdateVisitor.forSimpleClassTypeOnly(SimpleClassType that)
Type	TypeUpdateVisitor.forTopType(TopType that)
Type	TypeUpdateVisitor.forTopTypeOnly(TopType that)
Type	TypeUpdateVisitor.forUnionType(UnionType that)
Type	TypeUpdateVisitor.forUnionTypeOnly(UnionType that, Iterable<? extends Type> ofTypes_result)
Type	TypeUpdateVisitor.forVarargArrayType(VarargArrayType that)
Type	TypeUpdateVisitor.forVarargArrayTypeOnly(VarargArrayType that, Type ofType_result)
Type	TypeUpdateVisitor.forVariableType(VariableType that)
Type	TypeUpdateVisitor.forVariableTypeOnly(VariableType that)
Type	TypeUpdateVisitor.forVoidType(VoidType that)
Type	TypeUpdateVisitor.forVoidTypeOnly(VoidType that)
Type	TypeUpdateVisitor.forWildcard(Wildcard that)
Type	TypeUpdateVisitor.forWildcardOnly(Wildcard that)
Type	ArrayType.ofType()
Type	TypeUpdateVisitor.recur(Type that)

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

Iterable<? extends Type>	BoundType.ofTypes()
Iterable<? extends Type>	TypeUpdateVisitor.recurOnIterableOfWildcardExtendsType(Iterable<? extends Type> that)
Iterable<? extends Type>	ParameterizedClassType.typeArguments()

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

RetType	TypeDepthFirstVisitor.defaultCase(Type that) This method is run for all cases that are not handled elsewhere.
void	TypeAbstractVisitor_void.defaultCase(Type that) This method is run for all cases that are not handled elsewhere.
RetType	TypeAbstractVisitor.defaultCase(Type that) This method is run for all cases that are not handled elsewhere.
void	TypeDepthFirstVisitor_void.defaultCase(Type that) This method is run for all cases that are not handled elsewhere.
void	TypeDepthFirstVisitor_void.defaultDoFirst(Type that) This method is run for all DoFirst cases that are not handled elsewhere.
Type	TypeUpdateVisitor.forSimpleArrayTypeOnly(SimpleArrayType that, Type ofType_result)
void	TypeAbstractVisitor_void.forType(Type that)
RetType	TypeAbstractVisitor.forType(Type that)
void	TypeDepthFirstVisitor_void.forTypeDoFirst(Type that)
RetType	TypeDepthFirstVisitor.forTypeOnly(Type that)
void	TypeDepthFirstVisitor_void.forTypeOnly(Type that)
Type	TypeUpdateVisitor.forVarargArrayTypeOnly(VarargArrayType that, Type ofType_result)
RetType	TypeDepthFirstVisitor.recur(Type that)
Type	TypeUpdateVisitor.recur(Type that)
void	TypeDepthFirstVisitor_void.recur(Type that)
void	TypeVisitorRunnable1.run(Type that)
RetType	TypeVisitorLambda.value(Type that)

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

Type	TypeUpdateVisitor.forIntersectionTypeOnly(IntersectionType that, Iterable<? extends Type> ofTypes_result)
Type	TypeUpdateVisitor.forParameterizedClassTypeOnly(ParameterizedClassType that, Iterable<? extends Type> typeArguments_result)
Type	TypeUpdateVisitor.forUnionTypeOnly(UnionType that, Iterable<? extends Type> ofTypes_result)
Iterable<RetType>	TypeDepthFirstVisitor.recurOnIterableOfWildcardExtendsType(Iterable<? extends Type> that)
Iterable<? extends Type>	TypeUpdateVisitor.recurOnIterableOfWildcardExtendsType(Iterable<? extends Type> that)
void	TypeDepthFirstVisitor_void.recurOnIterableOfWildcardExtendsType(Iterable<? extends Type> that)

Constructors in edu.rice.cs.dynamicjava.symbol.type with parameters of type Type

ArrayType(Type in_ofType)
Constructs a ArrayType.

SimpleArrayType(Type in_ofType)
Constructs a SimpleArrayType.

VarargArrayType(Type in_ofType)
Constructs a VarargArrayType.

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

BoundType(Iterable<? extends Type> in_ofTypes)
Constructs a BoundType.

IntersectionType(Iterable<? extends Type> in_ofTypes)
Constructs a IntersectionType.

ParameterizedClassType(DJClass in_ofClass, Iterable<? extends Type> in_typeArguments)
Constructs a ParameterizedClassType.

UnionType(Iterable<? extends Type> in_ofTypes)
Constructs a UnionType.

Uses of Type in koala.dynamicjava.interpreter

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

static Lambda<Node,Type>

NodeProperties.NODE_TYPE

Methods in koala.dynamicjava.interpreter that return Type

static Type	NodeProperties.getSuperType(Node n)
static Type	NodeProperties.getType(Node n)
static Type	NodeProperties.getVariableType(Node n)
static Type	NodeProperties.setSuperType(Node n, Type t)
static Type	NodeProperties.setType(Node n, Type t)
static Type	NodeProperties.setVariableType(Node n, Type t)

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

static Type	NodeProperties.setSuperType(Node n, Type t)
static Type	NodeProperties.setType(Node n, Type t)
static Type	NodeProperties.setVariableType(Node n, Type t)