de.uka.ilkd.key.proof.io

Class UrlRuleSource

java.lang.Object

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

de.uka.ilkd.key.proof.io.UrlRuleSource

public class UrlRuleSource
extends RuleSource

Field Summary

Fields

Modifier and Type	Field and Description
private long	numberOfBytes
private URL	url

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

ldtFile

Constructor Summary

Constructors

Constructor and Description
UrlRuleSource(URL url)

Method Summary

Modifier and Type	Method and Description
private long	countBytesByReadingStream()
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

url

private final URL url

numberOfBytes

private final long numberOfBytes

Constructor Detail

UrlRuleSource

UrlRuleSource(URL url)

Method Detail

countBytesByReadingStream

private long countBytesByReadingStream()

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