public class FilteredTripleIterator
extends org.trippi.TripleIterator
| Constructor and Description |
|---|
FilteredTripleIterator(Map<String,String> aliasMap,
org.jrdf.graph.Triple filter,
boolean add) |
FilteredTripleIterator(org.trippi.TripleIterator baseIter,
org.jrdf.graph.Triple filter,
boolean add) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
boolean |
hasNext() |
org.jrdf.graph.Triple |
next() |
boolean |
wasChangeMade() |
public FilteredTripleIterator(org.trippi.TripleIterator baseIter,
org.jrdf.graph.Triple filter,
boolean add)
throws org.trippi.TrippiException
org.trippi.TrippiExceptionpublic boolean hasNext()
throws org.trippi.TrippiException
hasNext in class org.trippi.TripleIteratororg.trippi.TrippiExceptionpublic org.jrdf.graph.Triple next()
throws org.trippi.TrippiException
next in class org.trippi.TripleIteratororg.trippi.TrippiExceptionpublic void close()
throws org.trippi.TrippiException
close in class org.trippi.TripleIteratororg.trippi.TrippiExceptionpublic boolean wasChangeMade()
Copyright © 2013 DuraSpace. All Rights Reserved.