Package com.semedy.reasoner.core

Class ResultEnumeratorNotThreaded

java.lang.Object

com.semedy.reasoner.core.ResultEnumeratorNotThreaded

All Implemented Interfaces:

ResultEnumerator, Closeable, AutoCloseable, Cloneable

public class ResultEnumeratorNotThreaded
extends Object
implements Closeable, Cloneable, ResultEnumerator

enumerator for reasoning results

Author:

juergen

Constructor Summary

Constructors

Constructor	Description
ResultEnumeratorNotThreaded(List<TupleEnumerator> enms, int arity, SymbolTable symbols, List<String> variables)

Method Summary

Modifier and Type	Method	Description
ResultEnumerator	cloneEnumerator()	clone the iterator
void	close()	close the iterator
ResultBuffer	getBuffer()	get a result buffer
boolean	hasFinished()	Is the enumerator at the end?
boolean	hasMoreElements()	Are there more elements?
void	nextElement()	Move to next element (the next element is found in the buffer)

Methods inherited from class java.lang.Object

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

Constructor Details

ResultEnumeratorNotThreaded

public ResultEnumeratorNotThreaded(List<TupleEnumerator> enms,
 int arity,
 SymbolTable symbols,
 List<String> variables)

Method Details

hasMoreElements

public boolean hasMoreElements()
                        throws IOException,
EDBException

Are there more elements?

Specified by:

hasMoreElements in interface ResultEnumerator

Returns:

true if there are more elements

Throws:

IOException

EDBException

nextElement

public void nextElement()
                 throws IOException,
EDBException

Move to next element (the next element is found in the buffer)

Specified by:

nextElement in interface ResultEnumerator

Throws:

IOException

EDBException

hasFinished

public boolean hasFinished()
                    throws IOException,
EDBException

Is the enumerator at the end?

Specified by:

hasFinished in interface ResultEnumerator

Returns:

true if there is no more result

Throws:

IOException

EDBException

getBuffer

public ResultBuffer getBuffer()

get a result buffer

Specified by:

getBuffer in interface ResultEnumerator

Returns:

buffer for results

close

public void close()
           throws IOException

close the iterator

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Specified by:

close in interface ResultEnumerator

Throws:

IOException

cloneEnumerator

public ResultEnumerator cloneEnumerator()
                                 throws IOException,
EDBException

clone the iterator

Specified by:

cloneEnumerator in interface ResultEnumerator

Returns:

Throws:

IOException

EDBException