de.uka.ilkd.key.proof.io

Class GZipFileRuleSource

java.lang.Object

de.uka.ilkd.key.proof.io.RuleSource

de.uka.ilkd.key.proof.io.FileRuleSource

de.uka.ilkd.key.proof.io.GZipFileRuleSource

public class GZipFileRuleSource
extends FileRuleSource

This file rule source derivative wraps its input stream into a GZIPInputStream thus allowing decompressing gnu-zipped proof files.

Author:

tbormer on 12.02.16.

Field Summary

Fields inherited from class de.uka.ilkd.key.proof.io.FileRuleSource

ruleFile

Fields inherited from class de.uka.ilkd.key.proof.io.RuleSource

ldtFile

Constructor Summary

Constructors

Constructor and Description
GZipFileRuleSource(java.io.File ruleFile) Instantiates a new file rule source.

Method Summary

Modifier and Type	Method and Description
java.io.InputStream	getNewStream()

Methods inherited from class de.uka.ilkd.key.proof.io.FileRuleSource

file, getExternalForm, getNumberOfBytes, toString

Methods inherited from class de.uka.ilkd.key.proof.io.RuleSource

isAvailable, isDirectory

Methods inherited from class java.lang.Object

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

Constructor Detail

GZipFileRuleSource

GZipFileRuleSource(java.io.File ruleFile)

Instantiates a new file rule source. This is only instantiated from RuleSourceFactory.initRuleFile(File, boolean).

Parameters:

ruleFile - the file to read from.

Method Detail

getNewStream

public java.io.InputStream getNewStream()

Overrides:

getNewStream in class FileRuleSource