123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229 |
- /**
- * @file Model.hpp
- * @author The PARADEVS Development Team
- * See the AUTHORS or Authors.txt file
- */
- /*
- * PARADEVS - the multimodeling and simulation environment
- * This file is a part of the PARADEVS environment
- *
- * Copyright (C) 2013-2016 ULCO http://www.univ-littoral.fr
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program 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 General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
- #ifndef COMMON_MODEL
- #define COMMON_MODEL 1
- #include <paradevs/common/Bag.hpp>
- #include <paradevs/common/ExternalEvent.hpp>
- #include <paradevs/common/InternalEvent.hpp>
- #include <paradevs/common/Scheduler.hpp>
- #include <algorithm>
- #include <cassert>
- #include <iostream>
- #include <sstream>
- #include <vector>
- namespace paradevs { namespace common {
- template < class Time >
- class ExternalEvent;
- template < class Time >
- class InternalEvent;
- template < class Time >
- class Bag;
- typedef std::string Port;
- typedef std::vector < Port > Ports;
- template < class Time >
- class Model
- {
- public:
- Model(const std::string& name) :
- _tl(0), _tn(0), _parent(0), _name(name), _inputs(0)
- { }
- virtual ~Model()
- {
- if (_inputs) {
- delete _inputs;
- }
- }
- // structure
- void add_in_port(const std::string& port_name)
- {
- assert(not exist_in_port(port_name));
- _in_ports.push_back(port_name);
- }
- void add_out_port(const std::string& port_name)
- {
- assert(not exist_out_port(port_name));
- _out_ports.push_back(port_name);
- }
- void delete_in_port(const std::string& port_name)
- {
- assert(not exist_in_port(port_name));
- _in_ports.erase(std::find(_in_ports.begin(), _in_ports.end(),
- port_name));
- }
- void delete_out_port(const std::string& port_name)
- {
- assert(not exist_out_port(port_name));
- _out_ports.erase(std::find(_out_ports.begin(), _out_ports.end(),
- port_name));
- }
- bool exist_in_port(const std::string& port_name)
- {
- return std::find(_in_ports.begin(), _in_ports.end(),
- port_name) != _in_ports.end();
- }
- bool exist_out_port(const std::string& port_name)
- {
- return std::find(_out_ports.begin(), _out_ports.end(),
- port_name) != _out_ports.end();
- }
- const std::string& get_name() const
- { return _name; }
- Model < Time >* get_parent() const
- { return _parent; }
- // TODO: to remove
- virtual int get_receiver_number(typename Time::type t)
- { (void)t; return 0; }
- virtual bool is_atomic() const = 0;
- virtual bool is_remote() const
- { return false; }
- void set_parent(Model < Time >* parent)
- { _parent = parent; }
- virtual std::string to_string(int /* level */) const =0;
- // event
- void add_event(const common::ExternalEvent < Time >& message)
- {
- if (_inputs == 0) {
- _inputs = new Bag < Time >;
- }
- _inputs->push_back(message);
- }
- void clear_bag()
- {
- if (_inputs) {
- delete _inputs;
- _inputs = 0;
- }
- }
- unsigned int event_number() const
- {
- if (_inputs) {
- return _inputs->size();
- } else {
- return 0;
- }
- }
- const common::Bag < Time >& get_bag()
- {
- if (_inputs == 0) {
- _inputs = new Bag < Time >;
- }
- return *_inputs;
- }
- // time
- typename Time::type get_tl() const
- { return _tl; }
- typename Time::type get_tn() const
- { return _tn; }
- // devs methods
- virtual void observation(std::ostream& file) const =0;
- virtual void output(const typename Time::type& t) =0;
- virtual void post_event(const typename Time::type& t,
- const common::ExternalEvent < Time >& event) = 0;
- virtual typename Time::type start(const typename Time::type& t) =0;
- virtual typename Time::type transition(const typename Time::type& t) =0;
- // scheduler
- void handle(SchedulerHandle handle)
- { _handle.handle(handle); }
- const SchedulerHandle& handle() const
- { return _handle.handle(); }
- protected:
- typename Time::type _tl;
- typename Time::type _tn;
- private :
- Model < Time >* _parent;
- std::string _name;
- Ports _in_ports;
- Ports _out_ports;
- Bag < Time >* _inputs;
- SchedulerHandle _handle;
- };
- template < class Time >
- class Models : public std::vector < Model < Time >* >
- {
- public:
- Models()
- { }
- virtual ~Models()
- { }
- std::string to_string() const
- {
- std::ostringstream ss;
- ss << "{ ";
- for (typename Models < Time >::const_iterator it =
- Models < Time >::begin();
- it != Models < Time >::end(); ++it) {
- ss << (*it)->get_name() << " ";
- }
- ss << "}";
- return ss.str();
- }
- };
- } } // namespace paradevs common
- #endif
|