org.rdfhdt.hdt.options

Class HDTSpecification

java.lang.Object

org.rdfhdt.hdt.options.HDTOptionsBase

org.rdfhdt.hdt.options.HDTSpecification

All Implemented Interfaces:

HDTOptions

public class HDTSpecification
extends HDTOptionsBase

Holds the properties of HDT from a configuration file

Constructor Summary

Constructors

Constructor and Description
HDTSpecification() Default constructor, reads the file config.properties
HDTSpecification(String filename) Constructor that reads a specific filename

Method Summary

Modifier and Type	Method and Description
void	load(String filename)

Methods inherited from class org.rdfhdt.hdt.options.HDTOptionsBase

clear, get, getInt, set, setInt, setOptions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HDTSpecification

public HDTSpecification()

Default constructor, reads the file config.properties

Throws:

IOException

HDTSpecification

public HDTSpecification(String filename)
                 throws IOException

Constructor that reads a specific filename

Parameters:

filename -

Throws:

IOException

Method Detail

load

public void load(String filename)
          throws IOException

Throws:

IOException