polyglot.ext.coffer.extension
Interface CofferExt

All Superinterfaces:
java.lang.Cloneable, Copy, Ext
All Known Implementing Classes:
AssignExt_c, CofferExt_c, FreeExt_c, LocalDeclExt_c, LocalExt_c, NewExt_c, ProcedureCallExt_c, ProcedureDeclExt_c, SpecialExt_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

KeySet keyFlow(KeySet held_keys,
               Type throwType)

keyAlias

KeySet keyAlias(KeySet stored_keys,
                Type throwType)

checkHeldKeys

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