public class DataSourceBackendMultiplexingDataStreamingEventIterator extends MultiplexingDataStreamingEventIterator
| Constructor and Description |
|---|
DataSourceBackendMultiplexingDataStreamingEventIterator(List<? extends DataStreamingEventIterator<Proposition>> itrs,
List<? extends DataStreamingEventIterator<UniqueIdPair>> refs) |
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Closes resources associated with the iterators specified in the
constructor.
|
hasNext, nextpublic DataSourceBackendMultiplexingDataStreamingEventIterator(List<? extends DataStreamingEventIterator<Proposition>> itrs, List<? extends DataStreamingEventIterator<UniqueIdPair>> refs)
public void close()
throws DataSourceReadException
super.close() to ensure that those resources are cleaned up
properly.close in interface AutoCloseableclose in interface DataStreamingEventIterator<Proposition>close in class MultiplexingDataStreamingEventIteratorDataSourceReadException - if an error occurred closing resources.Copyright © 2012–2016 Emory University. All rights reserved.