blob: f845cbda355261993d7228fa2d5f9c263c8af0e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
/* This file is part of dvi2bitmap; see README for copyrights and licence */
#ifndef FILE_BYTE_STREAM_HEADER_READ
#define FILE_BYTE_STREAM_HEADER_READ 1
#include <InputByteStream.h>
/** An input file. */
class FileByteStream : public InputByteStream {
public:
FileByteStream(string& filename,
string tryext="",
bool preload=false)
throw (InputByteStreamError);
~FileByteStream();
void seek(int pos)
throw (InputByteStreamError);
private:
int filesize_;
};
#endif /* FILE_BYTE_STREAM_HEADER_READ */
|
