|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This interface describes the functionality of an ATermList
Field Summary |
Fields inherited from interface aterm.ATerm |
APPL, BLOB, INT, LIST, PLACEHOLDER, REAL |
Method Summary | |
aterm.ATermList |
append(aterm.ATerm el)
Appends an element to this list. |
aterm.ATermList |
concat(aterm.ATermList rhs)
Concatenates a list to this list. |
aterm.ATerm |
dictGet(aterm.ATerm key)
Retrieves an element from a dictionary list. |
aterm.ATermList |
dictPut(aterm.ATerm key,
aterm.ATerm value)
Sets the value for an element in a dictionary list. |
aterm.ATermList |
dictRemove(aterm.ATerm key)
Removes an element from a dictionary list. |
aterm.ATerm |
elementAt(int i)
Gets the element at a specific index of this list. |
aterm.ATerm |
getFirst()
Gets the first element of this list. |
aterm.ATerm |
getLast()
Gets the last element of this list. |
int |
getLength()
Gets the length (number of elements) of this list. |
aterm.ATermList |
getNext()
Gets the tail (all but the first element) of this list. |
aterm.ATermList |
getPrefix()
Gets the prefix (all but the last element) of this list. |
aterm.ATermList |
getSlice(int start,
int end)
Gets a portion (slice) of this list. |
int |
indexOf(aterm.ATerm el,
int start)
Gets the index of the first occurance of a term in this list. |
aterm.ATermList |
insert(aterm.ATerm el)
Inserts a term in front of this list. |
aterm.ATermList |
insertAt(aterm.ATerm el,
int i)
Inserts an element at a specific position in this list. |
boolean |
isEmpty()
Checks if this list is the empty list. |
int |
lastIndexOf(aterm.ATerm el,
int start)
Gets the last occurance of a term in this list. |
aterm.ATermList |
remove(aterm.ATerm el)
Removes one occurance of an element from this list. |
aterm.ATermList |
removeAll(aterm.ATerm el)
Removes all occurances of an element in this list. |
aterm.ATermList |
removeElementAt(int i)
Removes the element at a specific index in this list. |
aterm.ATermList |
replace(aterm.ATerm el,
int i)
Replaces a specific term in this list with another. |
aterm.ATermList |
reverse()
Reverses the elements of this list. |
Methods inherited from interface aterm.ATerm |
equals, getAnnotation, getAnnotations, getFactory, getType, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFile |
Methods inherited from interface aterm.ATermVisitable |
accept |
Methods inherited from interface aterm.visitor.Visitable |
getChildAt, getChildCount, setChildAt |
Method Detail |
public boolean isEmpty()
public int getLength()
public aterm.ATerm getFirst()
public aterm.ATerm getLast()
public aterm.ATermList getNext()
public int indexOf(aterm.ATerm el, int start)
el
- the element to look for.start
- the starting position of the lookup. Negative start
implies searching backwards from the tail of the list.
java.lang.IllegalArgumentException
- when start > length of list ||
start < -lengthlastIndexOf(aterm.ATerm, int)
public int lastIndexOf(aterm.ATerm el, int start)
el
- the element to look for.start
- the starting position of the lookup.
indexOf(aterm.ATerm, int)
public aterm.ATermList concat(aterm.ATermList rhs)
rhs
- the list to concatenate to this list.
public aterm.ATermList append(aterm.ATerm el)
el
- the element to append to this list.
public aterm.ATerm elementAt(int i)
i
- the index of the required element.
java.lang.IndexOutOfBoundsException
- if i does not refer
to a position in this list.public aterm.ATermList remove(aterm.ATerm el)
el
- the element to be removed.
public aterm.ATermList removeElementAt(int i)
i
- the index of the element to be removed.
java.lang.IndexOutOfBoundsException
- if i does not refer
to a position in this list.public aterm.ATermList removeAll(aterm.ATerm el)
el
- the element to be removed.
public aterm.ATermList insert(aterm.ATerm el)
el
- the element to be inserted.
public aterm.ATermList insertAt(aterm.ATerm el, int i)
el
- the element to be inserted.i
- the index at which to insert.
public aterm.ATermList getPrefix()
public aterm.ATermList getSlice(int start, int end)
start
- the start of the slice (included).end
- the end of the slice (excluded).
public aterm.ATermList replace(aterm.ATerm el, int i)
el
- the element to be put into this list.i
- the index of the element in this list to be replaced.
java.lang.IndexOutOfBoundsException
- if i does not refer
to a position in this list.public aterm.ATermList reverse()
public aterm.ATerm dictGet(aterm.ATerm key)
key
- the key to look for
public aterm.ATermList dictPut(aterm.ATerm key, aterm.ATerm value)
key
- the key to setvalue
- the value to associate with key
public aterm.ATermList dictRemove(aterm.ATerm key)
key
- the key to remove
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |