MySQL 5.6.14 Source Code Document
|
Public Member Functions | |
ANTLRNoCaseFileStream (final String fileName) throws IOException | |
ANTLRNoCaseFileStream (final String fileName, final String encoding) throws IOException | |
String | getSourceName () |
Public Member Functions inherited from com.mysql.clusterj.jdbc.antlr.ANTLRNoCaseStringStream | |
ANTLRNoCaseStringStream (final String string) | |
ANTLRNoCaseStringStream (final File file) throws IOException | |
ANTLRNoCaseStringStream (final File file, final String encoding) throws IOException | |
int | LA (final int i) |
int | trueCaseLA (final int i) |
This is a char buffer stream that is loaded from a file all at once when you construct the object. This looks very much like an ANTLReader or ANTLRInputStream, but it's a special case since we know the exact size of the object to load. We can avoid lots of data copying. The only difference to ANTLRFileStream is that it extends ANTLRNoCaseStringStream.
Definition at line 36 of file ANTLRNoCaseFileStream.java.