|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public java.util.Iterator entries()
Iterator
of Map.Entry
.public ParamTypeSystem typeSystem()
public java.util.Map substitutions()
public Type substType(Type t)
public PClass substPClass(PClass pc)
public FieldInstance substField(FieldInstance fi)
public MethodInstance substMethod(MethodInstance mi)
public ConstructorInstance substConstructor(ConstructorInstance ci)
public java.util.List substTypeList(java.util.List list)
public java.util.List substMethodList(java.util.List list)
public java.util.List substConstructorList(java.util.List list)
public java.util.List substFieldList(java.util.List list)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |