spot
0.8.3
|
An exception used to forward GSPN errors. More...
#include <gspn/common.hh>
Public Member Functions | |
gspn_exception (const std::string &where, int err) | |
int | get_err () const |
std::string | get_where () const |
Private Attributes | |
int | err_ |
std::string | where_ |
An exception used to forward GSPN errors.
spot::gspn_exception::gspn_exception | ( | const std::string & | where, |
int | err | ||
) | [inline] |
int spot::gspn_exception::get_err | ( | ) | const [inline] |
References err_.
std::string spot::gspn_exception::get_where | ( | ) | const [inline] |
References where_.
int spot::gspn_exception::err_ [private] |
Referenced by get_err().
std::string spot::gspn_exception::where_ [private] |
Referenced by get_where().