rdf-dataset-fragmenter
Version:
Fragments an RDF dataset into multiple parts
29 lines • 1.29 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.FragmentationStrategyDatasetSummaryBloom = void 0;
const DatasetSummaryBloom_1 = require("../summary/DatasetSummaryBloom");
const FragmentationStrategyDatasetSummary_1 = require("./FragmentationStrategyDatasetSummary");
class FragmentationStrategyDatasetSummaryBloom extends FragmentationStrategyDatasetSummary_1.FragmentationStrategyDatasetSummary {
hashBits;
hashCount;
locationPatterns;
constructor(options) {
super(options);
this.hashBits = options.hashBits;
this.hashCount = options.hashCount;
this.locationPatterns = options.locationPatterns.map(p => new RegExp(p, 'u'));
}
createSummary(dataset) {
let location = dataset;
for (const exp of this.locationPatterns) {
const match = exp.exec(dataset);
if (match) {
location = match[0];
break;
}
}
return new DatasetSummaryBloom_1.DatasetSummaryBloom({ dataset, location, hashBits: this.hashBits, hashCount: this.hashCount });
}
}
exports.FragmentationStrategyDatasetSummaryBloom = FragmentationStrategyDatasetSummaryBloom;
//# sourceMappingURL=FragmentationStrategyDatasetSummaryBloom.js.map