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_SIZE
EOF, 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.IOException
public ANTLRFileStream(java.lang.String fileName, java.lang.String encoding) throws java.io.IOException
java.io.IOException
public void load(java.lang.String fileName, java.lang.String encoding) throws java.io.IOException
java.io.IOException
public java.lang.String getSourceName()
IntStream
IntStream.UNKNOWN_SOURCE_NAME
.getSourceName
in interface IntStream
getSourceName
in class ANTLRInputStream