public final class PDFCharStream extends java.lang.Object implements CharStream
| Modifier and Type | Field and Description |
|---|---|
int |
bufpos |
static boolean |
staticFlag |
| Constructor and Description |
|---|
PDFCharStream(byte[] b) |
| Modifier and Type | Method and Description |
|---|---|
void |
backup(int amount)
Backs up the input stream by amount steps.
|
char |
BeginToken()
Returns the next character that marks the beginning of the next token.
|
byte[] |
buffer() |
int |
currentLocation() |
void |
Done()
The lexer calls this function to indicate that it is done with the stream
and hence implementations can free any resources held by this class.
|
int |
getBeginColumn()
Returns the column number of the first character for current token (being
matched after the last call to BeginTOken).
|
int |
getBeginLine()
Returns the line number of the first character for current token (being
matched after the last call to BeginTOken).
|
int |
getColumn()
Returns the column position of the character last read.
|
int |
getEndColumn()
Returns the column number of the last character for current token (being
matched after the last call to BeginTOken).
|
int |
getEndLine()
Returns the line number of the last character for current token (being
matched after the last call to BeginTOken).
|
java.lang.String |
GetImage()
Returns a string made up of characters from the marked token beginning
to the current buffer position.
|
int |
getLine()
Returns the line number of the character last read.
|
byte[] |
GetNextBytes(int n) |
char[] |
GetSuffix(int len)
Returns an array of characters that make up the suffix of length 'len' for
the currently matched token.
|
char |
readChar()
Returns the next character from the selected input.
|
void |
ReInit(byte[] newdata,
int offset) |
void |
ReInit(int offset) |
public static final boolean staticFlag
public int bufpos
public final char readChar()
throws java.io.IOException
CharStreamreadChar in interface CharStreamjava.io.IOExceptionpublic int getColumn()
CharStreamgetColumn in interface CharStreamCharStream.getEndColumn()public int getLine()
CharStreamgetLine in interface CharStreamCharStream.getEndLine()public int getEndColumn()
CharStreamgetEndColumn in interface CharStreampublic int getEndLine()
CharStreamgetEndLine in interface CharStreampublic int getBeginColumn()
CharStreamgetBeginColumn in interface CharStreampublic int getBeginLine()
CharStreamgetBeginLine in interface CharStreampublic final void backup(int amount)
CharStreambackup in interface CharStreampublic final char BeginToken()
throws java.io.IOException
CharStreamBeginToken in interface CharStreamjava.io.IOExceptionpublic final java.lang.String GetImage()
CharStreamGetImage in interface CharStreampublic char[] GetSuffix(int len)
CharStream{ String t = GetImage(); return t.substring(t.length() - len, t.length()).toCharArray(); }
GetSuffix in interface CharStreampublic byte[] GetNextBytes(int n)
throws java.io.IOException
java.io.IOExceptionpublic void Done()
CharStreamDone in interface CharStreampublic int currentLocation()
public byte[] buffer()
public void ReInit(int offset)
public void ReInit(byte[] newdata,
int offset)