SpecialisedActiveDiagnoser.hh

Go to the documentation of this file.

/*
 * SpecialisedActiveDiagnoser.hh
 *
 *  Created on: 6 nov. 2008
 *  Modified  : 11 dec 2009
 *      Author: ypencole
 */

#ifndef __DIADES__AUTOMATA__SPECIALISEDACTIVEDIAGNOSER__HH
#define __DIADES__AUTOMATA__SPECIALISEDACTIVEDIAGNOSER__HH

#include"ObservableComponent.hh"
#include"Trace.hh"

namespace Diades
{
  namespace Automata
  {


        class SpecialisedActiveDiagnoserInvalid : public runtime_error, public domain_error
        {
        
        public:
          SpecialisedActiveDiagnoserInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
          {
                cerr << "EXCEPTION SpecialisedActiveDiagnoser -> " << whatArg << endl;
          }
        };



        class SpecialisedActiveDiagnoser: public ObservableComponent
        {
        public:
          typedef enum {Undiscriminable,Discriminable,Safe,Sure} Tag;

        private:
          Event _event;
          string _eventLabel;
          unordered_map<Event, pair<string, Event> > _observables;
          NodeMap<Tag> _tags;
          State _hole;

          // input from Nicolas Bussac
          int _nemax;
          NodeMap<int> _nef;

          void computeActiveDiagnoser(const ObservableComponent & model, Event event);
          void setDiscriminableTags(const list<State> & sureStates);

        public:
          SpecialisedActiveDiagnoser(const ObservableComponent & model, Event event);
          virtual ~SpecialisedActiveDiagnoser();
          Tag tag(State s) const { return _tags[s]; }
          Event event() const { return _event; }
          State initialState() const { return *initialStateBegin(); }
          string eventLabel() const { return _eventLabel; }
          void diagnoser2Dot(const string & filename) const;
          const string & nameOfObservable(Event event) const {
                unordered_map<Event, pair<string,Event> >::const_iterator it = _observables.find(event);
                require(SpecialisedActiveDiagnoserInvalid,it != _observables.end(),"nameOfObservable: unknown code.");
                return it->second.first;
          }
          bool isHole(State state) const { return state == _hole; }
          int nemax() {
                return _nemax;
          }
        };

  };
};

#endif