ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnMigrationTypeAgg
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
|
+--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMigrationTypeAgg
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
- public class CoopnMigrationTypeAgg
- extends CoopnElementList
Aggregates of coopn migration types.
- See Also:
CoopnElement
, Serialized Form
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList |
add, clone, contains, empty, equals, getElements, hashCode, interpret, merge, pureCOIL, pureCOOPN, remove, size, unmodifiableCopy |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement |
cloneCoopnElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toTokens, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
CoopnMigrationTypeAgg
public CoopnMigrationTypeAgg()
- Simple constructor.
CoopnMigrationTypeAgg
public CoopnMigrationTypeAgg(CoopnMigrationType type)
- Simple constructor with a first value.
add
public void add(CoopnMigrationType type)
merge
public void merge(CoopnMigrationTypeAgg list)
remove
public void remove(CoopnMigrationType type)
elements
public CoopnMigrationType[] elements()
type
public CoopnTypeAgg type()
- Conversion to a normal type.
- Returns:
- an aggregate of types, reflecting this aggregate,
but without any migration information.
toText
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
- Textual elements conversion method. Overrides the conversion of lists.
- Overrides:
toText
in class CoopnElement
- Returns:
- a CoopnTextExpression image.
toCompleteText
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
- Complete textual elements conversion method. Overrides the conversion of lists.
- Overrides:
toCompleteText
in class CoopnElement
- Parameters:
table
- the symbol table used to generate symbol references- Returns:
- a CoopnTextElementList image.
toCoco
public ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table)
throws java.lang.IllegalArgumentException
- Description copied from class:
CoopnElement
- CoCo conversion method. Must be defined in the inherited classes. This
routine convert an element into a string representing it in a
CO-opn COnpact form.
- Overrides:
toCoco
in class CoopnElement
- Following copied from class:
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
- Parameters:
origin
- the module which generated the Coco conversiontable
- the symbol table used to generate symbol references- Returns:
- a String image of the element.
- Throws:
java.lang.IllegalArgumentException
- A used symbol is not in the symbol table.