com.ugos.jiprolog.extensions.database

Class PrologClausesEnumeration

java.lang.Object

com.ugos.jiprolog.engine.JIPClausesEnumeration

com.ugos.jiprolog.extensions.database.PrologClausesEnumeration

All Implemented Interfaces:

Enumeration

public class PrologClausesEnumeration
extends JIPClausesEnumeration

Constructor Summary

Constructors

Constructor and Description
PrologClausesEnumeration(PrologClausesDatabase db)

Method Summary

Methods

Modifier and Type	Method and Description
void	finalize()
boolean	hasMoreElements()
JIPClause	nextClause() Gets the next clause in this enumeration.

Methods inherited from class com.ugos.jiprolog.engine.JIPClausesEnumeration

getDatabase, nextElement

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologClausesEnumeration

public PrologClausesEnumeration(PrologClausesDatabase db)

Method Detail

hasMoreElements

public boolean hasMoreElements()

nextClause

public JIPClause nextClause()

Description copied from class: JIPClausesEnumeration

Gets the next clause in this enumeration.

Specified by:

nextClause in class JIPClausesEnumeration

Returns:

the next clause in the enumeration.

See Also:

JIPClause

finalize

public void finalize()

Overrides:

finalize in class Object