KickJava   Java API By Example, From Geeks To Geeks.

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


1 package polyglot.ext.param.types;
2
3 import polyglot.types.*;
4 import java.util.Iterator JavaDoc;
5
6 /**
7  * A type on which substitutions have been applied.
8  */
9 public interface SubstType extends Type
10 {
11     /** The type on which substitutions are performed. */
12     Type base();
13
14     /** The substitution function. */
15     Subst subst();
16
17     /** Entries of underlying substitution map.
18      * @return An <code>Iterator</code> of <code>Map.Entry</code>.
19      */
20     Iterator JavaDoc entries();
21 }
22
Popular Tags