com.ugos.JIProlog.engine
Class JIPClausesEnumeration

java.lang.Object
  |
  +--com.ugos.JIProlog.engine.JIPClausesEnumeration

All Implemented Interfaces:

java.util.Enumeration

public abstract class JIPClausesEnumeration

extends java.lang.Object

implements java.util.Enumeration

JIPClausesEnumeration is the base class to implement an enumeration of clauses contained in a custom database
Developers should implements the methods:
- nextClause
- hasMoreElements
For more information see the section "How to implement a custom database of clauses" in the Reference Manual.

Version:

2.0

Author:

Ugo Chirico 2002
Home Page: http://www.ugosweb.com/jiprolog

See Also:

JIPClausesDatabase

Constructor Summary

JIPClausesEnumeration(JIPClausesDatabase db)
Constructs a clauses enumeration from an instance of JIPClausesDatabase

Method Summary

JIPClausesDatabase	getDatabase() Gets the database associated to this enumeration
abstract JIPClause	nextClause() Gets the next clause in this enumeration.
java.lang.Object	nextElement() Gets the next element of the enumeration.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Enumeration

hasMoreElements

Constructor Detail

JIPClausesEnumeration

public JIPClausesEnumeration(JIPClausesDatabase db)

Constructs a clauses enumeration from an instance of JIPClausesDatabase

Parameters:

db - Tha JIPClausesDatabase related to this enumeration

See Also:

JIPClausesDatabase

Method Detail

nextClause

public abstract JIPClause nextClause()

Gets the next clause in this enumeration.

Returns:

the next clause in the enumeration.

See Also:

JIPClause

nextElement

public final java.lang.Object nextElement()

Gets the next element of the enumeration.
It is called by internal ASM and should not be called by developers.

Specified by:

nextElement in interface java.util.Enumeration

getDatabase

public final JIPClausesDatabase getDatabase()

Gets the database associated to this enumeration