public class FileRuleSource extends RuleSource
Modifier and Type | Field and Description |
---|---|
protected java.io.File |
ruleFile
The non-
null reference to the file from which rules are
read. |
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
@Nonnull protected final java.io.File ruleFile
null
reference to the file from which rules are
read.public int getNumberOfBytes()
getNumberOfBytes
in class RuleSource
@Nonnull public java.io.File file()
file
in class RuleSource
public java.net.URL url() throws java.io.IOException
RuleSource
url
in class RuleSource
java.io.IOException
- on I/O errorspublic 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.