Uses of Interface
aterm.ATerm

Packages that use ATerm

Package	Description
aterm
aterm.pure
aterm.pure.binary

Uses of ATerm in aterm

Subinterfaces of ATerm in aterm

Modifier and Type	Interface and Description
interface	AFun An AFun represents a function symbol
interface	ATermAppl An ATermAppl represents a function application.
interface	ATermBlob This interface describes the functionality of an ATermBlob (Binary Large OBject).
interface	ATermInt This interface describes the functionality of an ATermInt
interface	ATermList This interface describes the functionality of an ATermList
interface	ATermLong This interface describes the functionality of an ATermLong
interface	ATermPlaceholder This interface describes the functionality of an ATermPlaceholder
interface	ATermReal This interface describes the functionality of an ATermReal

Methods in aterm that return ATerm

Modifier and Type	Method and Description
ATerm	ATermList.dictGet(ATerm key) Retrieves an element from a dictionary list.
ATerm	ATermList.elementAt(int i) Gets the element at a specific index of this list.
ATerm	ATerm.getAnnotation(ATerm label) Gets a annotation associated with specific label from this term.
ATerm	ATermAppl.getArgument(int i) Gets a specific argument of this application.
ATerm[]	ATermAppl.getArgumentArray() Gets the arguments of this application as an array of ATerm objects.
ATerm	ATermList.getFirst() Gets the first element of this list.
ATerm	ATermList.getLast() Gets the last element of this list.
ATerm	ATermPlaceholder.getPlaceholder() Gets the type of this placeholder.
ATerm	ATermFactory.importTerm(ATerm term) Creates an ATerm by importing it from another ATermFactory.
ATerm	ATermFactory.make(ATerm pattern, List<Object> args) Creates a new ATerm given a pattern and a list of arguments.
ATerm	ATerm.make(List<Object> args) Create a new term based on this term as a pattern and a list of arguments.
ATerm	ATermFactory.make(String trm) Equivalent of parse.
ATerm	ATermFactory.make(String pattern, List<Object> args) Creates a new ATerm given a string pattern and a list of arguments.
ATerm	ATermFactory.make(String pattern, Object arg1) Creates a new ATerm given a pattern and a single argument.
ATerm	ATermFactory.make(String pattern, Object arg1, Object arg2) Creates a new ATerm given a pattern and a fixed number of arguments.
ATerm	ATermFactory.make(String pattern, Object arg1, Object arg2, Object arg3) Creates a new ATerm given a pattern and a fixed number of arguments.
ATerm	ATermFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4) Creates a new ATerm given a pattern and a fixed number of arguments.
ATerm	ATermFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5) Creates a new ATerm given a pattern and a fixed number of arguments.
ATerm	ATermFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6) Creates a new ATerm given a pattern and a fixed number of arguments.
ATerm	ATermFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6, Object arg7) Creates a new ATerm given a pattern and a fixed number of arguments.
ATerm	ATermFactory.parse(String trm) Creates a new ATerm by parsing a string.
ATerm	ATermFactory.readFromBinaryFile(InputStream stream) Creates an ATerm from a binary stream.
ATerm	ATermFactory.readFromFile(InputStream stream) Creates an ATerm from a stream.
ATerm	ATermFactory.readFromFile(String file) Creates an ATerm from a given filename.
ATerm	ATermFactory.readFromSharedTextFile(InputStream stream) Creates an ATerm from a shared text stream.
ATerm	ATermFactory.readFromTextFile(InputStream stream) Creates an ATerm from a text stream.
ATerm	ATerm.removeAnnotation(ATerm label) Removes a specific annotation from this term.
ATerm	ATerm.removeAnnotations() Removes all annotations of this term.
ATerm	ATerm.setAnnotation(ATerm label, ATerm anno) Sets annotation of this term with given label.
ATerm	ATerm.setAnnotations(ATermList annos) Sets all annotations of this term.

Methods in aterm with parameters of type ATerm

