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