|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Subst
Utility class that performs substitutions on type objects.
Method Summary | |
---|---|
java.util.Iterator |
entries()
Entries of the underlying substitution map. |
ConstructorInstance |
substConstructor(ConstructorInstance ci)
Perform substititions on a constructor. |
java.util.List |
substConstructorList(java.util.List list)
Perform substitutions on a list of constructors. |
FieldInstance |
substField(FieldInstance fi)
Perform substititions on a field. |
java.util.List |
substFieldList(java.util.List list)
Perform substitutions on a list of fields. |
java.util.Map |
substitutions()
Get the map of formals to actuals. |
MethodInstance |
substMethod(MethodInstance mi)
Perform substititions on a method. |
java.util.List |
substMethodList(java.util.List list)
Perform substitutions on a list of methods. |
PClass |
substPClass(PClass pc)
Perform substitutions on a PClass. |
Type |
substType(Type t)
Perform substitutions on a type. |
java.util.List |
substTypeList(java.util.List list)
Perform substitutions on a list of types. |
ParamTypeSystem |
typeSystem()
Type system |
Method Detail |
---|
java.util.Iterator entries()
Iterator
of Map.Entry
.ParamTypeSystem typeSystem()
java.util.Map substitutions()
Type substType(Type t)
PClass substPClass(PClass pc)
FieldInstance substField(FieldInstance fi)
MethodInstance substMethod(MethodInstance mi)
ConstructorInstance substConstructor(ConstructorInstance ci)
java.util.List substTypeList(java.util.List list)
java.util.List substMethodList(java.util.List list)
java.util.List substConstructorList(java.util.List list)
java.util.List substFieldList(java.util.List list)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |