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.
Methods inherited from interface polyglot.util.Copy |
copy |
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