public class FileTokenizer extends Tokenizer
_ch, _file, PDFDOCENCODING| Constructor and Description |
|---|
FileTokenizer(java.io.RandomAccessFile file) |
| Modifier and Type | Method and Description |
|---|---|
void |
backupChar()
Back up a byte so it will be read again.
|
long |
getFilePos()
Gets the current position in the file.
|
protected void |
initStream(Stream token)
Streams can occur only in files, not in streams,
so some of the initialization of a stream object
goes here.
|
int |
readChar()
Gets a character from the file, using a buffer.
|
void |
seek(long offset)
Set the Tokenizer to a new position in the file.
|
protected void |
setStreamOffset(Stream token)
Sets the offset of a Stream to the current file position.
|
addLanguageCode, getLanguageCodes, getNext, getNext, getOffset, getPDFACompliant, getWSString, readChar1, scanMode, seekReset, setEncrypted, setPDFACompliantpublic long getFilePos()
throws java.io.IOException
java.io.IOExceptionpublic int readChar()
throws java.io.IOException
public void seek(long offset)
throws java.io.IOException
public void backupChar()
backupChar in class Tokenizerprotected void initStream(Stream token) throws java.io.IOException
initStream in class Tokenizerjava.io.IOExceptionprotected void setStreamOffset(Stream token) throws java.io.IOException
setStreamOffset in class Tokenizerjava.io.IOException