de.uka.ilkd.key.proof.io

Class FileRuleSource

java.lang.Object

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

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

Direct Known Subclasses:

GZipFileRuleSource

public class FileRuleSource
extends RuleSource

Field Summary

Fields

Modifier and Type	Field and Description
private long	numberOfChars
protected java.io.File	ruleFile The non-null reference to the file from which rules are read.

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

ldtFile

Constructor Summary

Constructors

Constructor and Description
FileRuleSource(java.io.File ruleFile)

Method Summary

Modifier and Type	Method and Description
java.io.File	file()
java.lang.String	getExternalForm()
java.io.InputStream	getNewStream()
int	getNumberOfBytes()
java.lang.String	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

Field Detail

ruleFile

protected final java.io.File ruleFile

The non-null reference to the file from which rules are read.

numberOfChars

private long numberOfChars

Constructor Detail

FileRuleSource

FileRuleSource(java.io.File ruleFile)

Method Detail

getNumberOfBytes

public int getNumberOfBytes()

Specified by:

getNumberOfBytes in class RuleSource

file

public java.io.File file()

Specified by:

file in class RuleSource

getExternalForm

public java.lang.String getExternalForm()

Specified by:

getExternalForm in class RuleSource

getNewStream

public java.io.InputStream getNewStream()

Specified by:

getNewStream in class RuleSource

toString

public java.lang.String toString()

Specified by:

toString in class RuleSource