|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.prolog.term.Term
gnu.prolog.term.AtomicTerm
gnu.prolog.term.NumericTerm
gnu.prolog.term.IntegerTerm
public class IntegerTerm
32bit Integer term.
| Field Summary | |
|---|---|
protected static IntegerTerm[] |
cache
|
static IntegerTerm |
int_0
0 integer term |
static IntegerTerm |
int_1
1 integer term |
static IntegerTerm |
int_2
2 integer term |
static IntegerTerm |
int_3
3 integer term |
static IntegerTerm |
int_4
4 integer term |
static IntegerTerm |
int_m1
-1 integer term |
static IntegerTerm |
int_m2
-2 integer term |
int |
value
value of integer |
| Fields inherited from class gnu.prolog.term.Term |
|---|
ATOM, COMPOUND, FLOAT, INTEGER, JAVA_OBJECT, UNKNOWN, VARIABLE |
| Constructor Summary | |
|---|---|
IntegerTerm(int val)
a constructor |
|
IntegerTerm(String str)
get integer term using string value |
|
| Method Summary | |
|---|---|
static IntegerTerm |
get(int val)
get integer term equal to val |
static IntegerTerm |
get(String str)
get integer term using string value |
int |
getTermType()
get type of term |
protected static int |
parseInt(String str)
|
| Methods inherited from class gnu.prolog.term.AtomicTerm |
|---|
clone, clone |
| Methods inherited from class gnu.prolog.term.Term |
|---|
dereference, toString |
| Methods inherited from class java.lang.Object |
|---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
protected static IntegerTerm[] cache
public static final IntegerTerm int_m2
public static final IntegerTerm int_m1
public static final IntegerTerm int_0
public static final IntegerTerm int_1
public static final IntegerTerm int_2
public static final IntegerTerm int_3
public static final IntegerTerm int_4
public final int value
| Constructor Detail |
|---|
public IntegerTerm(String str)
str - value of integer term
IllegalArgumentException - when val could ne be converted to integerpublic IntegerTerm(int val)
val - value of term| Method Detail |
|---|
public static IntegerTerm get(int val)
val - value of integer term
protected static int parseInt(String str)
public static IntegerTerm get(String str)
str - value of integer term
IllegalArgumentException - when val could not be converted to integerpublic int getTermType()
getTermType in class Term
|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||