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, setPDFACompliant
public long getFilePos() throws java.io.IOException
java.io.IOException
public int readChar() throws java.io.IOException
public void seek(long offset) throws java.io.IOException
public void backupChar()
backupChar
in class Tokenizer
protected void initStream(Stream token) throws java.io.IOException
initStream
in class Tokenizer
java.io.IOException
protected void setStreamOffset(Stream token) throws java.io.IOException
setStreamOffset
in class Tokenizer
java.io.IOException