|
The Meta-Environment API | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ATermLong
This interface describes the functionality of an ATermLong
| Field Summary |
|---|
| Fields inherited from interface aterm.ATerm |
|---|
AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL |
| Method Summary | |
|---|---|
long |
getLong()
Gets the long value from this term. |
| Methods inherited from interface aterm.ATerm |
|---|
equals, getAnnotation, getAnnotations, getFactory, getType, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFile |
| Methods inherited from interface aterm.Visitable |
|---|
accept |
| Methods inherited from interface jjtraveler.Visitable |
|---|
getChildAt, getChildCount, setChildAt |
| Methods inherited from interface aterm.Identifiable |
|---|
getUniqueIdentifier |
| Method Detail |
|---|
long getLong()
|
The Meta-Environment API | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||