|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
c, ordered outermost to innermost.
AmbiguousFieldException with no detail message.
AmbiguousFieldException with the specified
detail message.
BreakException with the
specified detail message.
BreakException with the
specified detail message and label.
t.
t; verify that it is well-formed.
TypeNameChecker.check(koala.dynamicjava.tree.TypeName) on each element of a list.
t; verify that it is structurally well-formed, but
delay full well-formedness checking until a later TypeNameChecker.ensureWellFormed(koala.dynamicjava.tree.TypeName) call.
TypeNameChecker.checkStructure(koala.dynamicjava.tree.TypeName) on each element of a list.
ContinueException with the
specified detail message.
ContinueException with the
specified detail message and label.
null if this is declared at a top-level or local scope
null if this is declared at a top-level or local scope
null if this is declared at a top-level or local scope
inner is non-statically nested within outer.
t.
c.
TypeSystem.isWellFormed(edu.rice.cs.dynamicjava.symbol.type.Type)).
TypeNameChecker.ensureWellFormed(koala.dynamicjava.tree.TypeName) on each element of a list.
TypeNameChecker.checkStructureForTypeParameters(java.lang.Iterable) has
already been invoked) are well-formed.
TypeSystem.isEqual(edu.rice.cs.dynamicjava.symbol.type.Type, edu.rice.cs.dynamicjava.symbol.type.Type).
t.
t.
t, or null if no such class object
exists.
t.
this or super constructor call at the given index.
cause so that the calling context shared between
cause and the method calling this constructor is eliminated.
ExecutionError with the specified
detail message, filename, line and column.
name is an in-scope field
name is an in-scope field
Class.getName())
Class.getName())
Class.getName())
Class.getName())
name is an in-scope method or local function
name is an in-scope method or local function
ModifierSet.getFlags().
null if it's not set
"(no file)".
null if it does not exist.
null if it does not exist.
return statement in the given context, or null
if return statements should not appear here.
return statement in the given context, or null
if return statements should not appear here.
return statement in the given context, or null
if return statements should not appear here.
return statement in the given context, or null
if return statements should not appear here.
this in the current context, or null
if there is no such value (for example, in a static context).
className.this in the current context, or null
if there is no such value (for example, in a static context).
this in the current context, or null
if there is no such value (for example, in a static context).
className.this in the current context, or null
if there is no such value (for example, in a static context).
this in the current context, or null
if there is no such value (for example, in a static context).
className.this in the current context, or null
if there is no such value (for example, in a static context).
this in the current context, or null
if there is no such value (for example, in a static context).
className.this in the current context, or null
if there is no such value (for example, in a static context).
null if there is no such value (for example, in a static context).
null if it does not exist.
null if it does not exist.
null if it does not exist.
null if it does not exist.
null if it does not exist.
null if it does not exist.
super in the context of this class, or
null if super is not defined
super in the context of this class, or
null if super is not defined
c with the given name
c with the given name
c with the given name
outer with the given name
outer with the given name
outer with the given name
c with the given name
c with the given name
c with the given name
null otherwise.
t is an array.
t is an array.
StandardTypeSystem.assign(edu.rice.cs.dynamicjava.symbol.type.Type, koala.dynamicjava.tree.Expression) would succeed given a non-constant expression of the given type
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
TypeSystem.assign(edu.rice.cs.dynamicjava.symbol.type.Type, koala.dynamicjava.tree.Expression) would succeed given a non-constant expression of the given type
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
t (ignoring
constructor-accessibility issues).
t (ignoring
constructor-accessibility issues).
t is enumerable (and so can be used as the selector of a
switch statement)
t is enumerable (and so can be used as the selector of a
switch statement)
t is valid in the extends clause of a class definition
t is valid in the extends clause of a class definition
t is valid in the implements clause of a class definition
t is valid in the implements clause of a class definition
t is a primitive.
t is a primitive.
TypeSystem.makePrimitive(koala.dynamicjava.tree.Expression) would succeed given an expression of the given type
t is a reference.
t is a reference.
TypeSystem.makeReference(koala.dynamicjava.tree.Expression) would succeed given an expression of the given type
Class object)
Class object)
subT is a subtype of superT.
subT is a subtype of superT.
subT is a subtype of superT.
subT is a subtype of superT.
Library.LibraryFinder are used to locate
files with given suffixes.ClassLoader.loadClass(java.lang.String),
repeated invocations should produce the same object).
ClassLoader.loadClass(java.lang.String),
repeated invocations should produce the same object).
ClassLoader.loadClass(java.lang.String),
repeated invocations should produce the same object).
name is an in-scope local function
name is an in-scope local function
name is an in-scope local variable
name is an in-scope local variable
this.
SimpleClassType or RawClassType corresponding to the given class.
SimpleClassType, RawClassType, or ParameterizedClassType
corresponding to the given class with given type arguments.
SimpleClassType or RawClassType corresponding to the given class.
SimpleClassType, RawClassType, or ParameterizedClassType
corresponding to the given class with given type arguments.
name is an in-scope member class
name is an in-scope member class
name is an in-scope member class
name is an in-scope method
name is an in-scope method
Options.DEFAULT; for custom options, create a subclass.
outerClassChain().
ExecutionError with the specified
detail message.
PossiblexecutionError with the specified
detail message, tree node, and refereence type.
classOf(Integer) = Class<Integer>).
StatementChecker
without any errors.this within the body of c
name is an in-scope top-level class
name is an in-scope top-level class
name is an in-scope top-level class
BooleanType.output(java.io.Writer) to generate a nicely tabbed tree.
BottomType.output(java.io.Writer) to generate a nicely tabbed tree.
ByteType.output(java.io.Writer) to generate a nicely tabbed tree.
CharType.output(java.io.Writer) to generate a nicely tabbed tree.
DoubleType.output(java.io.Writer) to generate a nicely tabbed tree.
FloatType.output(java.io.Writer) to generate a nicely tabbed tree.
IntersectionType.output(java.io.Writer) to generate a nicely tabbed tree.
IntType.output(java.io.Writer) to generate a nicely tabbed tree.
LongType.output(java.io.Writer) to generate a nicely tabbed tree.
NullType.output(java.io.Writer) to generate a nicely tabbed tree.
ParameterizedClassType.output(java.io.Writer) to generate a nicely tabbed tree.
RawClassType.output(java.io.Writer) to generate a nicely tabbed tree.
ShortType.output(java.io.Writer) to generate a nicely tabbed tree.
SimpleArrayType.output(java.io.Writer) to generate a nicely tabbed tree.
SimpleClassType.output(java.io.Writer) to generate a nicely tabbed tree.
TopType.output(java.io.Writer) to generate a nicely tabbed tree.
UnionType.output(java.io.Writer) to generate a nicely tabbed tree.
VarargArrayType.output(java.io.Writer) to generate a nicely tabbed tree.
VariableType.output(java.io.Writer) to generate a nicely tabbed tree.
VoidType.output(java.io.Writer) to generate a nicely tabbed tree.
Wildcard.output(java.io.Writer) to generate a nicely tabbed tree.
#userRepresentation.
null
if there is no such type.
null
if there is no such type.
null
if there is no such type.
null
if there is no such type.
null
if there is no such type.
null
if there is no such type.
null
if there is no such type.
name is an in-scope top-level class, member class, or type variable
name is an in-scope top-level class, member class, or type variable
name is an in-scope top-level class, member class, or type variable
Class object representing a primitive type to the corresponding
Type.
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).name is an in-scope type variable.
name is an in-scope type variable.
name is an in-scope type variable.
value.toString() as it's message.
value.toString().
name is an in-scope field or local variable
name is an in-scope field or local variable
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||