org.trippi.impl.base
Class DistinctTripleIterator

java.lang.Object
  org.trippi.TripleIterator
      org.trippi.impl.base.DistinctTripleIterator

public class DistinctTripleIterator
extends TripleIterator

Ensures no dupes while iterating through the wrapped iterator.

Author:

cwilper@cs.cornell.edu

Field Summary

Fields inherited from class org.trippi.TripleIterator

INPUT_FORMATS, OUTPUT_FORMATS

Constructor Summary

DistinctTripleIterator(TripleIterator wrapped)

Method Summary

void	close() Release resources held by this iterator.
void	finalize()
boolean	hasNext() Return true if there are any more triples.
org.jrdf.graph.Triple	next() Return the next triple.

Methods inherited from class org.trippi.TripleIterator

addToGraph, count, deleteFromGraph, fromStream, fromStream, setAliasMap, toStream

Methods inherited from class java.lang.Object

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

Constructor Detail

DistinctTripleIterator

public DistinctTripleIterator(TripleIterator wrapped)
                       throws TrippiException

Throws:

TrippiException

Method Detail

hasNext

public boolean hasNext()

Description copied from class: TripleIterator

Return true if there are any more triples.

Specified by:

hasNext in class TripleIterator

next

public org.jrdf.graph.Triple next()
                           throws TrippiException

Description copied from class: TripleIterator

Return the next triple.

Specified by:

next in class TripleIterator

Throws:

TrippiException

close

public void close()
           throws TrippiException

Description copied from class: TripleIterator

Release resources held by this iterator.

Specified by:

close in class TripleIterator

Throws:

TrippiException

finalize

public void finalize()
              throws TrippiException

Overrides:

finalize in class java.lang.Object

Throws:

TrippiException