Uses of Interface
aterm.ATermList

Packages that use ATermList

Package	Description
aterm
aterm.pure
aterm.pure.binary

Uses of ATermList in aterm

Methods in aterm that return ATermList

Modifier and Type	Method and Description
ATermList	ATermList.append(ATerm el) Appends an element to this list.
ATermList	ATermList.concat(ATermList rhs) Concatenates a list to this list.
ATermList	ATermList.dictPut(ATerm key, ATerm value) Sets the value for an element in a dictionary list.
ATermList	ATermList.dictRemove(ATerm key) Removes an element from a dictionary list.
ATermList	ATerm.getAnnotations() Gets all annotations of this term.
ATermList	ATermAppl.getArguments() Gets the arguments of this application.
ATermList	ATermList.getEmpty() Gets the empty list associated to this list.
ATermList	ATermList.getNext() Gets the tail (all but the first element) of this list.
ATermList	ATermList.getPrefix() Gets the prefix (all but the last element) of this list.
ATermList	ATermList.getSlice(int start, int end) Gets a portion (slice) of this list.
ATermList	ATermList.insert(ATerm el) Inserts a term in front of this list.
ATermList	ATermList.insertAt(ATerm el, int i) Inserts an element at a specific position in this list.
ATermList	ATermFactory.makeList() Creates an empty ATermList object
ATermList	ATermFactory.makeList(ATerm single) Creates a singleton ATermList object.
ATermList	ATermFactory.makeList(ATerm head, ATermList tail) Creates a head-tail style ATermList.
ATermList	ATermList.remove(ATerm el) Removes one occurance of an element from this list.
ATermList	ATermList.removeAll(ATerm el) Removes all occurances of an element in this list.
ATermList	ATermList.removeElementAt(int i) Removes the element at a specific index in this list.
ATermList	ATermList.replace(ATerm el, int i) Replaces a specific term in this list with another.
ATermList	ATermList.reverse() Reverses the elements of this list.

Methods in aterm with parameters of type ATermList

Modifier and Type	Method and Description
ATermList	ATermList.concat(ATermList rhs) Concatenates a list to this list.
ATermAppl	ATermFactory.makeApplList(AFun fun, ATermList args) Creates a function application.
ATermList	ATermFactory.makeList(ATerm head, ATermList tail) Creates a head-tail style ATermList.
ATerm	ATerm.setAnnotations(ATermList annos) Sets all annotations of this term.
Visitable	ATermFwd.visitList(ATermList arg)
Visitable	Visitor.visitList(ATermList arg)
Visitable	ATermFwdVoid.visitList(ATermList arg)
void	ATermFwdVoid.voidVisitList(ATermList arg)

Uses of ATermList in aterm.pure

Classes in aterm.pure that implement ATermList

Modifier and Type	Class and Description
class	ATermListImpl

Methods in aterm.pure that return ATermList

Modifier and Type	Method and Description
ATermList	ATermListImpl.append(ATerm el)
ATermList	ATermListImpl.concat(ATermList rhs)
ATermList	ATermListImpl.dictPut(ATerm key, ATerm value)
ATermList	ATermListImpl.dictRemove(ATerm key)
ATermList	ATermImpl.getAnnotations()
ATermList	AFunImpl.getAnnotations()
ATermList	ATermApplImpl.getArguments()
ATermList	PureFactory.getEmpty()
ATermList	ATermListImpl.getEmpty()
ATermList	ATermListImpl.getNext()
ATermList	ATermListImpl.getPrefix()
ATermList	ATermListImpl.getSlice(int start, int end)
ATermList	ATermListImpl.insert(ATerm el)
ATermList	ATermListImpl.insertAt(ATerm el, int i)
protected ATermList	ATermListImpl.make(ATerm head, ATermList tail)
protected ATermList	ATermListImpl.make(ATerm head, ATermList tail, ATermList annos)
ATermList	PureFactory.makeList()
ATermList	PureFactory.makeList(ATerm singleton)
ATermList	PureFactory.makeList(ATerm first, ATermList next)
ATermList	PureFactory.makeList(ATerm first, ATermList next, ATermList annos)
ATermList	ATermListImpl.remove(ATerm el)
ATermList	ATermListImpl.removeAll(ATerm el)
ATermList	ATermListImpl.removeElementAt(int index)
ATermList	ATermListImpl.replace(ATerm el, int i)
ATermList	ATermListImpl.reverse()

