ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnElementList

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
CoopnInheritList, CoopnMarkAgg, CoopnMigrationTypeAgg, CoopnModuleNameList, CoopnSymbolList, CoopnTermAgg, CoopnTypeAgg

public abstract class CoopnElementList
extends CoopnElement

Coopn element lists.

See Also:
CoopnElement, Serialized Form

Field Summary
protected  java.util.List elems
           
 
Constructor Summary
CoopnElementList()
           
 
Method Summary
protected  void add(CoopnElement elem)
          Addition of a textual element into the list.
 java.lang.Object clone()
          Cloning method.
 boolean contains(CoopnElement elem)
          Look if an element is in the list.
 boolean empty()
          Test the list for being empty.
 boolean equals(java.lang.Object obj)
          Equality method.
protected  CoopnElement[] getElements()
          Get the elements of a list.
 int hashCode()
          Hashcode method.
 CoopnElement interpret(CoopnSubstitution sigma)
          Interpretation of this element according to a substitution.
protected  void merge(CoopnElementList list)
          Merge of an element list with this one.
 boolean pureCOIL()
          Pure COIL-COOPN2C verification method.
 boolean pureCOOPN()
          Pure COOPN verification method.
protected  void remove(CoopnElement elem)
           
 int size()
          Get the size of the list.
 java.lang.Object unmodifiableCopy()
          Cloning method.
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
cloneCoopnElement, toCoco, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toText, toTokens, toTokens, toTokens
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

elems

protected java.util.List elems
Constructor Detail

CoopnElementList

public CoopnElementList()
Method Detail

add

protected void add(CoopnElement elem)
Addition of a textual element into the list. This method must be used by the actual lists for achieving their goal.
Parameters:
elem - the element to add

merge

protected void merge(CoopnElementList list)
Merge of an element list with this one.

remove

protected void remove(CoopnElement elem)

getElements

protected CoopnElement[] getElements()
Get the elements of a list. This method must be used by the actual lists for achieving their goal.
Returns:
an array of elements

contains

public boolean contains(CoopnElement elem)
Look if an element is in the list.
Parameters:
elem - the element of look in the list
Returns:
true iff the lement is in the list.

pureCOOPN

public boolean pureCOOPN()
Pure COOPN verification method. Must be modified by the elements which may alterate the result.
Overrides:
pureCOOPN in class CoopnElement
Returns:
true iff this object is in pure CO-OPN language.

pureCOIL

public boolean pureCOIL()
Pure COIL-COOPN2C verification method. Must be modified by the elements which may alterate the result.
Overrides:
pureCOIL in class CoopnElement
Returns:
true iff this object is in pure COIL language.

interpret

public CoopnElement interpret(CoopnSubstitution sigma)
Description copied from class: CoopnElement
Interpretation of this element according to a substitution.
Overrides:
interpret in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Parameters:
sigma - the substitution; cannot be null
Returns:
a new CoopnElement object, coreesponding to the interpretation.

empty

public boolean empty()
Test the list for being empty.
Returns:
true iff the list is empty

size

public int size()
Get the size of the list.
Returns:
the size of the list

equals

public boolean equals(java.lang.Object obj)
Equality method. Implements the equality between lists.
Overrides:
equals in class CoopnElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Description copied from class: CoopnElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class CoopnElement
Following copied from class: ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
Returns:
the hash code.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Cloning method. Implements the cloning method.
Overrides:
unmodifiableCopy in class CoopnElement
Returns:
a clone object.

clone

public java.lang.Object clone()
Cloning method. Implements the cloning method.
Overrides:
clone in class CoopnElement
Returns:
a clone object.