AbstractFiniteStateMachine.hpp

/*
 * Copyright 2017 ONERA
 *
 * This file is part of the MAUVE Runtime project.
 *
 * MAUVE Runtime is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License version 3 as
 * published by the Free Software Foundation.
 *
 * MAUVE Runtime is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with MAUVE.  If not, see <https://www.gnu.org/licenses/lgpl-3.0>.
 */
#ifndef MAUVE_RUNTIME_ABSTRACT_FINITE_STATE_MACHINE_HPP
#define MAUVE_RUNTIME_ABSTRACT_FINITE_STATE_MACHINE_HPP

#include "common.hpp"
#include "Configurable.hpp"
#include "HasProperty.hpp"
#include <string>

namespace mauve {
  namespace runtime {

    class AbstractState;

    class AbstractFiniteStateMachine
    : virtual public Configurable
    , public HasProperty
    {
    public:
      template <typename S, typename C, typename F>
      friend class Component;

      AbstractFiniteStateMachine();
      virtual ~AbstractFiniteStateMachine();

      std::string type_name() const;

      virtual std::string shell_type_name() const = 0;

      virtual std::string core_type_name () const = 0;

      virtual std::size_t get_states_size() const = 0;

      virtual AbstractState* get_state(std::string const & name) const = 0;

      virtual AbstractState* get_state(int index) const = 0;

      virtual int get_state_index(const AbstractState* state) const = 0;
    };

  }
} /* namespace mauve */

#endif