| Modifier and Type | Method and Description |
|---|---|
void |
loadFromHDT(InputStream input,
ProgressListener listener)
Loads a HDT file
|
void |
loadFromHDT(String fileName,
ProgressListener listener)
Loads a HDT file
|
void |
loadOrCreateIndex(ProgressListener listener)
Generates any additional index needed to solve all triple patterns more efficiently
|
void |
mapFromHDT(File f,
long offset,
ProgressListener listener) |
void |
populateHeaderStructure(String baseUri) |
getBaseURI, getDictionary, getHeader, getTriples, saveToHDT, saveToHDT, sizevoid loadFromHDT(InputStream input, ProgressListener listener) throws IOException
input - InputStream to read fromIOExceptionvoid loadFromHDT(String fileName, ProgressListener listener) throws IOException
input - InputStream to read fromIOExceptionvoid mapFromHDT(File f, long offset, ProgressListener listener) throws IOException
IOExceptionvoid loadOrCreateIndex(ProgressListener listener)
listener - A listener to be notified of the progress.void populateHeaderStructure(String baseUri)
Copyright © 2018 DataWeb Research. All rights reserved.