aterm.pure

Class AFunImpl

java.lang.Object

aterm.pure.ATermVisitableImpl

aterm.pure.ATermImpl

aterm.pure.AFunImpl

All Implemented Interfaces:

AFun, ATerm, Identifiable, jjtraveler.Visitable, shared.SharedObject, shared.SharedObjectWithID

public class AFunImpl
extends ATermImpl
implements AFun

Field Summary

Fields inherited from class aterm.pure.ATermImpl

factory

Fields inherited from interface aterm.ATerm

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AFunImpl(PureFactory factory)
protected	AFunImpl(PureFactory factory, String name, int arity, boolean isQuoted)

Method Summary

Methods

Modifier and Type	Method and Description
Visitable	accept(Visitor v)
shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject obj)
ATerm	getAnnotation(ATerm key) Gets a annotation associated with specific label from this term.
ATermList	getAnnotations() Gets all annotations of this term.
int	getArity() Gets the arity of this application.
String	getName() Gets the name of the function symbol
int	getType() Gets the type of this term.
protected void	init(int hashCode, String name, int arity, boolean isQuoted)
protected void	initHashCode(String name, int arity, boolean isQuoted)
boolean	isQuoted() Checks if this application is quoted.
int	serialize(BufferedOutputStreamWriter writer)
ATerm	setAnnotations(ATermList annos) Sets all annotations of this term.
String	toString() Gets a string representation of this term.

Methods inherited from class aterm.pure.ATermImpl

equals, getFactory, getNrSubTerms, getPureFactory, getSubTerm, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, setSubTerm, setUniqueIdentifier, writeToSharedTextFile, writeToTextFile, writeToTextFile

Methods inherited from class aterm.pure.ATermVisitableImpl

getChildAt, getChildCount, setChildAt

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface aterm.ATerm

equals, getFactory, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, writeToSharedTextFile, writeToTextFile

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Constructor Detail

AFunImpl

protected AFunImpl(PureFactory factory)

Parameters:

factory -

AFunImpl

protected AFunImpl(PureFactory factory,
        String name,
        int arity,
        boolean isQuoted)

Method Detail

init

protected void init(int hashCode,
        String name,
        int arity,
        boolean isQuoted)

Parameters:

hashCode -

name -

arity -

isQuoted -

initHashCode

protected void initHashCode(String name,
                int arity,
                boolean isQuoted)

Parameters:

name -

arity -

isQuoted -

duplicate

public shared.SharedObject duplicate()

Specified by:

duplicate in interface shared.SharedObject

equivalent

public boolean equivalent(shared.SharedObject obj)

Specified by:

equivalent in interface shared.SharedObject

getType

public int getType()

Description copied from interface: ATerm

Gets the type of this term.

Specified by:

getType in interface ATerm

Returns:

the type of this ATerm.

See Also:

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

getName

public String getName()

Description copied from interface: AFun

Gets the name of the function symbol

Specified by:

getName in interface AFun

Returns:

the name of this function symbol.

getArity

public int getArity()

Description copied from interface: AFun

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

Specified by:

getArity in interface AFun

Returns:

the number of arguments that applications of this function symbol have.

isQuoted

public boolean isQuoted()

Description copied from interface: AFun

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

Specified by:

isQuoted in interface AFun

Returns:

true if this application is quoted, false otherwise.

getAnnotation

public ATerm getAnnotation(ATerm key)

Description copied from interface: ATerm

Gets a annotation associated with specific label from this term.

Specified by:

getAnnotation in interface ATerm

Overrides:

getAnnotation in class ATermImpl

Parameters:

key - the label of the desired annotation.

Returns:

the annotation associated with label, or null if annotation with specified label does not exist.

See Also:

ATerm.setAnnotation(aterm.ATerm, aterm.ATerm)

getAnnotations

public ATermList getAnnotations()

Description copied from interface: ATerm

Gets all annotations of this term.

Specified by:

getAnnotations in interface ATerm

Overrides:

getAnnotations in class ATermImpl

Returns:

all annotations of this term

See Also:

ATerm.setAnnotations(aterm.ATermList)

setAnnotations

public ATerm setAnnotations(ATermList annos)

Description copied from interface: ATerm

Sets all annotations of this term.

Specified by:

setAnnotations in interface ATerm

Parameters:

annos - the annotations to set.

Returns:

a new version of this term with the requested annotations.

See Also:

ATerm.getAnnotations()

serialize

public int serialize(BufferedOutputStreamWriter writer)
              throws IOException

Specified by:

serialize in interface AFun

Throws:

IOException

toString

public String toString()

Description copied from interface: ATerm

Gets a string representation of this term.

Specified by:

toString in interface ATerm

Overrides:

toString in class ATermImpl

Returns:

a string representation of this term.

accept

public Visitable accept(Visitor v)
                 throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure