public class ANTLRFileStream extends ANTLRInputStream
ANTLRInputStream that is loaded from a file all at once
when you construct the object.| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String |
fileName |
data, INITIAL_BUFFER_SIZE, n, name, p, READ_BUFFER_SIZEEOF, UNKNOWN_SOURCE_NAME| Constructor and Description |
|---|
ANTLRFileStream(java.lang.String fileName) |
ANTLRFileStream(java.lang.String fileName,
java.lang.String encoding) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getSourceName()
Gets the name of the underlying symbol source.
|
void |
load(java.lang.String fileName,
java.lang.String encoding) |
public ANTLRFileStream(java.lang.String fileName)
throws java.io.IOException
java.io.IOExceptionpublic ANTLRFileStream(java.lang.String fileName,
java.lang.String encoding)
throws java.io.IOException
java.io.IOExceptionpublic void load(java.lang.String fileName,
java.lang.String encoding)
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String getSourceName()
IntStreamIntStream.UNKNOWN_SOURCE_NAME.getSourceName in interface IntStreamgetSourceName in class ANTLRInputStream