aterm

Interface ATermInt

All Superinterfaces:

ATerm, Identifiable, jjtraveler.Visitable

All Known Implementing Classes:

ATermIntImpl

public interface ATermInt
extends ATerm

This interface describes the functionality of an ATermInt

Author:

Hayco de Jong (jong@cwi.nl), Pieter Olivier (olivierp@cwi.nl)

Field Summary

Fields inherited from interface aterm.ATerm

AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL

Method Summary

Methods

Modifier and Type	Method and Description
int	getInt() Gets the integer 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

getInt

int getInt()

Gets the integer value from this term.

Returns:

the integer value from this term.