Printer.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__EXPERIMENTAL__PRINTER__HH__
#define __DIADES__AUTOMATA__EXPERIMENTAL__PRINTER__HH__

#include<diades/automata/experimental/Event.hh>
#include<diades/automata/experimental/EventSet.hh>
#include<diades/automata/experimental/LocalCandidate.hh>
#include <diades/automata/experimental/StatePropertyManager.hh>

namespace Diades
{
    namespace Automata
    {
        namespace Experimental
        {

            template<typename TypeToPrint>
            class Printer
            {
            public:
                using Object =  TypeToPrint;
                
                virtual ostream & print(ostream & os, const TypeToPrint & object) const = 0;
            };
            
            
            template<typename TypeToPrint>
            class StreamBasedPrinter : public Printer<TypeToPrint>
            {
            public:
                virtual ostream & print(ostream & os, const TypeToPrint & object) const
                {
                    return os << object;
                }
            };
            
            
            template<typename EventInfo,typename EventId>
            class EventManagerPrettyPrinter :
            public Printer<EventId>
            {
            private:
                const EventManager<EventInfo,EventId> & _mgr;

            public:

                EventManagerPrettyPrinter(const EventManager<EventInfo,EventId> & mgr) : _mgr(mgr)
                {
                }
                virtual ostream & print(ostream & os, const EventId & event) const
                {
                    os << _mgr.getEvent(event);
                                        return os;
                                }
            };
            
            
            
            
            template<typename StateInfo, typename StateInfoId>
            class StateInfoManagerPrettyPrinter :
            public Printer<StateInfoId>
            {
            protected: 
                
                const StatePropertyManager<StateInfo,StateInfoId> & _mgr;

            public:

                StateInfoManagerPrettyPrinter(const StatePropertyManager<StateInfo,StateInfoId> & mgr) : _mgr(mgr)
                {
                }

                virtual ostream & print(ostream & os, 
                                        const StateInfoId & id) const
                {
                    os << _mgr.getStateProperty(id);
                                        return os;
                }
            };
            
            template<typename EventInfo,typename EventId>
            class EventSetManagerPrettyPrinter :
            public Printer<typename EventSetManager<EventInfo,EventId>::EventSet>
            {
            private:
                EventManagerPrettyPrinter<EventInfo,EventId>  _eventPrinter;
                
                const EventSetManager<EventInfo,EventId> & _mgr;
            public:

                EventSetManagerPrettyPrinter(const EventSetManager<EventInfo,EventId> & mgrSet,
                                             const EventManager<EventInfo,EventId> & mgrEvent) :
                _eventPrinter(mgrEvent), _mgr(mgrSet)
                {
                }

                virtual ostream & print(ostream & os, 
                                        const typename EventSetManager<EventInfo,EventId>::EventSet & es) const
                {
                    os << "{ ";
                    size_t code = es.find_first();
                    while (code < es.npos)
                    {
                        _eventPrinter.print(os, _mgr.event(code));
                        os << " ";
                        code = es.find_next(code);
                    }
                    os << "}";
                                        return os;
                }
            };

            
            
            
            template<typename LocalStateInfo, typename LocalStateInfoId, typename EventInfo, typename EventId>
            class LocalCandidatePrettyPrinter:            
                          public StateInfoManagerPrettyPrinter<
                                LocalCandidate< 
                                    LocalStateInfoId,
                                    typename EventSetManager<EventInfo,EventId>::EventSet >,
                                                                LocalStateInfoId >
            {
                public:
                    using LocCandidate = 
                            LocalCandidate< 
                                    LocalStateInfoId,
                                    typename EventSetManager<EventInfo,EventId>::EventSet >;
                
               
            private:
                const StateInfoManagerPrettyPrinter<LocalStateInfo,LocalStateInfoId> & _statePrinter;
                const EventSetManagerPrettyPrinter<EventInfo,EventId> & _evSetPrinter;
                
                const StatePropertyManager<LocCandidate,LocalStateInfoId> & _candManager;
            public:
                
                LocalCandidatePrettyPrinter(const StateInfoManagerPrettyPrinter<LocalStateInfo,LocalStateInfoId> & statePrinter,
                                            const EventSetManagerPrettyPrinter<EventInfo,EventId> & evSetPrinter,
                                            const StatePropertyManager<LocCandidate,LocalStateInfoId>  & candManager) : 
                StateInfoManagerPrettyPrinter<LocCandidate,LocalStateInfoId>(candManager),
                _statePrinter(statePrinter),
                _evSetPrinter(evSetPrinter),
                _candManager(candManager)
                {
                }

                virtual ostream & print(ostream & os,
                                const LocalStateInfoId & candId) const
                {
                    auto & candidate = _candManager.getStateProperty(candId);
                    _statePrinter.print(os, candidate.state());
                    os << ",";
                    _evSetPrinter.print(os, candidate.faults());
                    return os;
                }
            };
        }
    }
}



#endif