polyglot.ext.coffer.types
Class CofferSubstClassType_c

java.lang.Object
  polyglot.ext.jl.types.TypeObject_c
      polyglot.ext.jl.types.Type_c
          polyglot.ext.jl.types.ReferenceType_c
              polyglot.ext.jl.types.ClassType_c
                  polyglot.ext.param.types.SubstClassType_c
                      polyglot.ext.coffer.types.CofferSubstClassType_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, CofferClassType, CofferSubstType, InstType, SubstType, ClassType, Importable, MemberInstance, Named, Qualifier, ReferenceType, Type, TypeObject, Copy

public class CofferSubstClassType_c
extends SubstClassType_c
implements CofferSubstType

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.types.ClassType

ClassType.Kind

Field Summary

Fields inherited from class polyglot.ext.param.types.SubstClassType_c

base, subst

Fields inherited from class polyglot.ext.jl.types.TypeObject_c

position, ts

Fields inherited from interface polyglot.types.ClassType

ANONYMOUS, LOCAL, MEMBER, TOP_LEVEL

Constructor Summary

CofferSubstClassType_c(CofferTypeSystem ts, Position pos, ClassType base, CofferSubst subst)

Method Summary

java.util.List	actuals()
PClass	instantiatedFrom()
Key	key()
java.lang.String	toString() Yields a string representing this type.

Methods inherited from class polyglot.ext.param.types.SubstClassType_c

base, constructors, entries, equalsImpl, fields, flags, fullName, hashCode, inStaticContext, interfaces, kind, memberClasses, methods, name, outer, package_, subst, superType, translate

Methods inherited from class polyglot.ext.jl.types.ClassType_c

container, descendsFromImpl, fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, isAnonymous, isCanonical, isCastValidImpl, isClass, isEnclosed, isEnclosedImpl, isImplicitCastValidImpl, isInner, isInnerClass, isLocal, isMember, isNested, isThrowable, isTopLevel, isUncheckedException, memberClassNamed, toClass

Methods inherited from class polyglot.ext.jl.types.ReferenceType_c

hasMethod, hasMethodImpl, isReference, methods, methodsNamed, toReference

Methods inherited from class polyglot.ext.jl.types.Type_c

arrayOf, arrayOf, descendsFrom, isArray, isBoolean, isByte, isCastValid, isChar, isComparable, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPackage, isPrimitive, isShort, isSubtype, isSubtypeImpl, isType, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toNull, toPackage, toPrimitive, toType

Methods inherited from class polyglot.ext.jl.types.TypeObject_c

copy, equals, position, typeSystem

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.types.ClassType

constructors, fieldNamed, hasEnclosingInstance, hasEnclosingInstanceImpl, inStaticContext, isAnonymous, isEnclosed, isEnclosedImpl, isInner, isInnerClass, isLocal, isMember, isNested, isTopLevel, kind, memberClasses, memberClassNamed, outer

Methods inherited from interface polyglot.types.Importable

package_

Methods inherited from interface polyglot.types.Named

fullName, name

Methods inherited from interface polyglot.types.ReferenceType

fields, hasMethod, hasMethodImpl, interfaces, methods, methods, methodsNamed, superType

Methods inherited from interface polyglot.types.Type

arrayOf, arrayOf, descendsFrom, descendsFromImpl, isArray, isBoolean, isByte, isCastValid, isCastValidImpl, isChar, isClass, isComparable, isDouble, isFloat, isImplicitCastValid, isImplicitCastValidImpl, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isReference, isShort, isSubtype, isSubtypeImpl, isThrowable, isUncheckedException, isVoid, numericConversionValid, numericConversionValid, numericConversionValidImpl, numericConversionValidImpl, toArray, toClass, toNull, toPrimitive, toReference, translate

Methods inherited from interface polyglot.types.Qualifier

isPackage, isType, toPackage, toType

Methods inherited from interface polyglot.types.MemberInstance

container, flags

Methods inherited from interface polyglot.ext.param.types.SubstType

base, entries, subst

Constructor Detail

CofferSubstClassType_c

public CofferSubstClassType_c(CofferTypeSystem ts,
                              Position pos,
                              ClassType base,
                              CofferSubst subst)

Method Detail

instantiatedFrom

public PClass instantiatedFrom()

Specified by:

instantiatedFrom in interface InstType

actuals

public java.util.List actuals()

Specified by:

actuals in interface InstType

key

public Key key()

Specified by:

key in interface CofferClassType

toString

public java.lang.String toString()

Description copied from class: Type_c

Yields a string representing this type. The string should be consistent with equality. That is, if this.equals(anotherType), then it should be that this.toString().equals(anotherType.toString()). The string does not have to be a legal Java identifier. It is suggested, but not required, that it be an easily human readable representation, and thus useful in error messages and generated output.

Specified by:

toString in interface Type

Overrides:

toString in class SubstClassType_c