|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjpl.Term
jpl.JVoid
A jpl.JVoid is a specialised Term. Instances of this class denote JPL 'jvoid' values in Prolog, i.e. @(void):
JVoid b = new JVoid();A JVoid can be used (and re-used) in Compound Terms.
Copyright (C) 1998 Fred Dushin
This library is free software; you can redistribute it and/or modify it under the terms of the GNU Library Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library Public License for more details.
Term
,
Compound
Constructor Summary | |
JVoid()
This constructor creates a JVoid. |
Method Summary | |
Term[] |
args()
Deprecated. |
java.lang.String |
debugString()
Deprecated. |
boolean |
equals(java.lang.Object obj)
Two JVoids are equal |
java.lang.String |
toString()
Returns a Prolog source text representation of this JVoid |
int |
type()
returns the type of this term, as one of jpl.fli.Prolog.COMPOUND, .ATOM, .VARIABLE, .INTEGER, .FLOAT etc |
java.lang.String |
typeName()
returns the name of the type of this term, as one of "Compound", "Atom", "Variable", "Integer", "Float" etc |
Methods inherited from class jpl.Term |
arg, arity, debugString, doubleValue, floatValue, hasFunctor, hasFunctor, hasFunctor, intValue, isAtom, isCompound, isFloat, isInteger, isJBoolean, isJRef, isJVoid, isVariable, listLength, longValue, name, putParams, putParams, toString, toTermArray |
Methods inherited from class java.lang.Object |
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public JVoid()
Method Detail |
public java.lang.String toString()
public final boolean equals(java.lang.Object obj)
obj
- The Object to compare (not necessarily another JVoid)
public final int type()
Term
type
in class Term
public java.lang.String typeName()
Term
typeName
in class Term
public Term[] args()
args
in class Term
public java.lang.String debugString()
debugString
in class Term
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |