Uses of Interface
edu.rice.cs.dynamicjava.interpreter.TypeContext

Packages that use TypeContext

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

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

Classes in edu.rice.cs.dynamicjava.interpreter that implement TypeContext

class	BaseContext A non-delegating context to place and the top of a delegation chain.
class	ClassContext The context of a class body, including all members of the class (both declared and inherited).
class	ClassSignatureContext The context of a class declaration's signature, which includes its type variables and own name but excludes its members.
class	DelegatingContext An abstract context that delegates to an enclosing context by default.
class	FunctionContext The context of a function's (method, constructor, or local function) body, introducing the function's parameters.
class	FunctionSignatureContext The context of a class declaration's signature, which includes its type variables and own name.
class	ImportContext The context at the top level of a source file or local block.
class	InitializerContext The body of an initializer.
class	LibraryContext A context that can access top-level classes from a Library.
class	LocalContext The context following a local class, variable, or function definition.
class	TryBlockContext A block in which additional exception types are allowed to be thrown.

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

TypeContext	StatementChecker.checkList(Iterable<? extends Node> l)
protected abstract TypeContext	DelegatingContext.duplicate(TypeContext next) Create a copy of this context with the given context enclosing it.
protected TypeContext	ImportContext.duplicate(TypeContext next)
protected TypeContext	LibraryContext.duplicate(TypeContext next)
TypeContext	DelegatingContext.importField(DJClass c, String name) Import the field(s) of c with the given name
TypeContext	ImportContext.importField(DJClass c, String name) Import the field(s) of c with the given name
TypeContext	TypeContext.importField(DJClass c, String name) Import the field(s) of c with the given name
TypeContext	BaseContext.importField(DJClass c, String name)
TypeContext	DelegatingContext.importMemberClass(DJClass outer, String name) Import the member class(es) of outer with the given name
TypeContext	ImportContext.importMemberClass(DJClass outer, String name) Import the member class(es) of outer with the given name
TypeContext	TypeContext.importMemberClass(DJClass outer, String name) Import the member class(es) of outer with the given name
TypeContext	BaseContext.importMemberClass(DJClass outer, String name)
TypeContext	DelegatingContext.importMemberClasses(DJClass outer) Import on demand all member classes of the given class
TypeContext	ImportContext.importMemberClasses(DJClass outer) Import on demand all member classes of the given class
TypeContext	TypeContext.importMemberClasses(DJClass outer) Import on demand all member classes of the given class
TypeContext	BaseContext.importMemberClasses(DJClass outer)
TypeContext	DelegatingContext.importMethod(DJClass c, String name) Import the method(s) of c with the given name
TypeContext	ImportContext.importMethod(DJClass c, String name) Import the method(s) of c with the given name
TypeContext	TypeContext.importMethod(DJClass c, String name) Import the method(s) of c with the given name
TypeContext	BaseContext.importMethod(DJClass c, String name)
TypeContext	DelegatingContext.importStaticMembers(DJClass c) Import on demand all static members of the given class
TypeContext	ImportContext.importStaticMembers(DJClass c) Import on demand all static members of the given class
TypeContext	TypeContext.importStaticMembers(DJClass c) Import on demand all static members of the given class
TypeContext	BaseContext.importStaticMembers(DJClass c)
TypeContext	DelegatingContext.importTopLevelClass(DJClass c) Import the given top-level class
TypeContext	ImportContext.importTopLevelClass(DJClass c) Import the given top-level class
TypeContext	TypeContext.importTopLevelClass(DJClass c) Import the given top-level class
TypeContext	BaseContext.importTopLevelClass(DJClass c)
TypeContext	DelegatingContext.importTopLevelClasses(String pkg) Import on demand all top-level classes in the given package
TypeContext	ImportContext.importTopLevelClasses(String pkg) Import on demand all top-level classes in the given package
TypeContext	TypeContext.importTopLevelClasses(String pkg) Import on demand all top-level classes in the given package
TypeContext	BaseContext.importTopLevelClasses(String pkg)
TypeContext	DelegatingContext.setPackage(String name) Set the current package to the given package name
TypeContext	ImportContext.setPackage(String name) Set the current package to the given package name
TypeContext	TypeContext.setPackage(String name) Set the current package to the given package name
TypeContext	BaseContext.setPackage(String name)
TypeContext	StatementChecker.value(Node n)
TypeContext	StatementChecker.visit(AssertStatement node) Visits an AssertStatement.
TypeContext	StatementChecker.visit(BlockStatement node) Visits a BlockStatement
TypeContext	StatementChecker.visit(BreakStatement node)
TypeContext	StatementChecker.visit(ClassDeclaration node)
TypeContext	StatementChecker.visit(ContinueStatement node)
TypeContext	StatementChecker.visit(DoStatement node) Visits a DoStatement.
TypeContext	StatementChecker.visit(EmptyStatement node)
TypeContext	StatementChecker.visit(ExpressionStatement node)
TypeContext	StatementChecker.visit(ForEachStatement node) Visits a ForEachStatement.
TypeContext	StatementChecker.visit(ForStatement node) Visits a ForStatement.
TypeContext	StatementChecker.visit(IfThenElseStatement node) Visits an IfThenElseStatement.
TypeContext	StatementChecker.visit(IfThenStatement node) Visits an IfThenStatement.
TypeContext	StatementChecker.visit(ImportDeclaration node) Creates a new context with the given import
TypeContext	StatementChecker.visit(InterfaceDeclaration node)
TypeContext	StatementChecker.visit(LabeledStatement node) Visits a LabeledStatement.
TypeContext	StatementChecker.visit(MethodDeclaration node) Visits a MethodDeclaration.
TypeContext	StatementChecker.visit(PackageDeclaration node) Creates a new context in the given package
TypeContext	StatementChecker.visit(ReturnStatement node) Visits a ReturnStatement
TypeContext	StatementChecker.visit(SwitchBlock node) Visits a SwitchBlock.
TypeContext	StatementChecker.visit(SwitchStatement node) Visits a SwitchStatement.
TypeContext	StatementChecker.visit(SynchronizedStatement node) Visits a SynchronizedStatement.
TypeContext	StatementChecker.visit(ThrowStatement node) Visits a ThrowStatement.
TypeContext	StatementChecker.visit(TryStatement node) Visits a TryStatement.
TypeContext	StatementChecker.visit(VariableDeclaration node) Checks the declaration's initializer and creates a new context
TypeContext	StatementChecker.visit(WhileStatement node) Visits a WhileStatement.

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

