public class UrlRuleSource extends RuleSource
ldtFile
Modifier and Type | Method and Description |
---|---|
java.io.File |
file() |
org.antlr.v4.runtime.CharStream |
getCharStream() |
java.lang.String |
getExternalForm() |
java.io.InputStream |
getNewStream() |
int |
getNumberOfBytes() |
java.lang.String |
toString() |
java.net.URL |
url()
Provides an URL to the location the RuleSource is read from.
|
isAvailable, isDirectory
public int getNumberOfBytes()
getNumberOfBytes
in class RuleSource
public java.io.File file()
file
in class RuleSource
public java.net.URL url()
RuleSource
url
in class RuleSource
public java.lang.String getExternalForm()
getExternalForm
in class RuleSource
public java.io.InputStream getNewStream()
getNewStream
in class RuleSource
public java.lang.String toString()
toString
in class RuleSource
public org.antlr.v4.runtime.CharStream getCharStream() throws java.io.IOException
getCharStream
in class RuleSource
java.io.IOException
Copyright © 2003-2019 The KeY-Project.