cprover
error_baset Class Reference

#include <error.h>

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

Public Member Functions

virtual const char * what () const throw ()
 
virtual ~error_baset () throw ()
 
 error_baset ()
 
 error_baset (const locationt &_location)
 

Public Attributes

locationt location
 

Detailed Description

Definition at line 18 of file error.h.

Constructor & Destructor Documentation

§ ~error_baset()

virtual error_baset::~error_baset ( )
throw (
)
inlinevirtual

Definition at line 26 of file error.h.

§ error_baset() [1/2]

error_baset::error_baset ( )
inline

Definition at line 30 of file error.h.

§ error_baset() [2/2]

error_baset::error_baset ( const locationt &  _location)
inlineexplicit

Definition at line 34 of file error.h.

Member Function Documentation

§ what()

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

Reimplemented in error_streamt.

Definition at line 21 of file error.h.

Member Data Documentation

§ location

locationt error_baset::location

Definition at line 38 of file error.h.

Referenced by error_streamt::error_streamt().


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