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. |
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.