Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
LocatedInformation.h
Go to the documentation of this file.
1#ifndef STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_
2#define STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_
3
4#include <cstdint>
5#include <string>
6
8
9namespace storm {
10namespace prism {
12 public:
19 LocatedInformation(std::string const& filename, uint_fast64_t lineNumber);
20
21 // Create default implementations of constructors/assignment.
22 LocatedInformation() = default;
23 LocatedInformation(LocatedInformation const& other) = default;
27
33 std::string const& getFilename() const;
34
40 void setFilename(std::string const& filename);
41
47 uint_fast64_t getLineNumber() const;
48
54 void setLineNumber(uint_fast64_t lineNumber);
55
56 private:
57 // The file in which the piece of information was found.
58 std::string filename;
59
60 // The line in the file in which the piece of information was found.
61 uint_fast64_t lineNumber;
62};
63} // namespace prism
64} // namespace storm
65
66#endif /* STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_ */
LocatedInformation(LocatedInformation &&other)=default
LocatedInformation & operator=(LocatedInformation const &other)=default
uint_fast64_t getLineNumber() const
Retrieves the line number in which the information was found.
std::string const & getFilename() const
Retrieves the name of the file in which the information was found.
void setFilename(std::string const &filename)
Sets the filename of this information.
void setLineNumber(uint_fast64_t lineNumber)
Sets the line number of this information.
LocatedInformation(LocatedInformation const &other)=default
LocatedInformation & operator=(LocatedInformation &&other)=default
LabParser.cpp.
Definition cli.cpp:18