aterm

Interface ATermAppl

All Superinterfaces:

ATerm, Identifiable, jjtraveler.Visitable

All Known Implementing Classes:

ATermApplImpl

public interface ATermAppl
extends ATerm

An ATermAppl represents a function application.

Author:

Hayco de Jong (jong@cwi.nl), Pieter Olivier (olivierp@cwi.nl)

Field Summary

Fields inherited from interface aterm.ATerm

AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL

Method Summary

Methods

Modifier and Type	Method and Description
AFun	getAFun() Gets the AFun object that represents the function symbol of this application
ATerm	getArgument(int i) Gets a specific argument of this application.
ATerm[]	getArgumentArray() Gets the arguments of this application as an array of ATerm objects.
ATermList	getArguments() Gets the arguments of this application.
int	getArity() Gets the arity of this application.
String	getName() Gets the function name of this application.
boolean	isQuoted() Checks if this application is quoted.
ATermAppl	setArgument(ATerm arg, int i) Sets a specific argument of this application.

Methods inherited from interface aterm.ATerm

equals, getAnnotation, getAnnotations, getFactory, getType, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFile

Methods inherited from interface aterm.Visitable

accept

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Method Detail

getAFun

AFun getAFun()

Gets the AFun object that represents the function symbol of this application

Returns:

the function symbol of this application.

getName

String getName()

Gets the function name of this application.

Returns:

the function name of this application.

getArguments

ATermList getArguments()

Gets the arguments of this application.

Returns:

a list containing all arguments of this application.

getArgumentArray

ATerm[] getArgumentArray()

Gets the arguments of this application as an array of ATerm objects.

Returns:

an array containing all arguments of this application.

getArgument

ATerm getArgument(int i)

Gets a specific argument of this application.

Parameters:

i - the index of the argument to be retrieved.

Returns:

the ith argument of the application.

setArgument

ATermAppl setArgument(ATerm arg,
                    int i)

Sets a specific argument of this application.

Parameters:

arg - the new ith argument.

i - the index of the argument to be set.

Returns:

a copy of this application with argument i replaced by arg.

isQuoted

boolean isQuoted()

Checks if this application is quoted. A quoted application looks like this: "foo", whereas an unquoted looks like this: foo.

Returns:

true if this application is quoted, false otherwise.

getArity

int getArity()

Gets the arity of this application. Arity is the number of arguments of a function application.

Returns:

the number of arguments of this application.