Provide HDTManager::generateHDT consuming an InputStream

[jmkeil]

It would be very helpful to have a method HDTManager::generateHDT(InputStream, String, RDFNotation, HDTOptions, ProgressListener), which consumes a InputStream instead of a file path.

In case of TempHDTImporterOnePass it is quiet straightforward to do that. In case of TempHDTImporterTwoPass the things are more complicated, as the InputStream would be needed to consume twice.

[mielvds]

@jmkeil good suggestion! it would be too complicated with TempHDTImporterTwoPass though. always welcome to submit a PR

[jmkeil]

@jmkeil […] always welcome to submit a PR

As I decided against using HDT in my project, I don't have time to do that. Sorry.

[ate47]

It was implemented with #162 at this line:

hdt-java/hdt-api/src/main/java/org/rdfhdt/hdt/hdt/HDTManager.java

Line 483 in 912276e

public static HDT generateHDT(InputStream fileStream, String baseURI, RDFNotation rdfNotation, CompressionType compressionType, HDTOptions hdtFormat, ProgressListener listener) throws IOException, ParserException {

So we can close this issue :)