jpl
public class Variable extends Term
A jpl.Variable instance is equivalent to a variable in a fragment of Prolog source text: it is *not* a "live" variable within a Prolog stack or heap. A corresponding Prolog variable is created only upon opening a Query whose goal refers to a Variable (and then only temporarily).
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.
Field Summary | |
---|---|
String | name |
Constructor Summary | |
---|---|
Variable(String name)
Create a new Variable with 'name' (which must not be null or ""),
and may one day be constrained to comply with traditional Prolog syntax.
| |
Variable()
Create a new Variable with new sequential name of the form "_261".
|
Method Summary | |
---|---|
Term[] | args()
The (nonexistent) args of this Variable |
String | debugString()
Returns a debug-friendly String representation of an Atom.
|
boolean | equals(Object obj)
A Variable is equal to another if their names are the same and they are not anonymous.
|
String | name()
returns the lexical name of this Variable
|
String | toString()
Returns a Prolog source text representation of this Variable
|
int | type()
returns the type of this subclass of Term, i.e. |
String | typeName()
returns the typeName of this subclass of Term, i.e. |
Parameters: name the source name of this Variable
Returns: the (nonexistent) args of this Variable (never)
Throws: JPLException
Deprecated:
Returns a debug-friendly String representation of an Atom.Returns: a debug-friendly String representation of an Atom
Parameters: obj The Object to compare.
Returns: true if the Object is a Variable and the above condition apply.
Returns: the lexical name of this Variable
Returns: a Prolog source text representation of this Variable
Returns: the type of this subclass of Term, i.e. Prolog.VARIABLE
Returns: the typeName of this subclass of Term, i.e. "Variable"