aterm.pure

Class ATermPlaceholderImpl

java.lang.Object

aterm.pure.ATermVisitableImpl

aterm.pure.ATermImpl

aterm.pure.ATermPlaceholderImpl

All Implemented Interfaces:

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

public class ATermPlaceholderImpl
extends ATermImpl
implements ATermPlaceholder

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	ATermPlaceholderImpl(PureFactory factory)
protected	ATermPlaceholderImpl(PureFactory factory, ATermList annos, ATerm type)

Method Summary

Methods

Modifier and Type	Method and Description
Visitable	accept(Visitor v)
shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject obj)
int	getNrSubTerms()
ATerm	getPlaceholder() Gets the type of this placeholder.
ATerm	getSubTerm(int index)
int	getType() Gets the type of this term.
protected void	init(int hashCode, ATermList annos, ATerm type)
ATerm	make(List<Object> args) Create a new term based on this term as a pattern and a list of arguments.
boolean	match(ATerm pattern, List<Object> list)
ATerm	setAnnotations(ATermList annos) Sets all annotations of this term.
ATerm	setPlaceholder(ATerm newtype)
ATerm	setSubTerm(int index, ATerm t)

Methods inherited from class aterm.pure.ATermImpl

equals, getAnnotation, getAnnotations, getFactory, getPureFactory, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, 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, 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

ATermPlaceholderImpl

protected ATermPlaceholderImpl(PureFactory factory)

Parameters:

factory -

ATermPlaceholderImpl

protected ATermPlaceholderImpl(PureFactory factory,
                    ATermList annos,
                    ATerm type)

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,
        ATerm type)

Parameters:

hashCode -

annos -

type -

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

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

make

public ATerm make(List<Object> args)

Description copied from interface: ATerm

Create a new term based on this term as a pattern and a list of arguments.

Specified by:

make in interface ATerm

Overrides:

make in class ATermImpl

Parameters:

args - the list of arguments used to fill up holes in the pattern

Returns:

the constructed aterm

getPlaceholder

public ATerm getPlaceholder()

Description copied from interface: ATermPlaceholder

Gets the type of this placeholder.

Specified by:

getPlaceholder in interface ATermPlaceholder

Returns:

the type of this placeholder.

setPlaceholder

public ATerm setPlaceholder(ATerm newtype)

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

getNrSubTerms

public int getNrSubTerms()

Overrides:

getNrSubTerms in class ATermImpl

getSubTerm

public ATerm getSubTerm(int index)

Overrides:

getSubTerm in class ATermImpl

setSubTerm

public ATerm setSubTerm(int index,
               ATerm t)

Overrides:

setSubTerm in class ATermImpl