aterm.pure

Class ATermLongImpl

java.lang.Object

aterm.pure.ATermVisitableImpl

aterm.pure.ATermImpl

aterm.pure.ATermLongImpl

All Implemented Interfaces:

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

public class ATermLongImpl
extends ATermImpl
implements ATermLong

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

Method Summary

Methods

Modifier and Type	Method and Description
Visitable	accept(Visitor v)
shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject obj)
long	getLong() Gets the long value from this term.
int	getType() Gets the type of this term.
protected void	init(int hashCode, ATermList annos, long value)
protected void	initHashCode(ATermList annos, long 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

ATermLongImpl

protected ATermLongImpl(PureFactory factory)

Parameters:

factory -

ATermLongImpl

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

Parameters:

hashCode -

annos -

value -

initHashCode

protected void initHashCode(ATermList annos,
                long 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)

getLong

public long getLong()

Description copied from interface: ATermLong

Gets the long value from this term.

Specified by:

getLong in interface ATermLong

Returns:

the long 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