jpl::fli::term_t Class Reference

Inheritance diagram for jpl::fli::term_t:

[legend]

List of all members.

Public Member Functions
boolean	equals (Object obj)
	term_t ()
Static Public Member Functions
static String	toString (int n, term_t term0)
Static Public Attributes
static final long	UNASSIGNED = -1L

---

Detailed Description

A term_t is a simple class which mirrors the term_t type in the Prolog FLI. All it really does is hold a term reference, which is an internal representation of a term in the Prolog Engine.

---

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.

---

Author:

Fred Dushin <fadushin@syr.edu>

Version:

$Revision$

Definition at line 58 of file term_t.java.

---

Constructor & Destructor Documentation

jpl::fli::term_t::term_t

(

)

[inline]

Definition at line 64 of file term_t.java.

---

Member Function Documentation

boolean jpl::fli::term_t::equals

(

Object

obj

)

[inline]

Instances of term_ts are stored in Term objects (see jpl.Term), and these term_ts are in some cases stored in Hashtables. Supplying this predicate provides the right behavior in Hashtable lookup (see the rules for Hashtable lookup in java.util).

Note. Two term_ts are *not* equal if their values have not been assigned. (Since Prolog FLI term_ts are unsigned values and the UNASSIGNED value is -1, this should work).

Parameters:

obj

the Object to comapre.

Returns:

true if the supplied object is a term_t instances and the long values are the same

Definition at line 124 of file term_t.java.

static String jpl::fli::term_t::toString	(	int	n,
		term_t	term0
	)			[inline, static]

This static method converts a term_t, which is assumed to contain a reference to a *consecutive* list of term_t references to a String representation of a list of terms, in this case, a comma separated list.

Parameters:

	n	the number of consecutive term_ts
	term0	a term_t whose value is the 0th term_t.

Definition at line 84 of file term_t.java.

---

Member Data Documentation

final long jpl::fli::term_t::UNASSIGNED = -1L [static]

Definition at line 61 of file term_t.java.

---

The documentation for this class was generated from the following file:

• term_t.java