org.mindswap.pellet

Class LiteralIterator

java.lang.Object

org.mindswap.pellet.LiteralIterator

All Implemented Interfaces:

Iterator<Literal>

public class LiteralIterator
extends Object
implements Iterator<Literal>

An iterator to return nodes in the order they are added. Having a seperate iterator instead of using nodes.iterator() allows to change the nodes table without resetting the iteration process.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
protected ABox	abox ABox where literals are stoired
protected int	index Last returned index
protected List<aterm.ATermAppl>	nodeList List of node names
protected int	start Index where iterator starts (0 be default)
protected int	stop Index where iterator stops (size of list by default)

Constructor Summary

Constructors

Modifier	Constructor and Description
	LiteralIterator(ABox abox) Create an iterator over all the individuals in the ABox
protected	LiteralIterator(ABox abox, boolean findNext) Create an iterator over all the individuals in the ABox but do not automatically find the first individual if findNext parameter is false
	LiteralIterator(ABox abox, int start, int stop) Create a limited iterator over the individuals in the ABox that only covers the individuals whose index in nodeList is between start ans stop indices.

Method Summary

Modifier and Type	Method and Description
protected void	findNext()
int	getIndex()
boolean	hasNext()
void	jump(int i)
Literal	next()
void	remove()
void	reset()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Detail

abox

protected ABox abox

ABox where literals are stoired

nodeList

protected List<aterm.ATermAppl> nodeList

List of node names

index

protected int index

Last returned index

start

protected int start

Index where iterator starts (0 be default)

stop

protected int stop

Index where iterator stops (size of list by default)

Constructor Detail

LiteralIterator

public LiteralIterator(ABox abox)

Create an iterator over all the individuals in the ABox

LiteralIterator

protected LiteralIterator(ABox abox,
                          boolean findNext)

Create an iterator over all the individuals in the ABox but do not automatically find the first individual if findNext parameter is false

Parameters:

abox -

findNext -

LiteralIterator

public LiteralIterator(ABox abox,
                       int start,
                       int stop)

Create a limited iterator over the individuals in the ABox that only covers the individuals whose index in nodeList is between start ans stop indices.

Parameters:

abox -

start -

stop -

Method Detail

getIndex

public int getIndex()

findNext

protected void findNext()

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Literal>

reset

public void reset()

jump

public void jump(int i)

next

public Literal next()

Specified by:

next in interface Iterator<Literal>

remove

public void remove()

Specified by:

remove in interface Iterator<Literal>