Methods in aterm.pure with parameters of type ATermList

Modifier and Type	Method and Description
ATermList	ATermListImpl.concat(ATermList rhs)
protected void	ATermImpl.init(int hashCode, ATermList annos)
protected void	ATermApplImpl.init(int hashCode, ATermList annos, AFun fun, ATerm[] i_args)
protected void	ATermPlaceholderImpl.init(int hashCode, ATermList annos, ATerm type)
protected void	ATermListImpl.init(int hashCode, ATermList annos, ATerm first, ATermList next)
protected void	ATermBlobImpl.init(int hashCode, ATermList annos, byte[] data)
protected void	ATermRealImpl.init(int hashCode, ATermList annos, double value)
protected void	ATermIntImpl.init(int hashCode, ATermList annos, int value)
protected void	ATermLongImpl.init(int hashCode, ATermList annos, long value)
protected void	ATermApplImpl.initHashCode(ATermList annos, AFun fun, ATerm[] i_args)
protected void	ATermListImpl.initHashCode(ATermList annos, ATerm first, ATermList next)
protected void	ATermIntImpl.initHashCode(ATermList annos, int value)
protected void	ATermLongImpl.initHashCode(ATermList annos, long value)
protected void	ATermImpl.internSetAnnotations(ATermList annos)
protected ATermAppl	ATermApplImpl.make(AFun fun, ATerm[] i_args, ATermList annos)
protected ATermList	ATermListImpl.make(ATerm head, ATermList tail)
protected ATermList	ATermListImpl.make(ATerm head, ATermList tail, ATermList annos)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm[] args, ATermList annos)
ATermAppl	PureFactory.makeApplList(AFun fun, ATermList list)
ATermAppl	PureFactory.makeApplList(AFun fun, ATermList list, ATermList annos)
ATermBlob	PureFactory.makeBlob(byte[] data, ATermList annos)
ATermInt	PureFactory.makeInt(int value, ATermList annos)
ATermList	PureFactory.makeList(ATerm first, ATermList next)
ATermList	PureFactory.makeList(ATerm first, ATermList next, ATermList annos)
ATermLong	PureFactory.makeLong(long value, ATermList annos)
ATermPlaceholder	PureFactory.makePlaceholder(ATerm type, ATermList annos)
ATermReal	PureFactory.makeReal(double value, ATermList annos)
ATerm	ATermRealImpl.setAnnotations(ATermList annos)
ATerm	ATermIntImpl.setAnnotations(ATermList annos)
ATerm	AFunImpl.setAnnotations(ATermList annos)
ATerm	ATermListImpl.setAnnotations(ATermList annos)
ATerm	ATermApplImpl.setAnnotations(ATermList annos)
ATerm	ATermPlaceholderImpl.setAnnotations(ATermList annos)
ATerm	ATermLongImpl.setAnnotations(ATermList annos)
ATerm	ATermBlobImpl.setAnnotations(ATermList annos)

Constructors in aterm.pure with parameters of type ATermList

Constructor and Description
ATermApplImpl(PureFactory factory, ATermList annos, AFun fun, ATerm[] i_args)
ATermBlobImpl(PureFactory factory, ATermList annos, byte[] data)
ATermImpl(PureFactory factory, ATermList annos)
ATermIntImpl(PureFactory factory, ATermList annos, int value)
ATermListImpl(PureFactory factory, ATermList annos, ATerm first, ATermList next)
ATermLongImpl(PureFactory factory, ATermList annos, long value)
ATermPlaceholderImpl(PureFactory factory, ATermList annos, ATerm type)
ATermRealImpl(PureFactory factory, ATermList annos, double value)

Uses of ATermList in aterm.pure.binary

Methods in aterm.pure.binary with parameters of type ATermList

Modifier and Type	Method and Description
void	BinaryWriter.voidVisitList(ATermList arg) Serializes the given list.