aterm.pure

Class ATermIntImpl

java.lang.Object

aterm.pure.ATermVisitableImpl

aterm.pure.ATermImpl

aterm.pure.ATermIntImpl

All Implemented Interfaces:

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

public class ATermIntImpl
extends ATermImpl
implements ATermInt

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	ATermIntImpl(PureFactory factory)
protected	ATermIntImpl(PureFactory factory, ATermList annos, int value)

Method Summary

Methods

Modifier and Type	Method and Description
Visitable	accept(Visitor v)
shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject obj)
int	getInt() Gets the integer value from this term.
int	getType() Gets the type of this term.
protected void	init(int hashCode, ATermList annos, int value)
protected void	initHashCode(ATermList annos, int value)
protected boolean	match(ATerm pattern, List<Object> list)
ATerm	setAnnotations(ATermList annos) Sets all annotations of this term.

Methods inherited from class aterm.pure.ATermImpl

equals, getAnnotation, getAnnotations, getFactory, getNrSubTerms, getPureFactory, getSubTerm, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, setSubTerm, setUniqueIdentifier, toString, 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, getAnnotation, getAnnotations, getFactory, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, toString, writeToSharedTextFile, writeToTextFile

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Constructor Detail

ATermIntImpl

protected ATermIntImpl(PureFactory factory)

Parameters:

factory -

ATermIntImpl

protected ATermIntImpl(PureFactory factory,
            ATermList annos,
            int value)

Method Detail

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

init

protected void init(int hashCode,
        ATermList annos,
        int value)

Parameters:

hashCode -

annos -

value -

initHashCode

protected void initHashCode(ATermList annos,
                int value)

Parameters:

annos -

value -

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

match

protected boolean match(ATerm pattern,
            List<Object> list)

getInt

public int getInt()

Description copied from interface: ATermInt

Gets the integer value from this term.

Specified by:

getInt in interface ATermInt

Returns:

the integer value from this term.

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()

accept

public Visitable accept(Visitor v)
                 throws jjtraveler.VisitFailure

Throws:

jjtraveler.VisitFailure