KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > polyglot > ext > coffer > extension > CofferExt


1 package polyglot.ext.coffer.extension;
2
3 import polyglot.ast.*;
4 import polyglot.types.*;
5 import polyglot.ext.coffer.types.*;
6 import java.util.*;
7
8 /** An immutable representation of the Coffer class declaration.
9  * It extends the Java class declaration with the label/principal parameters
10  * and the authority constraint.
11  */
12 public interface CofferExt extends Ext {
13     KeySet keyFlow(KeySet held_keys, Type throwType);
14     KeySet keyAlias(KeySet stored_keys, Type throwType);
15     void checkHeldKeys(KeySet held, KeySet stored) throws SemanticException;
16 }
17
Popular Tags