MappedFile.h

Go to the documentation of this file.

#pragma once
 
#include <sys/stat.h>
#include <cstddef>
 
#include "storm/utility/OsDetection.h"
 
namespace storm {
namespace parser {
 
class MappedFile {
   public:
    MappedFile(const char* filename);
 
    ~MappedFile();
 
    char const* getData() const;
 
    char const* getDataEnd() const;
 
    std::size_t getDataSize() const;
 
   private:
    char* data;
 
    char* dataEnd;
 
    int file;
 
#if defined LINUX
    struct stat64 st;
#elif defined MACOSX
    struct stat st;
#endif
};
 
}  // namespace parser
}  // namespace storm