public interface ATerm extends Visitable, Identifiable
| Modifier and Type | Field and Description |
|---|---|
static int |
AFUN
A term of type AFUN (function symbol)
|
static int |
APPL
A term of type APPL (function application)
|
static int |
BLOB
A term of type BLOB (Binary Large OBject)
|
static int |
INT
A term of type INT
|
static int |
LIST
A term of type LIST
|
static int |
LONG
A term of type LONG
|
static int |
PLACEHOLDER
A term of type PLACEHOLDER
|
static int |
REAL
A term of type REAL
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj)
Checks equality of this term against any java object.
|
ATerm |
getAnnotation(ATerm label)
Gets a annotation associated with specific label from this term.
|
ATermList |
getAnnotations()
Gets all annotations of this term.
|
ATermFactory |
getFactory()
Retrieves the factory responsible for creating this ATerm.
|
int |
getType()
Gets the type of this term.
|
boolean |
hasAnnotations() |
int |
hashCode()
Gets a hashcode value of this term.
|
boolean |
isEqual(ATerm term)
Checks equality of this term against another term.
|
ATerm |
make(List<Object> args)
Create a new term based on this term as a pattern and a list of arguments.
|
List<Object> |
match(ATerm pattern)
Matches this term against a term pattern.
|
List<Object> |
match(String pattern)
Matches this term against a String pattern.
|
ATerm |
removeAnnotation(ATerm label)
Removes a specific annotation from this term.
|
ATerm |
removeAnnotations()
Removes all annotations of this term.
|
ATerm |
setAnnotation(ATerm label,
ATerm anno)
Sets annotation of this term with given label.
|
ATerm |
setAnnotations(ATermList annos)
Sets all annotations of this term.
|
String |
toString()
Gets a string representation of this term.
|
void |
writeToSharedTextFile(OutputStream stream)
Write a term to a shared text file/stream.
|
void |
writeToTextFile(OutputStream stream)
Write a term to a text file/stream.
|
getUniqueIdentifierstatic final int INT
static final int REAL
static final int APPL
static final int LIST
static final int PLACEHOLDER
static final int BLOB
static final int AFUN
static final int LONG
int getType()
int hashCode()
List<Object> match(String pattern)
pattern - the string pattern to match this term against.ParseError - if pattern cannot be parsed into a term.match(ATerm)List<Object> match(ATerm pattern)
pattern - The term pattern to match this term against.boolean hasAnnotations()
ATerm getAnnotation(ATerm label)
label - the label of the desired annotation.setAnnotation(aterm.ATerm, aterm.ATerm)ATerm setAnnotation(ATerm label, ATerm anno)
label - the label of the annotation.anno - the annotation itself.getAnnotation(aterm.ATerm)ATerm removeAnnotation(ATerm label)
label - the label of the annotation to be removed.setAnnotation(aterm.ATerm, aterm.ATerm)ATermList getAnnotations()
setAnnotations(aterm.ATermList)ATerm setAnnotations(ATermList annos)
annos - the annotations to set.getAnnotations()ATerm removeAnnotations()
setAnnotations(aterm.ATermList)boolean isEqual(ATerm term)
equals(java.lang.Object) method.term - the term to check for equality.equals(Object)boolean equals(Object obj)
equals in class Objectobj - the object to check for equality.isEqual(aterm.ATerm)void writeToTextFile(OutputStream stream) throws IOException
stream - the stream to write toIOExceptionvoid writeToSharedTextFile(OutputStream stream) throws IOException
stream - the stream to write this term toIOExceptionATerm make(List<Object> args)
args - the list of arguments used to fill up holes in the patternATermFactory getFactory()
Copyright © 2012 CWI. All Rights Reserved.