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

public class FileRuleSource
extends RuleSource

Field Summary

Fields

Modifier and Type	Field and Description
private long	numberOfChars
private File	ruleFile

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

ldtFile

Constructor Summary

Constructors

Constructor and Description
FileRuleSource(File ruleFile)

Method Summary

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

private final File ruleFile

numberOfChars

private long numberOfChars

Constructor Detail

FileRuleSource

FileRuleSource(File ruleFile)

Method Detail

getNumberOfBytes

public int getNumberOfBytes()

Specified by:

getNumberOfBytes in class RuleSource

file

public File file()

Specified by:

file in class RuleSource

getExternalForm

public String getExternalForm()

Specified by:

getExternalForm in class RuleSource

getNewStream

public InputStream getNewStream()

Specified by:

getNewStream in class RuleSource

toString

public String toString()

Specified by:

toString in class RuleSource