public class GZipFileRuleSource extends FileRuleSource
GZIPInputStream
thus allowing decompressing gnu-zipped proof files.ruleFile
ldtFile
Constructor and Description |
---|
GZipFileRuleSource(java.io.File ruleFile)
Instantiates a new file rule source.
|
Modifier and Type | Method and Description |
---|---|
java.io.InputStream |
getNewStream() |
file, getExternalForm, getNumberOfBytes, toString
isAvailable, isDirectory
GZipFileRuleSource(java.io.File ruleFile)
RuleSourceFactory.initRuleFile(File, boolean)
.ruleFile
- the file to read from.public java.io.InputStream getNewStream()
getNewStream
in class FileRuleSource