Modifier and Type	Method and Description
ATermList	ATermList.append(ATerm el) Appends an element to this list.
ATerm	ATermList.dictGet(ATerm key) Retrieves an element from a dictionary 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.
ATerm	ATerm.getAnnotation(ATerm label) Gets a annotation associated with specific label from this term.
ATerm	ATermFactory.importTerm(ATerm term) Creates an ATerm by importing it from another ATermFactory.
int	ATermList.indexOf(ATerm el, int start) Gets the index of the first occurance of a term in 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.
boolean	ATerm.isEqual(ATerm term) Checks equality of this term against another term.
int	ATermList.lastIndexOf(ATerm el, int start) Gets the last occurance of a term in this list.
ATerm	ATermFactory.make(ATerm pattern, List<Object> args) Creates a new ATerm given a pattern and a list of arguments.
ATermAppl	ATermFactory.makeAppl(AFun fun, ATerm arg) Creates a function application.
ATermAppl	ATermFactory.makeAppl(AFun fun, ATerm[] args) Creates a function application.
ATermAppl	ATermFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2) Creates a function application.
ATermAppl	ATermFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3) Creates a function application.
ATermAppl	ATermFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4) Creates a function application.
ATermAppl	ATermFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5) Creates a function application.
ATermAppl	ATermFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5, ATerm arg6) Creates a function application.
ATermList	ATermFactory.makeList(ATerm single) Creates a singleton ATermList object.
ATermList	ATermFactory.makeList(ATerm head, ATermList tail) Creates a head-tail style ATermList.
ATermPlaceholder	ATermFactory.makePlaceholder(ATerm type) Creates an ATermPlaceholder object.
List<Object>	ATerm.match(ATerm pattern) Matches this term against a term pattern.
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.
ATerm	ATerm.removeAnnotation(ATerm label) Removes a specific annotation from this term.
ATermList	ATermList.replace(ATerm el, int i) Replaces a specific term in this list with another.
ATerm	ATerm.setAnnotation(ATerm label, ATerm anno) Sets annotation of this term with given label.
ATermAppl	ATermAppl.setArgument(ATerm arg, int i) Sets a specific argument of this application.
Visitable	ATermFwd.visitATerm(ATerm arg)
Visitable	Visitor.visitATerm(ATerm arg)
Visitable	ATermFwdVoid.visitATerm(ATerm arg)
void	ATermFwdVoid.voidVisitATerm(ATerm arg)

Uses of ATerm in aterm.pure

Classes in aterm.pure that implement ATerm

Modifier and Type	Class and Description
class	AFunImpl
class	ATermApplImpl
class	ATermBlobImpl
class	ATermImpl
class	ATermIntImpl
class	ATermListImpl
class	ATermLongImpl
class	ATermPlaceholderImpl
class	ATermRealImpl

Methods in aterm.pure that return ATerm

Modifier and Type	Method and Description
ATerm	ATermListImpl.dictGet(ATerm key)
ATerm	ATermListImpl.elementAt(int index)
ATerm	ATermImpl.getAnnotation(ATerm label)
ATerm	AFunImpl.getAnnotation(ATerm key)
ATerm	ATermApplImpl.getArgument(int index)
ATerm[]	ATermApplImpl.getArgumentArray()
ATerm	ATermListImpl.getFirst()
ATerm	ATermListImpl.getLast()
ATerm	ATermPlaceholderImpl.getPlaceholder()
ATerm	ATermImpl.getSubTerm(int index)
ATerm	ATermListImpl.getSubTerm(int index)
abstract ATerm	ATermVisitableImpl.getSubTerm(int index)
ATerm	ATermApplImpl.getSubTerm(int index)
ATerm	ATermPlaceholderImpl.getSubTerm(int index)
ATerm	PureFactory.importTerm(ATerm term)
ATerm	PureFactory.make(ATerm pattern, List<Object> args)
ATerm	ATermImpl.make(List<Object> list)
ATerm	ATermListImpl.make(List<Object> args)
ATerm	ATermApplImpl.make(List<Object> arguments)
ATerm	ATermPlaceholderImpl.make(List<Object> args)
ATerm	PureFactory.make(String trm)
ATerm	PureFactory.make(String pattern, List<Object> args)
ATerm	PureFactory.make(String pattern, Object arg1)
ATerm	PureFactory.make(String pattern, Object arg1, Object arg2)
ATerm	PureFactory.make(String pattern, Object arg1, Object arg2, Object arg3)
ATerm	PureFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4)
ATerm	PureFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5)
ATerm	PureFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6)
ATerm	PureFactory.make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6, Object arg7)
ATerm	PureFactory.parse(String trm)
ATerm	PureFactory.readFromBinaryFile(InputStream stream)
ATerm	PureFactory.readFromFile(InputStream stream)
ATerm	PureFactory.readFromFile(String filename)
ATerm	PureFactory.readFromSharedTextFile(InputStream stream)
ATerm	PureFactory.readFromTextFile(InputStream stream)
ATerm	ATermImpl.removeAnnotation(ATerm label)
ATerm	ATermImpl.removeAnnotations()
ATerm	ATermImpl.setAnnotation(ATerm label, ATerm anno)
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)
ATerm	ATermPlaceholderImpl.setPlaceholder(ATerm newtype)
ATerm	ATermImpl.setSubTerm(int index, ATerm t)
ATerm	ATermListImpl.setSubTerm(int index, ATerm t)
abstract ATerm	ATermVisitableImpl.setSubTerm(int index, ATerm t)
ATerm	ATermApplImpl.setSubTerm(int index, ATerm t)
ATerm	ATermPlaceholderImpl.setSubTerm(int index, ATerm t)

