MappedFile.h

Go to the documentation of this file.

/*
 * MappedFile.h
 *
 *  Created on: Jan 21, 2014
 *      Author: Manuel Sascha Weiand
 */
 
#ifndef STORM_PARSER_MAPPEDFILE_H_
#define STORM_PARSER_MAPPEDFILE_H_
 
#include <sys/stat.h>
#include <cstddef>
 
#include "storm/utility/OsDetection.h"
 
namespace storm {
namespace parser {
 
#if !defined LINUX && !defined MACOSX && !defined WINDOWS
#error Platform not supported
#endif
 
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;
 
#if defined LINUX || defined MACOSX
 
    int file;
#elif defined WINDOWS
    HANDLE file;
 
    HANDLE mapping;
#endif
 
#if defined LINUX
 
    struct stat64 st;
#elif defined MACOSX
 
    struct stat st;
#elif defined WINDOWS
 
    struct __stat64 st;
#endif
};
 
}  // namespace parser
}  // namespace storm
 
#endif /* STORM_PARSER_MAPPEDFILE_H_ */