#include <LocatedInformation.h>
Definition at line 11 of file LocatedInformation.h.
◆ LocatedInformation() [1/4]
storm::prism::LocatedInformation::LocatedInformation |
( |
std::string const & |
filename, |
|
|
uint_fast64_t |
lineNumber |
|
) |
| |
Constructs a located information with the given filename and line number.
- Parameters
-
filename | The file in which the information was found. |
lineNumber | The line number in which the information was found. |
Definition at line 5 of file LocatedInformation.cpp.
◆ LocatedInformation() [2/4]
storm::prism::LocatedInformation::LocatedInformation |
( |
| ) |
|
|
default |
◆ LocatedInformation() [3/4]
◆ LocatedInformation() [4/4]
◆ getFilename()
std::string const & storm::prism::LocatedInformation::getFilename |
( |
| ) |
const |
Retrieves the name of the file in which the information was found.
- Returns
- The name of the file in which the information was found.
Definition at line 9 of file LocatedInformation.cpp.
◆ getLineNumber()
uint_fast64_t storm::prism::LocatedInformation::getLineNumber |
( |
| ) |
const |
Retrieves the line number in which the information was found.
- Returns
- The line number in which the information was found.
Definition at line 17 of file LocatedInformation.cpp.
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ setFilename()
void storm::prism::LocatedInformation::setFilename |
( |
std::string const & |
filename | ) |
|
Sets the filename of this information.
- Parameters
-
filename | The new filename of this information. |
Definition at line 13 of file LocatedInformation.cpp.
◆ setLineNumber()
void storm::prism::LocatedInformation::setLineNumber |
( |
uint_fast64_t |
lineNumber | ) |
|
Sets the line number of this information.
- Parameters
-
lineNumber | The new line number for this information. |
Definition at line 21 of file LocatedInformation.cpp.
The documentation for this class was generated from the following files: