public class GZipFileRuleSource extends FileRuleSource
GZIPInputStream
thus allowing decompressing gnu-zipped proof files.ruleFile
ldtFile
Modifier and Type | Method and Description |
---|---|
org.antlr.v4.runtime.CharStream |
getCharStream() |
java.io.InputStream |
getNewStream() |
file, getExternalForm, getNumberOfBytes, toString, url
isAvailable, isDirectory
public java.io.InputStream getNewStream()
getNewStream
in class FileRuleSource
public org.antlr.v4.runtime.CharStream getCharStream() throws java.io.IOException
getCharStream
in class FileRuleSource
java.io.IOException
Copyright © 2003-2019 The KeY-Project.