com.ugos.jiprolog.extensions.database

Class TextClausesEnumeration

java.lang.Object

com.ugos.jiprolog.engine.JIPClausesEnumeration

com.ugos.jiprolog.extensions.database.TextClausesEnumeration

All Implemented Interfaces:

Enumeration

public class TextClausesEnumeration
extends JIPClausesEnumeration

Constructor Summary

Constructors

Constructor and Description
TextClausesEnumeration(TextClausesDatabase 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

TextClausesEnumeration

public TextClausesEnumeration(TextClausesDatabase 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