rdf-dataset-fragmenter
Version:
Fragments an RDF dataset into multiple parts
26 lines • 740 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.QuadSinkFiltered = void 0;
/**
* A quad sink that wraps over another quad sink and only passes the quads through that match the given filter.
*/
class QuadSinkFiltered {
/**
* @param sink The sink to filter on.
* @param filter The filter to apply on quads.
*/
constructor(sink, filter) {
this.sink = sink;
this.filter = filter;
}
async push(iri, quad) {
if (this.filter.matches(quad)) {
await this.sink.push(iri, quad);
}
}
async close() {
await this.sink.close();
}
}
exports.QuadSinkFiltered = QuadSinkFiltered;
//# sourceMappingURL=QuadSinkFiltered.js.map