Class RecordedDatabase.DatabaseIterator
- java.lang.Object
-
- org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator
-
- All Implemented Interfaces:
java.util.Iterator<Record>
- Enclosing class:
- RecordedDatabase
private class RecordedDatabase.DatabaseIterator extends java.lang.Object implements java.util.Iterator<Record>
-
-
Field Summary
Fields Modifier and Type Field Description private RecordedDatabase.ChainIteratorchainIteratorprivate intkeyIdx
-
Constructor Summary
Constructors Modifier Constructor Description privateDatabaseIterator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private booleanhasIteratedOverAllChains()booleanhasNext()Recordnext()private voidupdateChainIterator()
-
-
-
Field Detail
-
keyIdx
private int keyIdx
-
chainIterator
private RecordedDatabase.ChainIterator chainIterator
-
-
Method Detail
-
hasNext
public boolean hasNext()
- Specified by:
hasNextin interfacejava.util.Iterator<Record>
-
hasIteratedOverAllChains
private boolean hasIteratedOverAllChains()
-
updateChainIterator
private void updateChainIterator()
-
-