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