Uses of Class
edu.rice.cs.dynamicjava.symbol.TypeSystem

Packages that use TypeSystem

edu.rice.cs.dynamicjava
edu.rice.cs.dynamicjava.interpreter
edu.rice.cs.dynamicjava.symbol

Uses of TypeSystem in edu.rice.cs.dynamicjava

Methods in edu.rice.cs.dynamicjava that return TypeSystem

TypeSystem

Options.typeSystem()

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

protected Thunk<? extends TypeSystem>

Options.typeSystemFactory() Provide a factory for the type system.

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

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

boolean	FunctionContext.fieldExists(String name, TypeSystem ts)
boolean	DelegatingContext.fieldExists(String name, TypeSystem ts) Test whether name is an in-scope field
boolean	ImportContext.fieldExists(String name, TypeSystem ts)
boolean	TypeContext.fieldExists(String name, TypeSystem ts) Test whether name is an in-scope field
boolean	BaseContext.fieldExists(String name, TypeSystem ts)
boolean	ClassContext.fieldExists(String name, TypeSystem ts)
boolean	LocalContext.fieldExists(String name, TypeSystem ts)
boolean	FunctionContext.functionExists(String name, TypeSystem ts)
boolean	DelegatingContext.functionExists(String name, TypeSystem ts) Test whether name is an in-scope method or local function
boolean	ImportContext.functionExists(String name, TypeSystem ts)
boolean	TypeContext.functionExists(String name, TypeSystem ts) Test whether name is an in-scope method or local function
boolean	BaseContext.functionExists(String name, TypeSystem ts)
boolean	ClassContext.functionExists(String name, TypeSystem ts)
boolean	LocalContext.functionExists(String name, TypeSystem ts)
Iterable<LocalFunction>	DelegatingContext.getLocalFunctions(String name, TypeSystem ts) List all local functions that match the given name (empty if there are none).
Iterable<LocalFunction>	TypeContext.getLocalFunctions(String name, TypeSystem ts) List all local functions that match the given name (empty if there are none)
Iterable<LocalFunction>	BaseContext.getLocalFunctions(String name, TypeSystem ts)
Iterable<LocalFunction>	FunctionContext.getLocalFunctions(String name, TypeSystem ts, Iterable<LocalFunction> partial)
Iterable<LocalFunction>	DelegatingContext.getLocalFunctions(String name, TypeSystem ts, Iterable<LocalFunction> partial)
Iterable<LocalFunction>	ImportContext.getLocalFunctions(String name, TypeSystem ts, Iterable<LocalFunction> partial)
Iterable<LocalFunction>	TypeContext.getLocalFunctions(String name, TypeSystem ts, Iterable<LocalFunction> partial) Helper for getLocalFunctions: list all matching functions, including those provided.
Iterable<LocalFunction>	BaseContext.getLocalFunctions(String name, TypeSystem ts, Iterable<LocalFunction> partial)
Iterable<LocalFunction>	ClassContext.getLocalFunctions(String name, TypeSystem ts, Iterable<LocalFunction> partial)
Iterable<LocalFunction>	LocalContext.getLocalFunctions(String name, TypeSystem ts, Iterable<LocalFunction> partial)
LocalVariable	FunctionContext.getLocalVariable(String name, TypeSystem ts)
LocalVariable	DelegatingContext.getLocalVariable(String name, TypeSystem ts) Return the variable object for the given name, or null if it does not exist.
LocalVariable	ImportContext.getLocalVariable(String name, TypeSystem ts)
LocalVariable	TypeContext.getLocalVariable(String name, TypeSystem ts) Return the variable object for the given name, or null if it does not exist.
LocalVariable	BaseContext.getLocalVariable(String name, TypeSystem ts)
LocalVariable	ClassContext.getLocalVariable(String name, TypeSystem ts)
LocalVariable	LocalContext.getLocalVariable(String name, TypeSystem ts)
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)
DJClass	DelegatingContext.getTopLevelClass(String name, TypeSystem ts) Return the top-level class with the given name, or null if it does not exist.
DJClass	ImportContext.getTopLevelClass(String name, TypeSystem ts)
DJClass	TypeContext.getTopLevelClass(String name, TypeSystem ts) Return the top-level class with the given name, or null if it does not exist.
DJClass	BaseContext.getTopLevelClass(String name, TypeSystem ts)
DJClass	FunctionSignatureContext.getTopLevelClass(String name, TypeSystem ts)
DJClass	ClassSignatureContext.getTopLevelClass(String name, TypeSystem ts) Return the top-level class with the given name, or null if it does not exist.
DJClass	ClassContext.getTopLevelClass(String name, TypeSystem ts)
DJClass	LibraryContext.getTopLevelClass(String name, TypeSystem ts)
DJClass	LocalContext.getTopLevelClass(String name, TypeSystem ts)
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)
boolean	FunctionContext.localFunctionExists(String name, TypeSystem ts)
boolean	DelegatingContext.localFunctionExists(String name, TypeSystem ts) Test whether name is an in-scope local function
boolean	ImportContext.localFunctionExists(String name, TypeSystem ts)
boolean	TypeContext.localFunctionExists(String name, TypeSystem ts) Test whether name is an in-scope local function
boolean	BaseContext.localFunctionExists(String name, TypeSystem ts)
boolean	ClassContext.localFunctionExists(String name, TypeSystem ts)
boolean	LocalContext.localFunctionExists(String name, TypeSystem ts)
boolean	FunctionContext.localVariableExists(String name, TypeSystem ts)
boolean	DelegatingContext.localVariableExists(String name, TypeSystem ts) Test whether name is an in-scope local variable
boolean	ImportContext.localVariableExists(String name, TypeSystem ts)
boolean	TypeContext.localVariableExists(String name, TypeSystem ts) Test whether name is an in-scope local variable
boolean	BaseContext.localVariableExists(String name, TypeSystem ts)
boolean	ClassContext.localVariableExists(String name, TypeSystem ts)
boolean	LocalContext.localVariableExists(String name, TypeSystem ts)
boolean	DelegatingContext.memberClassExists(String name, TypeSystem ts) Test whether name is an in-scope member class
boolean	ImportContext.memberClassExists(String name, TypeSystem ts)
boolean	TypeContext.memberClassExists(String name, TypeSystem ts) Test whether name is an in-scope member class
boolean	BaseContext.memberClassExists(String name, TypeSystem ts)
boolean	FunctionSignatureContext.memberClassExists(String name, TypeSystem ts)
boolean	ClassSignatureContext.memberClassExists(String name, TypeSystem ts) Test whether name is an in-scope member class
boolean	ClassContext.memberClassExists(String name, TypeSystem ts)
boolean	LibraryContext.memberClassExists(String name, TypeSystem ts)
boolean	LocalContext.memberClassExists(String name, TypeSystem ts)
boolean	FunctionContext.methodExists(String name, TypeSystem ts)
boolean	DelegatingContext.methodExists(String name, TypeSystem ts) Test whether name is an in-scope method
boolean	ImportContext.methodExists(String name, TypeSystem ts)
boolean	TypeContext.methodExists(String name, TypeSystem ts) Test whether name is an in-scope method
boolean	BaseContext.methodExists(String name, TypeSystem ts)
boolean	ClassContext.methodExists(String name, TypeSystem ts)
boolean	LocalContext.methodExists(String name, TypeSystem ts)
boolean	DelegatingContext.topLevelClassExists(String name, TypeSystem ts) Test whether name is an in-scope top-level class
boolean	ImportContext.topLevelClassExists(String name, TypeSystem ts)
boolean	TypeContext.topLevelClassExists(String name, TypeSystem ts) Test whether name is an in-scope top-level class
boolean	BaseContext.topLevelClassExists(String name, TypeSystem ts)
boolean	FunctionSignatureContext.topLevelClassExists(String name, TypeSystem ts)
boolean	ClassSignatureContext.topLevelClassExists(String name, TypeSystem ts) Test whether name is an in-scope top-level class
boolean	ClassContext.topLevelClassExists(String name, TypeSystem ts)
boolean	LibraryContext.topLevelClassExists(String name, TypeSystem ts)
boolean	LocalContext.topLevelClassExists(String name, TypeSystem ts)
ClassType	FunctionContext.typeContainingField(String name, TypeSystem ts)
ClassType	DelegatingContext.typeContainingField(String name, TypeSystem ts) Return the most inner type containing a field with the given name, or null if there is no such type.
ClassType	ImportContext.typeContainingField(String name, TypeSystem ts)
ClassType	TypeContext.typeContainingField(String name, TypeSystem ts) Return the most inner type containing a field with the given name, or null if there is no such type.
ClassType	BaseContext.typeContainingField(String name, TypeSystem ts)
ClassType	ClassContext.typeContainingField(String name, TypeSystem ts)
ClassType	LocalContext.typeContainingField(String name, TypeSystem ts)
ClassType	DelegatingContext.typeContainingMemberClass(String name, TypeSystem ts) Return the most inner type containing a class with the given name, or null if there is no such type.
ClassType	ImportContext.typeContainingMemberClass(String name, TypeSystem ts)
ClassType	TypeContext.typeContainingMemberClass(String name, TypeSystem ts) Return the most inner type containing a class with the given name, or null if there is no such type.
ClassType	BaseContext.typeContainingMemberClass(String name, TypeSystem ts)
ClassType	FunctionSignatureContext.typeContainingMemberClass(String name, TypeSystem ts)
ClassType	ClassSignatureContext.typeContainingMemberClass(String name, TypeSystem ts) Return the most inner type containing a class with the given name, or null if there is no such type.
ClassType	ClassContext.typeContainingMemberClass(String name, TypeSystem ts)
ClassType	LibraryContext.typeContainingMemberClass(String name, TypeSystem ts)
ClassType	LocalContext.typeContainingMemberClass(String name, TypeSystem ts)
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)
boolean	DelegatingContext.typeExists(String name, TypeSystem ts) Test whether name is an in-scope top-level class, member class, or type variable
boolean	ImportContext.typeExists(String name, TypeSystem ts)
boolean	TypeContext.typeExists(String name, TypeSystem ts) Test whether name is an in-scope top-level class, member class, or type variable
boolean	BaseContext.typeExists(String name, TypeSystem ts)
boolean	FunctionSignatureContext.typeExists(String name, TypeSystem ts)
boolean	ClassSignatureContext.typeExists(String name, TypeSystem ts) Test whether name is an in-scope top-level class, member class, or type variable
boolean	ClassContext.typeExists(String name, TypeSystem ts)
boolean	LibraryContext.typeExists(String name, TypeSystem ts)
boolean	LocalContext.typeExists(String name, TypeSystem ts)
boolean	DelegatingContext.typeVariableExists(String name, TypeSystem ts) Test whether name is an in-scope type variable.
boolean	TypeContext.typeVariableExists(String name, TypeSystem ts) Test whether name is an in-scope type variable.
boolean	BaseContext.typeVariableExists(String name, TypeSystem ts)
boolean	FunctionSignatureContext.typeVariableExists(String name, TypeSystem ts)
boolean	ClassSignatureContext.typeVariableExists(String name, TypeSystem ts) Test whether name is an in-scope type variable.
boolean	ClassContext.typeVariableExists(String name, TypeSystem ts)
boolean	LibraryContext.typeVariableExists(String name, TypeSystem ts)
boolean	LocalContext.typeVariableExists(String name, TypeSystem ts)
boolean	FunctionContext.variableExists(String name, TypeSystem ts)
boolean	DelegatingContext.variableExists(String name, TypeSystem ts) Test whether name is an in-scope field or local variable
boolean	ImportContext.variableExists(String name, TypeSystem ts)
boolean	TypeContext.variableExists(String name, TypeSystem ts) Test whether name is an in-scope field or local variable
boolean	BaseContext.variableExists(String name, TypeSystem ts)
boolean	ClassContext.variableExists(String name, TypeSystem ts)
boolean	LocalContext.variableExists(String name, TypeSystem ts)

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

Subclasses of TypeSystem in edu.rice.cs.dynamicjava.symbol

class	ExtendedTypeSystem
class	JLSTypeSystem
class	StandardTypeSystem Abstract parent class for TypeSystems that stick to the standard Java notions of types, conversions, class members, etc.

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

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.

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

GetClassMethod(ClassType t, TypeSystem ts)