aterm.pure

Class ATermBlobImpl

java.lang.Object

aterm.pure.ATermVisitableImpl

aterm.pure.ATermImpl

aterm.pure.ATermBlobImpl

All Implemented Interfaces:

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

public class ATermBlobImpl
extends ATermImpl
implements ATermBlob

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	ATermBlobImpl(PureFactory factory)
protected	ATermBlobImpl(PureFactory factory, ATermList annos, byte[] data)

Method Summary

Methods

Modifier and Type	Method and Description
Visitable	accept(Visitor v)
shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject obj)
byte[]	getBlobData() Gets the data in this blob.
int	getBlobSize() Gets the size (in bytes) of the data in this blob.
int	getType() Gets the type of this term.
protected void	init(int hashCode, ATermList annos, byte[] data)
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

ATermBlobImpl

protected ATermBlobImpl(PureFactory factory)

Parameters:

factory -

ATermBlobImpl

protected ATermBlobImpl(PureFactory factory,
             ATermList annos,
             byte[] data)

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,
        byte[] data)

Parameters:

hashCode -

annos -

data -

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)

getBlobData

public byte[] getBlobData()

Description copied from interface: ATermBlob

Gets the data in this blob.

Specified by:

getBlobData in interface ATermBlob

Returns:

the data in this blob.

getBlobSize

public int getBlobSize()

Description copied from interface: ATermBlob

Gets the size (in bytes) of the data in this blob.

Specified by:

getBlobSize in interface ATermBlob

Returns:

the size of the data in this blob.

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