|
1 package polyglot.ext.coffer.types;
2
3 import polyglot.ext.param.types.*;
4 import polyglot.types.*;
5 import polyglot.util.*;
6 import java.util.*;
7
8 public interface CofferTypeSystem extends ParamTypeSystem {
9 InstKey instKey(Position pos, String  name);
10 ParamKey paramKey(Position pos, String name);
11 UnknownKey unknownKey(Position pos, String name);
12 ThrowConstraint throwConstraint(Position pos, Type type, KeySet keys);
13
14 KeySet emptyKeySet(Position pos);
15
16 CofferMethodInstance cofferMethodInstance(Position pos,
17 ReferenceType container, Flags flags, Type returnType,
18 String name, List argTypes, KeySet entryKeys, KeySet returnKeys,
19 List throwConstraints);
20
21 CofferConstructorInstance cofferConstructorInstance(Position pos,
22 ClassType container, Flags flags, List argTypes,
23 KeySet entryKeys, KeySet returnKeys, List throwConstraints);
24 }
25 |
Popular Tags |
Java API By Example, From Geeks To Geeks.