public class JL5RawSubst_c extends JL5Subst_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>
cache, subst, substClassTypeCache, ts
Constructor and Description |
---|
JL5RawSubst_c(JL5TypeSystem ts,
java.util.Map<TypeVariable,ReferenceType> subst,
JL5ParsedClassType base) |
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> |
substConstructor(T ci)
Perform substitutions on a constructor.
|
<T extends MethodInstance> |
substMethod(T mi)
Perform substitutions on a method.
|
substContainer, substIntersectionType, substProcedure, substSubstValue, substType, substTypeVariable, substWildCardTypeVariable
cacheGet, cachePut, cacheTypeEquality, entries, equals, hashCode, is_entry, substClassType, substConstructorList, substField, substFieldList, substitutions, substMethodList, substPClass, substTypeList, toString, typeSystem, typeWrapper, uncachedSubstType
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
entries, is_entry, substConstructorList, substField, substFieldList, substitutions, substMethodList, substPClass, substTypeList, typeSystem
public JL5RawSubst_c(JL5TypeSystem ts, java.util.Map<TypeVariable,ReferenceType> subst, JL5ParsedClassType base)
protected ClassType substClassTypeImpl(ClassType t)
substClassTypeImpl
in class JL5Subst_c
public <T extends MethodInstance> T substMethod(T mi)
Subst
substMethod
in interface Subst<TypeVariable,ReferenceType>
substMethod
in class JL5Subst_c
public <T extends ConstructorInstance> T substConstructor(T ci)
Subst
substConstructor
in interface Subst<TypeVariable,ReferenceType>
substConstructor
in class JL5Subst_c