Methods in aterm.pure with parameters of type ATerm

Modifier and Type	Method and Description
ATermList	ATermListImpl.append(ATerm el)
ATerm	ATermListImpl.dictGet(ATerm key)
ATermList	ATermListImpl.dictPut(ATerm key, ATerm value)
ATermList	ATermListImpl.dictRemove(ATerm key)
ATerm	ATermImpl.getAnnotation(ATerm label)
ATerm	AFunImpl.getAnnotation(ATerm key)
ATerm	PureFactory.importTerm(ATerm term)
int	ATermListImpl.indexOf(ATerm el, int start)
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	ATermApplImpl.initHashCode(ATermList annos, AFun fun, ATerm[] i_args)
protected void	ATermListImpl.initHashCode(ATermList annos, ATerm first, ATermList next)
ATermList	ATermListImpl.insert(ATerm el)
ATermList	ATermListImpl.insertAt(ATerm el, int i)
protected boolean	PureFactory.isDeepEqual(ATermImpl t1, ATerm t2)
boolean	ATermImpl.isEqual(ATerm term)
int	ATermListImpl.lastIndexOf(ATerm el, int start)
protected ATermAppl	ATermApplImpl.make(AFun fun, ATerm[] i_args)
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)
ATerm	PureFactory.make(ATerm pattern, List<Object> args)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm arg)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm[] args)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm[] args, ATermList annos)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5, ATerm arg6)
ATermAppl	PureFactory.makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5, ATerm arg6, ATerm arg7)
ATermList	PureFactory.makeList(ATerm singleton)
ATermList	PureFactory.makeList(ATerm first, ATermList next)
ATermList	PureFactory.makeList(ATerm first, ATermList next, ATermList annos)
ATermPlaceholder	PureFactory.makePlaceholder(ATerm type)
ATermPlaceholder	PureFactory.makePlaceholder(ATerm type, ATermList annos)
List<Object>	ATermImpl.match(ATerm pattern)
protected boolean	ATermRealImpl.match(ATerm pattern, List<Object> list)
protected boolean	ATermIntImpl.match(ATerm pattern, List<Object> list)
protected boolean	ATermListImpl.match(ATerm pattern, List<Object> list)
protected boolean	ATermApplImpl.match(ATerm pattern, List<Object> list)
boolean	ATermPlaceholderImpl.match(ATerm pattern, List<Object> list)
protected boolean	ATermLongImpl.match(ATerm pattern, List<Object> list)
protected boolean	ATermBlobImpl.match(ATerm pattern, List<Object> list)
ATermList	ATermListImpl.remove(ATerm el)
ATermList	ATermListImpl.removeAll(ATerm el)
ATerm	ATermImpl.removeAnnotation(ATerm label)
ATermList	ATermListImpl.replace(ATerm el, int i)
ATerm	ATermImpl.setAnnotation(ATerm label, ATerm anno)
ATermAppl	ATermApplImpl.setArgument(ATerm newarg, int index)
ATerm	ATermPlaceholderImpl.setPlaceholder(ATerm newtype)
ATerm	ATermImpl.setSubTerm(int index, ATerm t)
ATerm	ATermListImpl.setSubTerm(int index, ATerm t)
abstract ATerm	ATermVisitableImpl.setSubTerm(int index, ATerm t)
ATerm	ATermApplImpl.setSubTerm(int index, ATerm t)
ATerm	ATermPlaceholderImpl.setSubTerm(int index, ATerm t)

Constructors in aterm.pure with parameters of type ATerm

Constructor and Description
ATermApplImpl(PureFactory factory, ATermList annos, AFun fun, ATerm[] i_args)
ATermListImpl(PureFactory factory, ATermList annos, ATerm first, ATermList next)
ATermPlaceholderImpl(PureFactory factory, ATermList annos, ATerm type)

Uses of ATerm in aterm.pure.binary

Methods in aterm.pure.binary that return ATerm

Modifier and Type	Method and Description
ATerm	BinaryReader.getRoot() Returns the reconstructed ATerm.
ATerm	BAFReader.readFromBinaryFile(boolean headerAlreadyRead)
static ATerm	BinaryReader.readTermFromSAFFile(PureFactory pureFactory, File file) Reads the ATerm from the given SAF encoded file.
static ATerm	BinaryReader.readTermFromSAFString(PureFactory pureFactory, byte[] data) Reads the ATerm from the given SAF encoded data.

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

Modifier and Type	Method and Description
static void	BinaryWriter.writeTermToSAFFile(ATerm aTerm, File file) Writes the given aterm to the given file.
static byte[]	BinaryWriter.writeTermToSAFString(ATerm aTerm) Writes the given aterm to a byte array.

Constructors in aterm.pure.binary with parameters of type ATerm

Constructor and Description
BinaryWriter(ATerm root) Constructor.