models.hpp 9.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362
  1. /**
  2. * @file tests/pdevs/models.hpp
  3. * @author The PARADEVS Development Team
  4. * See the AUTHORS or Authors.txt file
  5. */
  6. /*
  7. * PARADEVS - the multimodeling and simulation environment
  8. * This file is a part of the PARADEVS environment
  9. *
  10. * Copyright (C) 2013-2015 ULCO http://www.univ-litoral.fr
  11. *
  12. * This program is free software: you can redistribute it and/or modify
  13. * it under the terms of the GNU General Public License as published by
  14. * the Free Software Foundation, either version 3 of the License, or
  15. * (at your option) any later version.
  16. *
  17. * This program is distributed in the hope that it will be useful,
  18. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  19. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  20. * GNU General Public License for more details.
  21. *
  22. * You should have received a copy of the GNU General Public License
  23. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  24. */
  25. #ifndef TESTS_PDEVS_MODELS_HPP
  26. #define TESTS_PDEVS_MODELS_HPP 1
  27. #include <paradevs/common/time/DoubleTime.hpp>
  28. #include <paradevs/common/utils/Trace.hpp>
  29. #include <paradevs/kernel/pdevs/Dynamics.hpp>
  30. #include <chrono>
  31. #define DELAY 100
  32. namespace paradevs { namespace tests { namespace pdevs {
  33. void delay()
  34. {
  35. for (unsigned int i = 0; i < DELAY; ++i) {
  36. std::vector < int > v;
  37. for (unsigned int j = 1000; j > 0; --j) {
  38. v.push_back(j);
  39. }
  40. std::sort(v.begin(), v.end());
  41. }
  42. }
  43. template < class SchedulerHandle>
  44. class A :
  45. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle >
  46. {
  47. public:
  48. A(const std::string& name, const common::NoParameters& parameters) :
  49. paradevs::pdevs::Dynamics < common::DoubleTime,
  50. SchedulerHandle >(name, parameters),
  51. _value(0)
  52. { }
  53. virtual ~A()
  54. { }
  55. void dint(typename common::DoubleTime::type t)
  56. {
  57. #ifndef WITH_TRACE
  58. (void)t;
  59. #endif
  60. #ifdef WITH_TRACE
  61. common::Trace < common::DoubleTime >::trace()
  62. << common::TraceElement < common::DoubleTime >(
  63. A < SchedulerHandle >::get_name(), t,
  64. common::DELTA_INT);
  65. common::Trace < common::DoubleTime >::trace().flush();
  66. #endif
  67. delay();
  68. if (_phase == SEND) {
  69. _phase = WAIT;
  70. }
  71. }
  72. void dext(typename common::DoubleTime::type t,
  73. typename common::DoubleTime::type /* e */,
  74. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  75. {
  76. #ifndef WITH_TRACE
  77. (void)t;
  78. (void)msgs;
  79. #endif
  80. #ifdef WITH_TRACE
  81. common::Trace < common::DoubleTime >::trace()
  82. << common::TraceElement < common::DoubleTime >(
  83. A < SchedulerHandle >::get_name(), t,
  84. common::DELTA_EXT)
  85. << "messages = " << msgs.to_string();
  86. common::Trace < common::DoubleTime >::trace().flush();
  87. #endif
  88. _phase = SEND;
  89. }
  90. void dconf(typename common::DoubleTime::type t,
  91. typename common::DoubleTime::type /* e */,
  92. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  93. {
  94. #ifndef WITH_TRACE
  95. (void)t;
  96. (void)msgs;
  97. #endif
  98. #ifdef WITH_TRACE
  99. common::Trace < common::DoubleTime >::trace()
  100. << common::TraceElement < common::DoubleTime >(
  101. A < SchedulerHandle >::get_name(), t,
  102. common::DELTA_CONF)
  103. << "messages = " << msgs.to_string();
  104. common::Trace < common::DoubleTime >::trace().flush();
  105. #endif
  106. }
  107. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  108. {
  109. #ifndef WITH_TRACE
  110. (void)t;
  111. #endif
  112. #ifdef WITH_TRACE
  113. common::Trace < common::DoubleTime >::trace()
  114. << common::TraceElement < common::DoubleTime >(
  115. A < SchedulerHandle >::get_name(), t,
  116. common::START);
  117. common::Trace < common::DoubleTime >::trace().flush();
  118. #endif
  119. _phase = WAIT;
  120. return 0;
  121. }
  122. typename common::DoubleTime::type ta(
  123. typename common::DoubleTime::type t) const
  124. {
  125. #ifndef WITH_TRACE
  126. (void)t;
  127. #endif
  128. #ifdef WITH_TRACE
  129. common::Trace < common::DoubleTime >::trace()
  130. << common::TraceElement < common::DoubleTime >(
  131. A < SchedulerHandle >::get_name(), t,
  132. common::TA);
  133. common::Trace < common::DoubleTime >::trace().flush();
  134. #endif
  135. if (_phase == WAIT) {
  136. return 1;
  137. } else {
  138. return 0;
  139. }
  140. }
  141. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  142. typename common::DoubleTime::type t) const
  143. {
  144. #ifndef WITH_TRACE
  145. (void)t;
  146. #endif
  147. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  148. msgs.push_back(
  149. common::ExternalEvent < common::DoubleTime, SchedulerHandle >(
  150. "out", (void*)&_value));
  151. #ifdef WITH_TRACE
  152. common::Trace < common::DoubleTime >::trace()
  153. << common::TraceElement < common::DoubleTime >(
  154. A < SchedulerHandle >::get_name(), t,
  155. common::LAMBDA)
  156. << "messages = " << msgs.to_string();
  157. common::Trace < common::DoubleTime >::trace().flush();
  158. #endif
  159. return msgs;
  160. }
  161. void observation(std::ostream& /* file */) const
  162. { }
  163. private:
  164. enum Phase { WAIT, SEND };
  165. Phase _phase;
  166. double _value;
  167. };
  168. template < class SchedulerHandle >
  169. class B :
  170. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle >
  171. {
  172. public:
  173. B(const std::string& name, const common::NoParameters& parameters) :
  174. paradevs::pdevs::Dynamics < common::DoubleTime,
  175. SchedulerHandle >(name, parameters),
  176. _value(0)
  177. { }
  178. virtual ~B()
  179. { }
  180. void dint(typename common::DoubleTime::type t)
  181. {
  182. #ifndef WITH_TRACE
  183. (void)t;
  184. #endif
  185. #ifdef WITH_TRACE
  186. common::Trace < common::DoubleTime >::trace()
  187. << common::TraceElement < common::DoubleTime >(
  188. B < SchedulerHandle >::get_name(), t,
  189. common::DELTA_INT);
  190. common::Trace < common::DoubleTime >::trace().flush();
  191. #endif
  192. delay();
  193. if (_phase == SEND) {
  194. _phase = WAIT;
  195. }
  196. }
  197. void dext(typename common::DoubleTime::type t,
  198. typename common::DoubleTime::type /* e */,
  199. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  200. {
  201. #ifndef WITH_TRACE
  202. (void)t;
  203. (void)msgs;
  204. #endif
  205. #ifdef WITH_TRACE
  206. common::Trace < common::DoubleTime >::trace()
  207. << common::TraceElement < common::DoubleTime >(
  208. B < SchedulerHandle >::get_name(), t,
  209. common::DELTA_EXT)
  210. << "messages = " << msgs.to_string();
  211. common::Trace < common::DoubleTime >::trace().flush();
  212. #endif
  213. _phase = SEND;
  214. }
  215. void dconf(typename common::DoubleTime::type t,
  216. typename common::DoubleTime::type /* e */,
  217. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  218. {
  219. #ifndef WITH_TRACE
  220. (void)t;
  221. (void)msgs;
  222. #endif
  223. #ifdef WITH_TRACE
  224. common::Trace < common::DoubleTime >::trace()
  225. << common::TraceElement < common::DoubleTime >(
  226. B < SchedulerHandle >::get_name(), t,
  227. common::DELTA_CONF)
  228. << "messages = " << msgs.to_string();
  229. common::Trace < common::DoubleTime >::trace().flush();
  230. #endif
  231. }
  232. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  233. {
  234. #ifndef WITH_TRACE
  235. (void)t;
  236. #endif
  237. #ifdef WITH_TRACE
  238. common::Trace < common::DoubleTime >::trace()
  239. << common::TraceElement < common::DoubleTime >(
  240. B < SchedulerHandle >::get_name(), t,
  241. common::START);
  242. common::Trace < common::DoubleTime >::trace().flush();
  243. #endif
  244. _phase = WAIT;
  245. return std::numeric_limits < double >::max();
  246. }
  247. typename common::DoubleTime::type ta(
  248. typename common::DoubleTime::type t) const
  249. {
  250. #ifndef WITH_TRACE
  251. (void)t;
  252. #endif
  253. #ifdef WITH_TRACE
  254. common::Trace < common::DoubleTime >::trace()
  255. << common::TraceElement < common::DoubleTime >(
  256. B < SchedulerHandle >::get_name(), t,
  257. common::TA);
  258. common::Trace < common::DoubleTime >::trace().flush();
  259. #endif
  260. if (_phase == WAIT) {
  261. return std::numeric_limits < double >::max();
  262. } else {
  263. return 0;
  264. }
  265. }
  266. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  267. typename common::DoubleTime::type t) const
  268. {
  269. #ifndef WITH_TRACE
  270. (void)t;
  271. #endif
  272. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  273. msgs.push_back(common::ExternalEvent <
  274. common::DoubleTime, SchedulerHandle >(
  275. "out", (void*)&_value));
  276. #ifdef WITH_TRACE
  277. common::Trace < common::DoubleTime >::trace()
  278. << common::TraceElement < common::DoubleTime >(
  279. B < SchedulerHandle >::get_name(), t,
  280. common::LAMBDA)
  281. << "messages = " << msgs.to_string();
  282. common::Trace < common::DoubleTime >::trace().flush();
  283. #endif
  284. return msgs;
  285. }
  286. void observation(std::ostream& /* file */) const
  287. { }
  288. private:
  289. enum Phase { WAIT, SEND };
  290. Phase _phase;
  291. double _value;
  292. };
  293. } } } // namespace paradevs tests pdevs
  294. #endif