storm::parser::SpiritErrorHandler Struct Reference

#include <SpiritErrorHandler.h>

Public Types
typedef qi::error_handler_result	result_type

Public Member Functions
template<typename T1, typename T2, typename T3, typename T4>
qi::error_handler_result	operator() (T1 b, T2 e, T3 where, T4 const &what) const

Detailed Description

Definition at line 11 of file SpiritErrorHandler.h.

Member Typedef Documentation

result_type

typedef qi::error_handler_result storm::parser::SpiritErrorHandler::result_type

Definition at line 12 of file SpiritErrorHandler.h.

Member Function Documentation

operator()()

template<typename T1, typename T2, typename T3, typename T4>

qi::error_handler_result storm::parser::SpiritErrorHandler::operator() ( T1 b, T2 e, T3 where, T4 const & what ) const

inline

Definition at line 15 of file SpiritErrorHandler.h.

---

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

• src/storm-parsers/parser/SpiritErrorHandler.h