private static final class JFlexLexer.ZzFlexStreamInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) boolean |
zzAtEOF |
(package private) char[] |
zzBuffer |
(package private) int |
zzCurrentPos |
(package private) int |
zzEndRead |
(package private) boolean |
zzEOFDone |
(package private) int |
zzMarkedPos |
(package private) java.io.Reader |
zzReader |
(package private) int |
zzStartRead |
Constructor and Description |
---|
JFlexLexer.ZzFlexStreamInfo(java.io.Reader zzReader,
int zzEndRead,
int zzStartRead,
int zzCurrentPos,
int zzMarkedPos,
char[] zzBuffer,
boolean zzAtEOF)
sets all values stored in this class
|