Class RecordedDatabase.DatabaseIterator

java.lang.Object

org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

All Implemented Interfaces:

Iterator<Record>

Enclosing class:

RecordedDatabase

private class RecordedDatabase.DatabaseIterator
extends Object
implements Iterator<Record>

Field Summary

Fields

Modifier and Type	Field	Description
private RecordedDatabase.ChainIterator	chainIterator
private int	keyIdx

Constructor Summary

Constructors

Modifier	Constructor	Description
private	DatabaseIterator()

Method Summary

Modifier and Type	Method	Description
private boolean	hasIteratedOverAllChains()
boolean	hasNext()
Record	next()
private void	updateChainIterator()

Methods inherited from class Object

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

Methods inherited from interface Iterator

forEachRemaining, remove

Field Details

keyIdx

private int keyIdx

chainIterator

private RecordedDatabase.ChainIterator chainIterator

Constructor Details

DatabaseIterator

private DatabaseIterator()

Method Details

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Record>

hasIteratedOverAllChains

private boolean hasIteratedOverAllChains()

updateChainIterator

private void updateChainIterator()

next

public Record next()

Specified by:

next in interface Iterator<Record>