LocatedInformation.h

Go to the documentation of this file.

#ifndef STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_
#define STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_
 
#include <cstdint>
#include <string>
 
namespace storm {
namespace prism {
class LocatedInformation {
   public:
    LocatedInformation(std::string const& filename, uint_fast64_t lineNumber);
 
    // Create default implementations of constructors/assignment.
    LocatedInformation() = default;
    LocatedInformation(LocatedInformation const& other) = default;
    LocatedInformation& operator=(LocatedInformation const& other) = default;
    LocatedInformation(LocatedInformation&& other) = default;
    LocatedInformation& operator=(LocatedInformation&& other) = default;
 
    std::string const& getFilename() const;
 
    void setFilename(std::string const& filename);
 
    uint_fast64_t getLineNumber() const;
 
    void setLineNumber(uint_fast64_t lineNumber);
 
   private:
    // The file in which the piece of information was found.
    std::string filename;
 
    // The line in the file in which the piece of information was found.
    uint_fast64_t lineNumber;
};
}  // namespace prism
}  // namespace storm
 
#endif /* STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_ */