ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsElementList

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElementList
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public abstract class ConstraintsElementList
extends ConstraintsElement

Constraints elements List.

See Also:
Serialized Form

Field Summary
protected  java.util.List elems
           
 
Constructor Summary
ConstraintsElementList()
           
 
Method Summary
protected  void add(ConstraintsElement elem)
          Addition of a textual element into the list.
 java.lang.Object clone()
          Cloning method.
 boolean contains(ConstraintsElement 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  ConstraintsElement[] getElements()
          Get the elements of a list.
 int hashCode()
          produces the hashcode for this element list
protected  void merge(ConstraintsElementList list)
          Merge of an element list with this one.
protected  void remove(ConstraintsElement elem)
          removes an element from this list
 int size()
          Get the size of the list.
 java.lang.Object unmodifiableCopy()
          Cloning method.
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
cloneConstraintsElement, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

elems

protected java.util.List elems
Constructor Detail

ConstraintsElementList

public ConstraintsElementList()
Method Detail

add

protected void add(ConstraintsElement 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(ConstraintsElementList list)
Merge of an element list with this one.

remove

protected void remove(ConstraintsElement elem)
removes an element from this list

getElements

protected ConstraintsElement[] 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(ConstraintsElement 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.

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 ConstraintsElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
produces the hashcode for this element list
Overrides:
hashCode in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Returns:
the hash code.

unmodifiableCopy

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

clone

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