| code() const | SPARK::XAssertion | [inline] |
| message() const | SPARK::XAssertion | [inline] |
| operator()(const std::string &msg) | SPARK::XAssertion | |
| operator[](const std::string &where) | SPARK::XAssertion | |
| TCode typedef | SPARK::XAssertion | |
| type() const | SPARK::XAssertion | [inline] |
| what() const | SPARK::XAssertion | [virtual] |
| where() const | SPARK::XAssertion | [inline] |
| XAssertion(const std::string &type, const std::string &where, const std::string &message, TCode code) | SPARK::XAssertion | [inline] |
| XAssertion(const XAssertion &x) | SPARK::XAssertion | [inline] |
| XInitialization(const std::string &where, const std::string &message, TCode code) | SPARK::XInitialization | [inline] |
| ~XAssertion() | SPARK::XAssertion | [inline, virtual] |