public class ATermLongImpl extends ATermImpl implements ATermLong
| Modifier | Constructor and Description |
|---|---|
protected |
ATermLongImpl(PureFactory factory) |
protected |
ATermLongImpl(PureFactory factory,
ATermList annos,
long value) |
| Modifier and Type | Method and Description |
|---|---|
Visitable |
accept(Visitor v) |
shared.SharedObject |
duplicate() |
boolean |
equivalent(shared.SharedObject obj) |
long |
getLong()
Gets the long value from this term.
|
int |
getType()
Gets the type of this term.
|
protected void |
init(int hashCode,
ATermList annos,
long value) |
protected void |
initHashCode(ATermList annos,
long value) |
protected boolean |
match(ATerm pattern,
List<Object> list) |
ATerm |
setAnnotations(ATermList annos)
Sets all annotations of this term.
|
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, writeToTextFilegetChildAt, getChildCount, setChildAtclone, finalize, getClass, notify, notifyAll, wait, wait, waitequals, getAnnotation, getAnnotations, getFactory, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, toString, writeToSharedTextFile, writeToTextFilegetUniqueIdentifierprotected ATermLongImpl(PureFactory factory)
factory - protected ATermLongImpl(PureFactory factory, ATermList annos, long value)
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,
long value)
hashCode - annos - value - protected void initHashCode(ATermList annos, long value)
annos - value - public shared.SharedObject duplicate()
duplicate in interface shared.SharedObjectpublic boolean equivalent(shared.SharedObject obj)
equivalent in interface shared.SharedObjectpublic long getLong()
ATermLongpublic ATerm setAnnotations(ATermList annos)
ATermsetAnnotations in interface ATermannos - the annotations to set.ATerm.getAnnotations()Copyright © 2012 CWI. All Rights Reserved.