|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Every Operator must implement this interface. Each operator deals with arguments. These arguments
form an ordered list. So there is the number of arguments, which is told by size()
and the
i
-th argument, accessible by getElement(int)
.
Method Summary | |
void |
add(Element element)
Adds an element to end of list. |
Element |
getElement(int i)
Get the requested argument. |
List |
getElements()
Get all arguments as an list. |
String |
getOperator()
Get the operator. |
void |
insert(int position,
Element element)
Inserts an element to specified position. |
void |
remove(int i)
Deletes an element of element list. |
void |
replace(int position,
Element element)
Replaces an element at specified position. |
int |
size()
Get the number of arguments. |
Methods inherited from interface org.qedeq.kernel.base.list.Element |
copy, equals, getAtom, getList, hashCode, isAtom, isList, replace, toString |
Method Detail |
public int size()
public String getOperator()
public Element getElement(int i)
i
- Number of argument (starting with 0
).
i
-th part formula.
IllegalArgumentException
- i
is not between 0
and
size()
- 1
public List getElements()
public void add(Element element)
element
- Element to add.
IllegalArgumentException
- The given element was a NullPointer.public void insert(int position, Element element)
position
- Position of element to add.element
- Element to add.
IllegalArgumentException
- The given element was a NullPointer or the position was not
valid.public void replace(int position, Element element)
position
- Position of element to replace.element
- Replacement element.
IllegalArgumentException
- The given element was a NullPointer or the position was not
valid.public void remove(int i)
i
- Position of element to remove.
IllegalArgumentException
- The given position was not valid.
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |