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
LocatedInformation &	operator= (LocatedInformation const &other)=default
	LocatedInformation (LocatedInformation &&other)=default
LocatedInformation &	operator= (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

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]

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

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:

• src/storm/storage/prism/LocatedInformation.h
• src/storm/storage/prism/LocatedInformation.cpp