polyglot.ext.jl5.types

Class JL5RawSubst_c

java.lang.Object

polyglot.ext.param.types.Subst_c<TypeVariable,ReferenceType>

polyglot.ext.jl5.types.JL5Subst_c

polyglot.ext.jl5.types.JL5RawSubst_c

All Implemented Interfaces:

java.io.Serializable, JL5Subst, Subst<TypeVariable,ReferenceType>

public class JL5RawSubst_c
extends JL5Subst_c

Subst for a raw type (See JLS 3rd ed Sec 4.8.) Some substitution behavior differs for raw types.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class polyglot.ext.param.types.Subst_c

Subst_c.CacheTypeWrapper, Subst_c.ConstructorXform<T extends ConstructorInstance>, Subst_c.FieldXform<T extends FieldInstance>, Subst_c.MethodXform<T extends MethodInstance>, Subst_c.TypeXform<T extends Type>

Field Summary

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

cache, subst, substClassTypeCache, ts

Constructor Summary

Constructors

Constructor and Description
JL5RawSubst_c(JL5TypeSystem ts, java.util.Map<TypeVariable,ReferenceType> subst, JL5ParsedClassType base)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<Type>	eraseTypeList(java.util.List<? extends Type> list)
protected ClassType	substClassTypeImpl(ClassType t)
<T extends ConstructorInstance> T	substConstructor(T ci) Perform substitutions on a constructor.
<T extends MethodInstance> T	substMethod(T mi) Perform substitutions on a method.

Methods inherited from class polyglot.ext.jl5.types.JL5Subst_c

substContainer, substIntersectionType, substProcedure, substSubstValue, substType, substTypeVariable, substWildCardTypeVariable

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

cacheGet, cachePut, cacheTypeEquality, entries, equals, hashCode, is_entry, substClassType, substConstructorList, substField, substFieldList, substitutions, substMethodList, substPClass, substTypeList, toString, typeSystem, typeWrapper, uncachedSubstType

Methods inherited from class java.lang.Object

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

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

entries, is_entry, substConstructorList, substField, substFieldList, substitutions, substMethodList, substPClass, substTypeList, typeSystem

Constructor Detail

JL5RawSubst_c

public JL5RawSubst_c(JL5TypeSystem ts,
             java.util.Map<TypeVariable,ReferenceType> subst,
             JL5ParsedClassType base)

Method Detail

substClassTypeImpl

protected ClassType substClassTypeImpl(ClassType t)

Overrides:

substClassTypeImpl in class JL5Subst_c

substMethod

public <T extends MethodInstance> T substMethod(T mi)

Description copied from interface: Subst

Perform substitutions on a method.

Specified by:

substMethod in interface Subst<TypeVariable,ReferenceType>

Overrides:

substMethod in class JL5Subst_c

substConstructor

public <T extends ConstructorInstance> T substConstructor(T ci)

Description copied from interface: Subst

Perform substitutions on a constructor.

Specified by:

substConstructor in interface Subst<TypeVariable,ReferenceType>

Overrides:

substConstructor in class JL5Subst_c

eraseTypeList

public java.util.List<Type> eraseTypeList(java.util.List<? extends Type> list)