StatechartUtilities.h

Go to the documentation of this file.

#ifndef STATECHARTUTILITIES_H_
#define STATECHARTUTILITIES_H_

#include <boost/shared_ptr.hpp>
#include <boost/statechart/state_machine.hpp>
#include <boost/regex.hpp>
#include <iostream>
#include <iomanip>

namespace StatechartUtilities
{
    const boost::regex TYPEID_NAME("([[:digit:]]+)([[:word:]]+)");

    template <class T>
    std::vector<std::string> getCurrentStates(boost::shared_ptr<T> fsm)
    {
        std::vector<std::string> states;
        std::string state = "";

        for ( typename T::state_iterator pLeafState = fsm->state_begin();
                pLeafState != fsm->state_end(); ++pLeafState )
        {
            const typename T::state_base_type* pState = &*pLeafState;

            while ( pState != 0 )
            {
                const std::string name = typeid(*pState).name();

                if (boost::regex_match(name, TYPEID_NAME))
                {
                    boost::match_results<std::string::const_iterator> matches;
                    boost::regex_search(name.begin(), name.end(), matches, TYPEID_NAME);
                    state = std::string(matches[2].first, matches[2].second);
                }

                states.push_back(state);

                pState = pState->outer_state_ptr();
            }
        }

        std::sort(states.begin(), states.end());
        std::vector<std::string>::iterator it = std::unique(states.begin(), states.end());
        states.resize(std::distance(states.begin(), it));

        return states;
    }

    template <class T>
    bool isActiveState(boost::shared_ptr<T> fsm, const std::string& state)
    {
        std::vector<std::string> states = getCurrentStates<T>(fsm);
        return std::find(states.begin(), states.end(), state) != states.end();
    }

    template <class T>
    void displayStateConfiguration(boost::shared_ptr<T> fsm)
    {
        char orthogonalRegion = 'a';

        for ( typename T::state_iterator pLeafState = fsm->state_begin();
                pLeafState != fsm->state_end(); ++pLeafState )
        {
            std::cout << "Orthogonal region " << orthogonalRegion << ": ";

            const typename T::state_base_type* pState = &*pLeafState;

            while ( pState != 0 )
            {
                if ( pState != &*pLeafState )
                {
                    std::cout << " -> ";
                }

                std::cout << std::setw( 15 ) << typeid( *pState ).name();

                pState = pState->outer_state_ptr();
            }

            std::cout << std::endl;
            ++orthogonalRegion;
        }

        std::cout << std::endl;
    }
}

#endif