protected FunctionContext	FunctionContext.duplicate(TypeContext next)
protected abstract TypeContext	DelegatingContext.duplicate(TypeContext next) Create a copy of this context with the given context enclosing it.
protected InitializerContext	InitializerContext.duplicate(TypeContext next)
protected TypeContext	ImportContext.duplicate(TypeContext next)
protected FunctionSignatureContext	FunctionSignatureContext.duplicate(TypeContext next)
protected ClassSignatureContext	ClassSignatureContext.duplicate(TypeContext next)
protected ClassContext	ClassContext.duplicate(TypeContext next)
protected TypeContext	LibraryContext.duplicate(TypeContext next)
protected TryBlockContext	TryBlockContext.duplicate(TypeContext next)
protected LocalContext	LocalContext.duplicate(TypeContext next)

Constructors in edu.rice.cs.dynamicjava.interpreter with parameters of type TypeContext

ClassChecker(DJClass c, ClassLoader loader, TypeContext context, Options opt)

ClassContext(TypeContext next, DJClass c)

ClassSignatureContext(TypeContext next, DJClass c, ClassLoader loader)

DelegatingContext(TypeContext next)

ExpressionChecker(TypeContext ctx, Options options)

FunctionContext(TypeContext next, Function f)

FunctionSignatureContext(TypeContext next, Function f)

ImportContext(TypeContext next, Options opt)
Make a top-level context that delegates to the given context.

InitializerContext(TypeContext next, boolean isStatic, DJClass c)

Interpreter(Options opt, TypeContext typeContext, RuntimeBindings bindings)

LibraryContext(TypeContext next, Library lib)
Create a LibraryContext that delegates to the given context (typically another LibraryContext).

LocalContext(TypeContext next, ClassLoader loader, DJClass c)

LocalContext(TypeContext next, ClassLoader loader, Iterable<DJClass> classes, Iterable<LocalVariable> vars, Iterable<LocalFunction> functions)

LocalContext(TypeContext next, Iterable<LocalVariable> vars)

LocalContext(TypeContext next, LocalFunction f)

LocalContext(TypeContext next, LocalVariable var)

StatementChecker(TypeContext ctx, Options options)

TryBlockContext(TypeContext next, Iterable<Type> caughtTypes)

TypeNameChecker(TypeContext ctx, Options options)

Uses of TypeContext in edu.rice.cs.dynamicjava.sourcechecker

Constructors in edu.rice.cs.dynamicjava.sourcechecker with parameters of type TypeContext

CompilationUnitChecker(TypeContext context, Options opt)

Uses of TypeContext in koala.dynamicjava.interpreter

Methods in koala.dynamicjava.interpreter that return TypeContext

static TypeContext	NodeProperties.getErrorContext(Node n)
static TypeContext	NodeProperties.setErrorContext(Node n, TypeContext c)

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

static TypeContext

NodeProperties.setErrorContext(Node n, TypeContext c)