|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement | +--ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElementList
Coala elements. This abstract class essentially defines lists of coala elements, i.e. elements of the abstract syntax. This class must be extended by defining an empty constructor and methods for adding,merging and retrieving the elements of the list; these methods must be based on the two protected methods "addElement", "mergeElementList" and "getElement". Lists of elements are themselves elements; therefore, this class extends "CoalaElement". However, the management of lists is generic, and this class actually implements the abstract methods of class "CoalaElement", except the methods for converting the list into strings.
CoalaElement
, Serialized FormConstructor Summary | |
CoalaElementList()
|
Method Summary | |
void |
addElement(CoalaElement elem)
Addition of a textual element into the list. |
java.lang.Object |
clone()
Cloning method. |
boolean |
contains(CoalaElement 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. |
CoalaElement[] |
getElements()
Get the elements of a list. |
int |
hashCode()
Hashcode method. |
void |
mergeElementList(CoalaElementList merge)
Merging of two lists of elements. |
int |
size()
Get the size of the list. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement |
cloneCoalaElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toString, toString, toString, toText |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CoalaElementList()
Method Detail |
public void addElement(CoalaElement elem)
elem
- the element to addpublic void mergeElementList(CoalaElementList merge)
merge
- the list to addpublic CoalaElement[] getElements()
public boolean contains(CoalaElement elem)
elem
- the element of look in the listpublic boolean empty()
public int size()
public boolean equals(java.lang.Object obj)
equals
in class CoalaElement
obj
- the object to comparepublic int hashCode()
CoalaElement
hashCode
in class CoalaElement
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement
public java.lang.Object clone()
clone
in class CoalaElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |