polyglot.ext.coffer.types
Class CofferSubstClassType_c

java.lang.Object
  extended by polyglot.ext.jl.types.TypeObject_c
      extended by polyglot.ext.jl.types.Type_c
          extended by polyglot.ext.jl.types.ReferenceType_c
              extended by polyglot.ext.jl.types.ClassType_c
                  extended by polyglot.ext.param.types.SubstClassType_c
                      extended by 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