public class ATermPlaceholderImpl extends ATermImpl implements ATermPlaceholder
| Modifier | Constructor and Description |
|---|---|
protected |
ATermPlaceholderImpl(PureFactory factory) |
protected |
ATermPlaceholderImpl(PureFactory factory,
ATermList annos,
ATerm type) |
| 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) |
equals, getAnnotation, getAnnotations, getFactory, getPureFactory, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, setUniqueIdentifier, toString, writeToSharedTextFile, writeToTextFile, writeToTextFilegetChildAt, getChildCount, setChildAtclone, finalize, getClass, notify, notifyAll, wait, wait, waitequals, getAnnotation, getAnnotations, getFactory, hasAnnotations, hashCode, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, toString, writeToSharedTextFile, writeToTextFilegetUniqueIdentifierprotected ATermPlaceholderImpl(PureFactory factory)
factory - protected ATermPlaceholderImpl(PureFactory factory, ATermList annos, ATerm type)
public int getType()
ATermgetType in interface ATermATerm.INT,
ATerm.REAL,
ATerm.APPL,
ATerm.LIST,
ATerm.PLACEHOLDER,
ATerm.BLOB,
ATerm.AFUN,
ATerm.LONGprotected void init(int hashCode,
ATermList annos,
ATerm type)
hashCode - annos - type - public shared.SharedObject duplicate()
duplicate in interface shared.SharedObjectpublic boolean equivalent(shared.SharedObject obj)
equivalent in interface shared.SharedObjectpublic ATerm make(List<Object> args)
ATermpublic ATerm getPlaceholder()
ATermPlaceholdergetPlaceholder in interface ATermPlaceholderpublic ATerm setAnnotations(ATermList annos)
ATermsetAnnotations in interface ATermannos - the annotations to set.ATerm.getAnnotations()public Visitable accept(Visitor v) throws jjtraveler.VisitFailure
jjtraveler.VisitFailurepublic int getNrSubTerms()
getNrSubTerms in class ATermImplpublic ATerm getSubTerm(int index)
getSubTerm in class ATermImplpublic ATerm setSubTerm(int index, ATerm t)
setSubTerm in class ATermImplCopyright © 2012 CWI. All Rights Reserved.