|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This is the base interface for all ATerm interfaces, which will ultimately be implemented by two separate ATerm Factories (a native and a pure one).
Field Summary | |
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 |
PLACEHOLDER
A term of type PLACEHOLDER |
static int |
REAL
A term of type REAL |
Method Summary | |
boolean |
equals(java.lang.Object obj)
Checks equality of this term against any java object. |
aterm.ATerm |
getAnnotation(aterm.ATerm label)
Gets a annotation associated with specific label from this term. |
aterm.ATermList |
getAnnotations()
Gets all annotations of this term. |
aterm.ATermFactory |
getFactory()
Retrieves the factory responsible for creating this ATerm. |
int |
getType()
Gets the type of this term. |
int |
hashCode()
Gets a hashcode value of this term. |
boolean |
isEqual(aterm.ATerm term)
Checks equality of this term against another term. |
aterm.ATerm |
make(java.util.List args)
Create a new term based on this term as a pattern and a list of arguments. |
java.util.List |
match(aterm.ATerm pattern)
Matches this term against a term pattern. |
java.util.List |
match(java.lang.String pattern)
Matches this term against a String pattern. |
aterm.ATerm |
removeAnnotation(aterm.ATerm label)
Removes a specific annotation from this term. |
aterm.ATerm |
removeAnnotations()
Removes all annotations of this term. |
aterm.ATerm |
setAnnotation(aterm.ATerm label,
aterm.ATerm anno)
Sets annotation of this term with given label. |
aterm.ATerm |
setAnnotations(aterm.ATermList annos)
Sets all annotations of this term. |
java.lang.String |
toString()
Gets a string representation of this term. |
void |
writeToSharedTextFile(java.io.OutputStream stream)
Write a term to a shared text file/stream. |
void |
writeToTextFile(java.io.OutputStream stream)
Write a term to a text file/stream. |
Methods inherited from interface aterm.ATermVisitable |
accept |
Methods inherited from interface aterm.visitor.Visitable |
getChildAt, getChildCount, setChildAt |
Field Detail |
public static final int INT
public static final int REAL
public static final int APPL
public static final int LIST
public static final int PLACEHOLDER
public static final int BLOB
Method Detail |
public int getType()
INT
,
REAL
,
APPL
,
LIST
,
PLACEHOLDER
,
BLOB
public int hashCode()
hashCode
in class java.lang.Object
public java.util.List match(java.lang.String pattern)
pattern
- the string pattern to match this term against.
aterm.ParseError
- if pattern cannot be parsed into a term.match(ATerm)
public java.util.List match(aterm.ATerm pattern)
pattern
- The term pattern to match this term against.
public aterm.ATerm getAnnotation(aterm.ATerm label)
label
- the label of the desired annotation.
setAnnotation(aterm.ATerm, aterm.ATerm)
public aterm.ATerm setAnnotation(aterm.ATerm label, aterm.ATerm anno)
label
- the label of the annotation.anno
- the annotation itself.
getAnnotation(aterm.ATerm)
public aterm.ATerm removeAnnotation(aterm.ATerm label)
label
- the label of the annotation to be removed.
setAnnotation(aterm.ATerm, aterm.ATerm)
public aterm.ATermList getAnnotations()
setAnnotations(aterm.ATermList)
public aterm.ATerm setAnnotations(aterm.ATermList annos)
annos
- the annotations to set.
getAnnotations()
public aterm.ATerm removeAnnotations()
setAnnotations(aterm.ATermList)
public boolean isEqual(aterm.ATerm term)
equals(java.lang.Object)
method.
term
- the term to check for equality.
equals(Object)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
obj
- the object to check for equality.
isEqual(aterm.ATerm)
public void writeToTextFile(java.io.OutputStream stream) throws java.io.IOException
stream
- the stream to write to
java.io.IOException
public void writeToSharedTextFile(java.io.OutputStream stream) throws java.io.IOException
stream
- the stream to write this term to
java.io.IOException
public aterm.ATerm make(java.util.List args)
args
- the list of arguments used to fill up holes in the patternpublic aterm.ATermFactory getFactory()
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |