concepts::PointerToEmptyFormula Class Reference

#include <exceptions.hh>

Inheritance diagram for concepts::PointerToEmptyFormula:

Public Member Functions
	PointerToEmptyFormula ()
	Constructor.
void	setFields (const std::string &file, const unsigned int line, const std::string &function, const std::string &excName) throw ()

Protected Member Functions
virtual std::ostream &	info (std::ostream &os) const throw ()
	Returns information in an output stream.

Protected Attributes
std::string	file_
	Filename where the exception was thrown from.
unsigned int	line_
	Line where the exception was thrown from.
std::string	function_
	Name of the function that threw the exception.
std::string	excName_
	The name of the exception with calling sequence.

Detailed Description

Exception class to express that the RCP pointer points to 0.

Author

Kersten Schmidt, 2017

Definition at line 75 of file exceptions.hh.

Constructor & Destructor Documentation

PointerToEmptyFormula()

concepts::PointerToEmptyFormula::PointerToEmptyFormula ( )

inline

Constructor.

Definition at line 78 of file exceptions.hh.

~PointerToEmptyFormula()

virtual concepts::PointerToEmptyFormula::~PointerToEmptyFormula ( ) throw ( )

inlinevirtual

Definition at line 82 of file exceptions.hh.

Member Function Documentation

info()

virtual std::ostream & concepts::PointerToEmptyFormula::info ( std::ostream &  os ) const throw ( )

protectedvirtual

Returns information in an output stream.

Reimplemented from concepts::ExceptionBase.

setFields()

void concepts::ExceptionBase::setFields ( const std::string &  file, const unsigned int  line, const std::string &  function, const std::string &  excName  ) throw ( )

inherited

Sets the fields of this exception.

Parameters

file	Filename where the exception was thrown from
line	Line where the exception was thrown from
function	Name of the function that threw the exception
excName	The name of the exception

Member Data Documentation

excName_

std::string concepts::ExceptionBase::excName_

protectedinherited

The name of the exception with calling sequence.

Definition at line 132 of file exceptions.hh.

file_

std::string concepts::ExceptionBase::file_

protectedinherited

Filename where the exception was thrown from.

Definition at line 123 of file exceptions.hh.

function_

std::string concepts::ExceptionBase::function_

protectedinherited

Name of the function that threw the exception.

Definition at line 129 of file exceptions.hh.

line_

unsigned int concepts::ExceptionBase::line_

protectedinherited

Line where the exception was thrown from.

Definition at line 126 of file exceptions.hh.

---

The documentation for this class was generated from the following file:

• formula/exceptions.hh