public class JRef extends Term
JRef r = new JRef( non_String_object_or_null );A JRef 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.
| Constructor and Description |
|---|
JRef(java.lang.Object ref)
Deprecated.
This constructor creates a JRef, initialized with the supplied
non-String object (or null).
|
| Modifier and Type | Method and Description |
|---|---|
Term |
arg(int ano)
Deprecated.
returns the ano-th (1+) argument of a (Compound) Term
throws a JPLException for any other subclass
|
Term[] |
args()
Deprecated.
|
java.lang.String |
debugString()
Deprecated.
|
boolean |
equals(java.lang.Object obj)
Deprecated.
Two JRefs are equal if their references are identical (?)
|
boolean |
hasFunctor(double value,
int arity)
Deprecated.
Tests whether this Term's functor has (double) 'name' and 'arity'
Returns false if called inappropriately
|
boolean |
hasFunctor(int value,
int arity)
Deprecated.
Tests whether this Term's functor has (int) 'name' and 'arity'
Returns false if called inappropriately
|
boolean |
hasFunctor(java.lang.String name,
int arity)
Deprecated.
Tests whether this Term's functor has (String) 'name' and 'arity'
Returns false if called inappropriately
|
java.lang.Object |
jrefToObject()
Deprecated.
|
java.lang.Object |
ref()
Deprecated.
The non-String object (or null) which this jpl.JRef represents
|
java.lang.String |
toString()
Deprecated.
Returns a Prolog source text representation of this JRef
|
int |
type()
Deprecated.
returns the type of this term, as one of jpl.fli.Prolog.COMPOUND, .ATOM, .VARIABLE, .INTEGER, .FLOAT etc
|
java.lang.String |
typeName()
Deprecated.
returns the name of the type of this term, as one of "Compound", "Atom", "Variable", "Integer", "Float" etc
|
arity, debugString, doubleValue, floatValue, intValue, isAtom, isCompound, isFloat, isInteger, isJFalse, isJNull, isJObject, isJRef, isJTrue, isJVoid, isVariable, listLength, longValue, name, objectToJRef, put, putParams, putParams, putTerm, toString, toTermArraypublic JRef(java.lang.Object ref)
ref - this JRef's value (a non-String object, or null)public Term arg(int ano)
Termpublic java.lang.String toString()
toString in class java.lang.Objectpublic final boolean equals(java.lang.Object obj)
equals in class java.lang.Objectobj - The Object to comparepublic final int type()
Termpublic java.lang.String typeName()
Termpublic java.lang.Object ref()
public Term[] args()
public java.lang.String debugString()
debugString in class Termpublic boolean hasFunctor(java.lang.String name,
int arity)
TermhasFunctor in class Termpublic boolean hasFunctor(int value,
int arity)
TermhasFunctor in class Termpublic boolean hasFunctor(double value,
int arity)
TermhasFunctor in class Termpublic java.lang.Object jrefToObject()
jrefToObject in class Term