Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::prism::LocatedInformation Class Reference

#include <LocatedInformation.h>

Inheritance diagram for storm::prism::LocatedInformation:

Public Member Functions

 LocatedInformation (std::string const &filename, uint_fast64_t lineNumber)
 Constructs a located information with the given filename and line number.
 
 LocatedInformation ()=default
 
 LocatedInformation (LocatedInformation const &other)=default
 
LocatedInformationoperator= (LocatedInformation const &other)=default
 
 LocatedInformation (LocatedInformation &&other)=default
 
LocatedInformationoperator= (LocatedInformation &&other)=default
 
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.
 
uint_fast64_t getLineNumber () const
 Retrieves the line number in which the information was found.
 
void setLineNumber (uint_fast64_t lineNumber)
 Sets the line number of this information.
 

Detailed Description

Definition at line 11 of file LocatedInformation.h.

Constructor & Destructor Documentation

◆ 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
filenameThe file in which the information was found.
lineNumberThe 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]

storm::prism::LocatedInformation::LocatedInformation ( LocatedInformation const &  other)
default

◆ LocatedInformation() [4/4]

storm::prism::LocatedInformation::LocatedInformation ( LocatedInformation &&  other)
default

Member Function Documentation

◆ 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]

LocatedInformation & storm::prism::LocatedInformation::operator= ( LocatedInformation &&  other)
default

◆ operator=() [2/2]

LocatedInformation & storm::prism::LocatedInformation::operator= ( LocatedInformation const &  other)
default

◆ setFilename()

void storm::prism::LocatedInformation::setFilename ( std::string const &  filename)

Sets the filename of this information.

Parameters
filenameThe 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
lineNumberThe 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: