|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.rice.cs.dynamicjava.symbol | |
|---|---|
| edu.rice.cs.dynamicjava | |
| 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. |
| Classes in edu.rice.cs.dynamicjava.symbol used by edu.rice.cs.dynamicjava | |
|---|---|
| TypeSystem
A type system allows for variance in the typing rules of the system, while maintaining a standard type checker. |
|
| Classes in edu.rice.cs.dynamicjava.symbol used by edu.rice.cs.dynamicjava.interpreter | |
|---|---|
| Access.Module
An enclosing context (typically a top-level class) used as a basis for accessibility checks. |
|
| DJClass
Represents a class declaration. |
|
| DJField
Represents a field declaration. |
|
| Function
Represents a function -- a method, constructor, or local function. |
|
| Library
A collection of class and interface declarations. |
|
| LocalFunction
Represents a local function declaration. |
|
| LocalVariable
Represents a local variable declaration. |
|
| TreeClass
A DJClass wrapper for a parsed class or interface declaration. |
|
| TypeSystem
A type system allows for variance in the typing rules of the system, while maintaining a standard type checker. |
|
| Classes in edu.rice.cs.dynamicjava.symbol used by edu.rice.cs.dynamicjava.symbol | |
|---|---|
| Access
An access specifier. |
|
| Access.Limited
A symbol that is given an accessibility level. |
|
| Access.Module
An enclosing context (typically a top-level class) used as a basis for accessibility checks. |
|
| ArrayLengthField
Provides a DJField interface for accessing an array's implicit "length" field. |
|
| DJClass
Represents a class declaration. |
|
| DJConstructor
Represents a constructor declaration. |
|
| DJField
Represents a field declaration. |
|
| DJMethod
Represents a method declaration. |
|
| Function
Represents a function -- a method, constructor, or local function. |
|
| JavaClass
DJClass implementation that wraps a Java reflection Class object. |
|
| Library
A collection of class and interface declarations. |
|
| LocalFunction
Represents a local function declaration. |
|
| LocalVariable
Represents a local variable declaration. |
|
| SpecialMethod
Abstract parent for special implicit methods. |
|
| StandardTypeSystem
Abstract parent class for TypeSystems that stick to the standard Java notions of types, conversions, class members, etc. |
|
| StandardTypeSystem.SubstitutionMap
|
|
| TypeSystem
A type system allows for variance in the typing rules of the system, while maintaining a standard type checker. |
|
| TypeSystem.ConstructorInvocation
The result of a constructor lookup |
|
| TypeSystem.FieldReference
Abstraction of the result of a static or non-static field lookup |
|
| TypeSystem.FunctionInvocation
Abstraction of the result of a method or constructor lookup |
|
| TypeSystem.InvalidTypeArgumentException
|
|
| TypeSystem.MethodInvocation
Abstraction of the result of a static or non-static method lookup |
|
| TypeSystem.ObjectFieldReference
The result of a non-static field lookup |
|
| TypeSystem.ObjectMethodInvocation
The result of a non-static method lookup |
|
| TypeSystem.StaticFieldReference
The result of a static field lookup |
|
| TypeSystem.StaticMethodInvocation
The result of a static method lookup |
|
| TypeSystem.TypePrinter
|
|
| TypeSystem.TypeSystemException
|
|
| TypeSystem.TypeWrapper
A wrapper for types that provides an alternate toString() and equals() implementation:
toString() is defined in terms of #userRepresentation; equals() is defined
in terms of TypeSystem.isEqual(edu.rice.cs.dynamicjava.symbol.type.Type, edu.rice.cs.dynamicjava.symbol.type.Type). |
|
| TypeSystem.UnmatchedLookupException
|
|
| TypeSystem.UnsupportedConversionException
|
|
| Variable
|
|
| Classes in edu.rice.cs.dynamicjava.symbol used by edu.rice.cs.dynamicjava.symbol.type | |
|---|---|
| BoundedSymbol
Represents a type variable or wildcard. |
|
| DJClass
Represents a class declaration. |
|
| Classes in edu.rice.cs.dynamicjava.symbol used by koala.dynamicjava.interpreter | |
|---|---|
| DJClass
Represents a class declaration. |
|
| DJConstructor
Represents a constructor declaration. |
|
| DJField
Represents a field declaration. |
|
| DJMethod
Represents a method declaration. |
|
| LocalVariable
Represents a local variable declaration. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||