dvi2bitmap  dvi2bitmap1.0
FileByteStream.h
Go to the documentation of this file.
1 /* This file is part of dvi2bitmap; see README for copyrights and licence */
2 
3 #ifndef FILE_BYTE_STREAM_HEADER_READ
4 #define FILE_BYTE_STREAM_HEADER_READ 1
5 
6 #include <InputByteStream.h>
7 
10 
11  public:
12  FileByteStream(string& filename,
13  string tryext="",
14  bool preload=false)
15  throw (InputByteStreamError);
17  void seek(int pos)
18  throw (InputByteStreamError);
19 
20  private:
21  int filesize_;
22 };
23 
24 #endif /* FILE_BYTE_STREAM_HEADER_READ */