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

Fields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
elems
 
Constructor Summary
CoopnMigrationTypeAgg()
          Simple constructor.
CoopnMigrationTypeAgg(CoopnMigrationType type)
          Simple constructor with a first value.
 
Method Summary
 void add(CoopnMigrationType type)
           
 CoopnMigrationType[] elements()
           
 void merge(CoopnMigrationTypeAgg list)
           
 void remove(CoopnMigrationType type)
           
 ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCocoMgr.CoopnCocoElement toCoco(CoopnSymbolTable table)
          CoCo conversion method.
 ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toCompleteText(CoopnSymbolTable table)
          Complete textual elements conversion method.
 ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextElement toText()
          Textual elements conversion method.
 CoopnTypeAgg type()
          Conversion to a normal type.
 
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
 

Constructor Detail

CoopnMigrationTypeAgg

public CoopnMigrationTypeAgg()
Simple constructor.

CoopnMigrationTypeAgg

public CoopnMigrationTypeAgg(CoopnMigrationType type)
Simple constructor with a first value.
Method Detail

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