ConForM.CoopnTools.CoKer.CoopnMgr
Interface CoopnMetaElement

All Known Implementing Classes:
CoopnClassMethodSymbolVariable, CoopnGeneratorSymbolVariable, CoopnContextGateSymbolVariable, CoopnClassGateSymbolVariable, CoopnObjectSymbolVariable, CoopnSortSymbolVariable, CoopnClassCreationSymbolVariable, CoopnTypeSymbolVariable, CoopnClassDestructionSymbolVariable, CoopnContextMethodSymbolVariable, CoopnOperationSymbolVariable, CoopnTermVariable

public interface CoopnMetaElement

Meta element flag. Meta elements cannot be part of co-opn modules, but can be used to build coopn elements. Typical used of meta elements are in CoopnWorkspaces, where they are used to increment the signature of the workspaces, allowing thus to extends to static semantics checking of usual co-opn elements.


Method Summary
 boolean pureCOIL()
          Pure COIL-COOPN2C verification method.
 boolean pureCOOPN()
          Pure COOPN verification method.
 ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table)
          CoCo conversion method.
 

Method Detail

pureCOOPN

public boolean pureCOOPN()
Pure COOPN verification method.
Returns:
false, as meta elements are not pure CO-OPN.

pureCOIL

public boolean pureCOIL()
Pure COIL-COOPN2C verification method.
Returns:
false, as meta elements are not pure COIL.

toCoco

public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table)
                                                                       throws java.lang.UnsupportedOperationException
CoCo conversion method. Throws an unsupported operation exception, as meta elements cannot be translated into coco elements.
Parameters:
table - the symbol table used to generate symbol references
Returns:
a coco image of the element.
Throws:
java.lang.IllegalArgumentException - A used symbol is not in the symbol table.
java.lang.UnsupportedOperationException - Alway thrown, by definition.