polyglot.ext.coffer.extension
Interface CofferExt

All Superinterfaces:
java.lang.Cloneable, Copy, Ext
All Known Implementing Classes:
CofferExt_c

public interface CofferExt
extends Ext

An immutable representation of the Coffer class declaration. It extends the Java class declaration with the label/principal parameters and the authority constraint.


Method Summary
 void checkHeldKeys(KeySet held, KeySet stored)
           
 KeySet keyAlias(KeySet stored_keys, Type throwType)
           
 KeySet keyFlow(KeySet held_keys, Type throwType)
           
 
Methods inherited from interface polyglot.ast.Ext
dump, ext, ext, init, node
 
Methods inherited from interface polyglot.util.Copy
copy
 

Method Detail

keyFlow

public KeySet keyFlow(KeySet held_keys,
                      Type throwType)

keyAlias

public KeySet keyAlias(KeySet stored_keys,
                       Type throwType)

checkHeldKeys

public void checkHeldKeys(KeySet held,
                          KeySet stored)
                   throws SemanticException
Throws:
SemanticException