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().