cprover
error_streamt Class Reference

#include <error.h>

Inheritance diagram for error_streamt:
[legend]
Collaboration diagram for error_streamt:
[legend]

Public Member Functions

virtual const char * what () const throw ()
 
virtual ~error_streamt () throw ()
 
 error_streamt ()
 
 error_streamt (const locationt &_location)
 
 error_streamt (const char *string)
 
 error_streamt (const std::string &string)
 
 error_streamt (const error_streamt &other)
 
 error_streamt (const locationt &_location, const std::string &string)
 
- Public Member Functions inherited from error_baset
virtual ~error_baset () throw ()
 
 error_baset ()
 
 error_baset (const locationt &_location)
 

Additional Inherited Members

- Public Attributes inherited from error_baset
locationt location
 

Detailed Description

Definition at line 41 of file error.h.

Constructor & Destructor Documentation

◆ ~error_streamt()

virtual error_streamt::~error_streamt ( )
throw (
)
inlinevirtual

Definition at line 49 of file error.h.

◆ error_streamt() [1/6]

error_streamt::error_streamt ( )
inline

Definition at line 53 of file error.h.

◆ error_streamt() [2/6]

error_streamt::error_streamt ( const locationt &  _location)
inlineexplicit

Definition at line 57 of file error.h.

◆ error_streamt() [3/6]

error_streamt::error_streamt ( const char *  string)
inlineexplicit

Definition at line 62 of file error.h.

◆ error_streamt() [4/6]

error_streamt::error_streamt ( const std::string &  string)
inlineexplicit

Definition at line 67 of file error.h.

◆ error_streamt() [5/6]

error_streamt::error_streamt ( const error_streamt other)
inline

Definition at line 72 of file error.h.

References error_baset::location.

◆ error_streamt() [6/6]

error_streamt::error_streamt ( const locationt &  _location,
const std::string &  string 
)
inline

Definition at line 78 of file error.h.

Member Function Documentation

◆ what()

virtual const char* error_streamt::what ( ) const
throw (
)
inlinevirtual

Reimplemented from error_baset.

Definition at line 44 of file error.h.


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