Package | Description |
---|---|
org.rdfhdt.hdt.hdt | |
org.rdfhdt.hdt.header | |
org.rdfhdt.hdt.listener |
Modifier and Type | Method and Description |
---|---|
static HDT |
HDTManager.catHDT(String location,
String hdtFileName1,
String hdtFileName2,
HDTOptions hdtFormat,
ProgressListener listener)
Create an HDT file from two HDT files by joining the triples.
|
protected abstract HDT |
HDTManager.doGenerateHDT(Iterator<TripleString> iterator,
String baseURI,
HDTOptions hdtFormat,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doGenerateHDT(String rdfFileName,
String baseURI,
RDFNotation rdfNotation,
HDTOptions hdtFormat,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doHDTCat(String location,
String hdtFileName1,
String hdtFileName2,
HDTOptions hdtFormat,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doIndexedHDT(HDT hdt,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doLoadHDT(InputStream hdtFile,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doLoadHDT(String hdtFileName,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doLoadIndexedHDT(InputStream hdtFileName,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doLoadIndexedHDT(String hdtFileName,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doMapHDT(String hdtFileName,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doMapIndexedHDT(String hdtFileName,
ProgressListener listener) |
static HDT |
HDTManager.generateHDT(Iterator<TripleString> iterator,
String baseURI,
HDTOptions hdtFormat,
ProgressListener listener)
Create an HDT file from an RDF file.
|
static HDT |
HDTManager.generateHDT(String rdfFileName,
String baseURI,
RDFNotation rdfNotation,
HDTOptions hdtFormat,
ProgressListener listener)
Create an HDT file from an RDF file.
|
static HDT |
HDTManager.indexedHDT(HDT hdt,
ProgressListener listener)
Return an indexed HDT that is efficient for all kind of queries, given a not indexed HDT.
|
static HDT |
HDTManager.loadHDT(InputStream hdtFile,
ProgressListener listener)
Load an HDT from an InputStream (File, socket...).
|
static HDT |
HDTManager.loadHDT(String hdtFileName,
ProgressListener listener)
Load an HDT file into memory to use it.
|
static HDT |
HDTManager.loadIndexedHDT(InputStream hdtFileName,
ProgressListener listener)
Load an HDT file from InputStream, and create additional indexes to support all kind of queries efficiently.
|
static HDT |
HDTManager.loadIndexedHDT(String hdtFileName,
ProgressListener listener)
Load an HDT File, and load/create additional indexes to support all kind of queries efficiently.
|
static HDT |
HDTManager.mapHDT(String hdtFileName,
ProgressListener listener)
Map an HDT file into memory to use it.
|
static HDT |
HDTManager.mapIndexedHDT(String hdtFileName,
ProgressListener listener)
Maps an HDT File into virtual memory, and load/create additional indexes to support all kind of queries efficiently.
|
void |
HDT.saveToHDT(OutputStream output,
ProgressListener listener)
Saves to OutputStream in HDT format
|
void |
HDT.saveToHDT(String fileName,
ProgressListener listener)
Saves to a file in HDT format
|
Modifier and Type | Method and Description |
---|---|
void |
Header.save(OutputStream output,
ControlInfo ci,
ProgressListener listener) |
Modifier and Type | Class and Description |
---|---|
class |
ProgressOut |
Modifier and Type | Method and Description |
---|---|
static ProgressListener |
ProgressOut.getInstance() |
Copyright © 2020 DataWeb Research. All rights reserved.