|
cprover
|
#include <error.h>
Public Member Functions | |
| virtual const char * | what () const throw () |
| virtual | ~error_baset () throw () |
| error_baset () | |
| error_baset (const locationt &_location) | |
Public Attributes | |
| locationt | location |
|
inlinevirtual | |||||||||||||
|
inlineexplicit |
|
inlinevirtual | |||||||||||||
Reimplemented in error_streamt.
| locationt error_baset::location |
Definition at line 38 of file error.h.
Referenced by error_streamt::error_streamt().