KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > polyglot > ext > coffer > types > CofferSubst


1 package polyglot.ext.coffer.types;
2
3 import polyglot.types.*;
4 import polyglot.ext.param.types.*;
5 import polyglot.util.*;
6 import java.util.*;
7
8 public interface CofferSubst extends Subst
9 {
10     public Key substKey(Key key);
11     public KeySet substKeySet(KeySet key);
12     public ThrowConstraint substThrowConstraint(ThrowConstraint c);
13     public List substThrowConstraintList(List l);
14
15     public Key get(Key formal);
16     public void put(Key formal, Key actual);
17 }
18
Popular Tags