13 #ifndef STXXL_FILEPERBLOCK_FILE_HEADER
14 #define STXXL_FILEPERBLOCK_FILE_HEADER
17 #include <stxxl/bits/io/disk_queued_file.h>
20 __STXXL_BEGIN_NAMESPACE
27 template <
class base_file_type>
31 std::string filename_prefix;
33 unsigned_type current_size;
34 bool lock_file_created;
35 base_file_type lock_file;
47 const std::string & filename_prefix,
49 int queue_id = DEFAULT_QUEUE,
50 int allocator_id = NO_ALLOCATOR);
54 virtual void serve(
const request * req)
throw (io_error);
58 virtual void set_size(offset_type new_size) { current_size = new_size; }
62 virtual offset_type
size() {
return current_size; }
68 virtual void discard(offset_type offset, offset_type length);
71 virtual void export_files(offset_type offset, offset_type length, std::string filename);
80 #endif // !STXXL_FILEPERBLOCK_FILE_HEADER