KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > polyglot > ext > param > types > Subst


1 package polyglot.ext.param.types;
2
3 import polyglot.ext.jl.types.*;
4 import polyglot.types.*;
5 import polyglot.types.Package;
6 import polyglot.util.*;
7 import java.util.*;
8 import java.io.*;
9
10 /**
11  * Utility class that performs substitutions on type objects.
12  */

13 public interface Subst extends Serializable
14 {
15     /** Entries of the underlying substitution map.
16      * @return An <code>Iterator</code> of <code>Map.Entry</code>.
17      */

18     public Iterator entries();
19
20     /** Type system */
21     public ParamTypeSystem typeSystem();
22
23     /** Get the map of formals to actuals. */
24     public Map substitutions();
25
26     /** Perform substitutions on a type. */
27     public Type substType(Type t);
28
29     /** Perform substitutions on a PClass. */
30     public PClass substPClass(PClass pc);
31
32     /** Perform substititions on a field. */
33     public FieldInstance substField(FieldInstance fi);
34
35     /** Perform substititions on a method. */
36     public MethodInstance substMethod(MethodInstance mi);
37
38     /** Perform substititions on a constructor. */
39     public ConstructorInstance substConstructor(ConstructorInstance ci);
40
41     /** Perform substitutions on a list of types. */
42     public List substTypeList(List list);
43
44     /** Perform substitutions on a list of methods. */
45     public List substMethodList(List list);
46
47     /** Perform substitutions on a list of constructors. */
48     public List substConstructorList(List list);
49
50     /** Perform substitutions on a list of fields. */
51     public List substFieldList(List list);
52
53 }
54
Popular Tags