MappedFile.h

Go to the documentation of this file.

#pragma once
 
#include <sys/stat.h>
#include <cstddef>
 
#include "storm-parsers/storm-parsers-api.h"
#include "storm/utility/OsDetection.h"
 
namespace storm {
namespace parser {

class STORM_PARSERS_API 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 && defined(__GLIBC__)
    struct stat64 st;
#else
    struct stat st;
#endif
};
 
}  // namespace parser
}  // namespace storm