|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectpolyglot.ext.jl.types.TypeObject_c
polyglot.ext.jl.types.Type_c
polyglot.ext.jl.types.ReferenceType_c
public abstract class ReferenceType_c
A ReferenceType represents a reference type --
a type on which contains methods and fields and is a subtype of
Object.
| Field Summary |
|---|
| Fields inherited from class polyglot.ext.jl.types.TypeObject_c |
|---|
position, ts |
| Constructor Summary | |
|---|---|
protected |
ReferenceType_c()
|
|
ReferenceType_c(TypeSystem ts)
|
|
ReferenceType_c(TypeSystem ts,
Position pos)
|
| Method Summary | |
|---|---|
boolean |
descendsFromImpl(Type ancestor)
Return true if this type descends from ancestor. |
abstract java.util.List |
fields()
Returns a list of FieldInstances for all the fields declared in this. |
boolean |
hasMethod(MethodInstance mi)
Return true if t has a method mi |
boolean |
hasMethodImpl(MethodInstance mi)
Return true if t has a method mi |
abstract java.util.List |
interfaces()
Returns a list of the types of this class's interfaces. |
boolean |
isCastValidImpl(Type toType)
Requires: all type arguments are canonical. |
boolean |
isImplicitCastValidImpl(Type toType)
Return true if a value of this type can be assigned to a variable of type toType. |
boolean |
isReference()
Return true if a reference type. |
abstract java.util.List |
methods()
Returns a list of MethodInstances for all the methods declared in this. |
java.util.List |
methods(java.lang.String name,
java.util.List argTypes)
Return the methods named name with the given formal
parameter types, if any. |
java.util.List |
methodsNamed(java.lang.String name)
Return the methods named name, if any. |
abstract Type |
superType()
Returns the supertype of this class. |
ReferenceType |
toReference()
Returns a non-null iff isReference() returns true. |
| Methods inherited from class polyglot.ext.jl.types.Type_c |
|---|
arrayOf, arrayOf, descendsFrom, isArray, isBoolean, isByte, isCanonical, isCastValid, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPackage, isPrimitive, isShort, isSubtype, isSubtypeImpl, isThrowable, isType, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toClass, toNull, toPackage, toPrimitive, toString, toType, translate |
| Methods inherited from class polyglot.ext.jl.types.TypeObject_c |
|---|
copy, equals, equalsImpl, hashCode, position, typeSystem |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface polyglot.types.ReferenceType |
|---|
fieldNamed |
| Methods inherited from interface polyglot.types.Type |
|---|
arrayOf, arrayOf, descendsFrom, isArray, isBoolean, isByte, isCastValid, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isShort, isSubtype, isSubtypeImpl, isThrowable, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toClass, toNull, toPrimitive, toString, translate |
| Methods inherited from interface polyglot.types.Qualifier |
|---|
isPackage, isType, toPackage, toType |
| Methods inherited from interface polyglot.types.TypeObject |
|---|
equalsImpl, isCanonical, position, typeSystem |
| Methods inherited from interface polyglot.util.Copy |
|---|
copy |
| Constructor Detail |
|---|
protected ReferenceType_c()
public ReferenceType_c(TypeSystem ts)
public ReferenceType_c(TypeSystem ts,
Position pos)
| Method Detail |
|---|
public boolean isReference()
Type
isReference in interface TypeisReference in class Type_cpublic ReferenceType toReference()
Type_c
toReference in interface TypetoReference in class Type_cpublic abstract java.util.List methods()
methods in interface ReferenceTypeMethodInstance.MethodInstancepublic abstract java.util.List fields()
fields in interface ReferenceTypeFieldInstance.FieldInstancepublic abstract Type superType()
superType in interface ReferenceTypepublic abstract java.util.List interfaces()
interfaces in interface ReferenceTypeType.Typepublic final boolean hasMethod(MethodInstance mi)
hasMethod in interface ReferenceTypepublic boolean hasMethodImpl(MethodInstance mi)
hasMethodImpl in interface ReferenceTypepublic boolean descendsFromImpl(Type ancestor)
Type_cancestor.
descendsFromImpl in interface TypedescendsFromImpl in class Type_cpublic boolean isImplicitCastValidImpl(Type toType)
Type_ctoType.
isImplicitCastValidImpl in interface TypeisImplicitCastValidImpl in class Type_cpublic java.util.List methodsNamed(java.lang.String name)
ReferenceTypename, if any.
methodsNamed in interface ReferenceTypename - Name of the method to search for.
MethodInstance.MethodInstance
public java.util.List methods(java.lang.String name,
java.util.List argTypes)
ReferenceTypename with the given formal
parameter types, if any.
methods in interface ReferenceTypename - Name of the method to search for.argTypes - A list of Type.
MethodInstance.Type,
MethodInstancepublic boolean isCastValidImpl(Type toType)
isCastValidImpl in interface TypeisCastValidImpl in class Type_c
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||