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