[Boost-users] [MSM] templated state machine generates many errors when a state is derived from msm::front::exit_pseudo_state<event>

10 Aug 2016

      I just wanted to check that there was not something obvious I am doing wrong here:

relevant parts:

the exit state (defined outside the state machine)
    struct QueryGood {
        QueryGood(query_complete const& r)
        : result(r.result)
        {}

      // note: universal converting constructor        

        template<class T>
        QueryGood(const T&) {}

        pkt result;
    };

    template<class Environment>
    struct dns_query_
    : msm::front::state_machine_def<dns_query_<Environment>>
    {

    // error happens when I derive from exit_pseudo_state. deriving from msmf::state<> eliminates all errors

        struct Complete : msm::front::exit_pseudo_state<QueryGood> // msmf::state<>

    { ... };

   ...

 // transition table:
        struct transition_table :
        mpl::vector<
        //          Start          Event                 Next           Action                Guard
        //        +--------------+---------------------+--------------+---------------------+----------------------+
        msmf::Row < NotStarted   , RestartQuery        , Querying     , msmf::none          , msmf::none           >,

        msmf::Row < Complete     , RestartQuery        , Querying     , msmf::none          , msmf::none           >,

        msmf::Row < Error        , RestartQuery        , Querying     , msmf::none          , msmf::none           >,

        msmf::Row < Querying     , query_timeout       , Error        , NotifyUpdate        , IsCurrentEvent       >,
        msmf::Row < Querying     , RestartQuery        , Querying     , msmf::none          , msmf::none           >,
        msmf::Row < Querying     , query_error         , Error        , NotifyUpdate        , IsCurrentEvent       >,
        msmf::Row < Querying     , query_complete      , Complete     , NotifyUpdate        , IsCurrentEvent       >
        //        +--------------+---------------------+--------------+---------------------+----------------------+
        >

        {};

   };

sample of errors:

/Users/rhodges/secr/xcode-secr/target_local/include/boost/msm/back/metafunctions.hpp:578:79: error: no type named 'owner' in 'secr::wrapldns::dns_query_<query_host>::Complete'

        typename ::boost::mpl::not_<typename ::boost::is_same<typename State::owner,

                                                              ~~~~~~~~~~~~~~~~^~~~~

In file included from /Users/rhodges/secr/secr/wrapldns/tests/test_query_algo.cpp:3:

In file included from /Users/rhodges/secr/secr/wrapldns/include/secr/wrapldns/query_feed.hpp:5:

In file included from /Users/rhodges/secr/secr/valuelib/debug/include/valuelib/debug/trace.hpp:23:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/log/trivial.hpp:21:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/log/keywords/severity.hpp:18:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/parameter/keyword.hpp:9:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/parameter/aux_/unwrap_cv_reference.hpp:12:

/Users/rhodges/secr/xcode-secr/target_local/include/boost/mpl/eval_if.hpp:38:22: note: in instantiation of template class 'boost::msm::back::get_owner<secr::wrapldns::dns_query_<query_host>::Complete, boost::msm::back::state_machine<secr::wrapldns::dns_query_<query_host>, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_> >' requested here

    typedef typename f_::type type;

                     ^

In file included from /Users/rhodges/secr/secr/wrapldns/tests/test_query_algo.cpp:6:

In file included from /Users/rhodges/secr/secr/wrapldns/src/sm/stale_timer.hpp:3:

In file included from /Users/rhodges/secr/secr/wrapldns/src/sm/config.hpp:5:

/Users/rhodges/secr/xcode-secr/target_local/include/boost/msm/back/state_machine.hpp:630:40: note: in instantiation of template class 'boost::mpl::eval_if<mpl_::bool_<true>, boost::msm::back::get_owner<secr::wrapldns::dns_query_<query_host>::Complete, boost::msm::back::state_machine<secr::wrapldns::dns_query_<query_host>, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_> >, boost::mpl::identity<secr::wrapldns::dns_query_<query_host>::Complete> >' requested here

        typedef typename ::boost::mpl::eval_if<

                                       ^

In file included from /Users/rhodges/secr/secr/wrapldns/tests/test_query_algo.cpp:6:

In file included from /Users/rhodges/secr/secr/wrapldns/src/sm/stale_timer.hpp:3:

In file included from /Users/rhodges/secr/secr/wrapldns/src/sm/config.hpp:5:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/msm/back/state_machine.hpp:59:

/Users/rhodges/secr/xcode-secr/target_local/include/boost/msm/back/metafunctions.hpp:85:22: note: in instantiation of template class 'boost::msm::back::state_machine<secr::wrapldns::dns_query_<query_host>, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_>::_row_<boost::msm::front::Row<secr::wrapldns::dns_query_<query_host>::Complete, secr::wrapldns::RestartQuery, secr::wrapldns::dns_query_<query_host>::Querying, boost::msm::front::none, boost::msm::front::none> >' requested here

    typedef typename Transition::current_state_type type;

                     ^

In file included from /Users/rhodges/secr/secr/wrapldns/tests/test_query_algo.cpp:3:

In file included from /Users/rhodges/secr/secr/wrapldns/include/secr/wrapldns/query_feed.hpp:5:

In file included from /Users/rhodges/secr/secr/valuelib/debug/include/valuelib/debug/trace.hpp:23:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/log/trivial.hpp:21:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/log/keywords/severity.hpp:18:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/parameter/keyword.hpp:10:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/parameter/aux_/tag.hpp:8:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/parameter/aux_/tagged_argument.hpp:10:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/parameter/aux_/arg_list.hpp:17:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/mpl/apply.hpp:25:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/mpl/lambda.hpp:22:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/mpl/aux_/full_lambda.hpp:25:

In file included from /Users/rhodges/secr/xcode-secr/target_local/include/boost/mpl/quote.hpp:23:

/Users/rhodges/secr/xcode-secr/target_local/include/boost/mpl/aux_/has_type.hpp:20:1: note: in instantiation of template class 'boost::msm::back::transition_source_type<boost::msm::back::state_machine<secr::wrapldns::dns_query_<query_host>, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_, boost::parameter::void_>::_row_<boost::msm::front::Row<secr::wrapldns::dns_query_<query_host>::Complete, secr::wrapldns::RestartQuery, secr::wrapldns::dns_query_<query_host>::Querying, boost::msm::front::none, boost::msm::front::none> > >' requested here

BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_type, type, true)

^