models.hpp 9.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357
  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 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. { }
  52. virtual ~A()
  53. { }
  54. void dint(typename common::DoubleTime::type t)
  55. {
  56. #ifndef WITH_TRACE
  57. (void)t;
  58. #endif
  59. #ifdef WITH_TRACE
  60. common::Trace < common::DoubleTime >::trace()
  61. << common::TraceElement < common::DoubleTime >(
  62. A < SchedulerHandle >::get_name(), t,
  63. common::DELTA_INT);
  64. common::Trace < common::DoubleTime >::trace().flush();
  65. #endif
  66. delay();
  67. if (_phase == SEND) {
  68. _phase = WAIT;
  69. }
  70. }
  71. void dext(typename common::DoubleTime::type t,
  72. typename common::DoubleTime::type /* e */,
  73. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  74. {
  75. #ifndef WITH_TRACE
  76. (void)t;
  77. (void)msgs;
  78. #endif
  79. #ifdef WITH_TRACE
  80. common::Trace < common::DoubleTime >::trace()
  81. << common::TraceElement < common::DoubleTime >(
  82. A < SchedulerHandle >::get_name(), t,
  83. common::DELTA_EXT)
  84. << "messages = " << msgs.to_string();
  85. common::Trace < common::DoubleTime >::trace().flush();
  86. #endif
  87. _phase = SEND;
  88. }
  89. void dconf(typename common::DoubleTime::type t,
  90. typename common::DoubleTime::type /* e */,
  91. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  92. {
  93. #ifndef WITH_TRACE
  94. (void)t;
  95. (void)msgs;
  96. #endif
  97. #ifdef WITH_TRACE
  98. common::Trace < common::DoubleTime >::trace()
  99. << common::TraceElement < common::DoubleTime >(
  100. A < SchedulerHandle >::get_name(), t,
  101. common::DELTA_CONF)
  102. << "messages = " << msgs.to_string();
  103. common::Trace < common::DoubleTime >::trace().flush();
  104. #endif
  105. }
  106. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  107. {
  108. #ifndef WITH_TRACE
  109. (void)t;
  110. #endif
  111. #ifdef WITH_TRACE
  112. common::Trace < common::DoubleTime >::trace()
  113. << common::TraceElement < common::DoubleTime >(
  114. A < SchedulerHandle >::get_name(), t,
  115. common::START);
  116. common::Trace < common::DoubleTime >::trace().flush();
  117. #endif
  118. _phase = WAIT;
  119. return 0;
  120. }
  121. typename common::DoubleTime::type ta(
  122. typename common::DoubleTime::type t) const
  123. {
  124. #ifndef WITH_TRACE
  125. (void)t;
  126. #endif
  127. #ifdef WITH_TRACE
  128. common::Trace < common::DoubleTime >::trace()
  129. << common::TraceElement < common::DoubleTime >(
  130. A < SchedulerHandle >::get_name(), t,
  131. common::TA);
  132. common::Trace < common::DoubleTime >::trace().flush();
  133. #endif
  134. if (_phase == WAIT) {
  135. return 1;
  136. } else {
  137. return 0;
  138. }
  139. }
  140. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  141. typename common::DoubleTime::type t) const
  142. {
  143. #ifndef WITH_TRACE
  144. (void)t;
  145. #endif
  146. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  147. msgs.push_back(
  148. common::ExternalEvent < common::DoubleTime, SchedulerHandle >(
  149. "out", 0.));
  150. #ifdef WITH_TRACE
  151. common::Trace < common::DoubleTime >::trace()
  152. << common::TraceElement < common::DoubleTime >(
  153. A < SchedulerHandle >::get_name(), t,
  154. common::LAMBDA)
  155. << "messages = " << msgs.to_string();
  156. common::Trace < common::DoubleTime >::trace().flush();
  157. #endif
  158. return msgs;
  159. }
  160. void observation(std::ostream& /* file */) const
  161. { }
  162. private:
  163. enum Phase { WAIT, SEND };
  164. Phase _phase;
  165. };
  166. template < class SchedulerHandle >
  167. class B :
  168. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle >
  169. {
  170. public:
  171. B(const std::string& name, const common::NoParameters& parameters) :
  172. paradevs::pdevs::Dynamics < common::DoubleTime,
  173. SchedulerHandle >(name, parameters)
  174. { }
  175. virtual ~B()
  176. { }
  177. void dint(typename common::DoubleTime::type t)
  178. {
  179. #ifndef WITH_TRACE
  180. (void)t;
  181. #endif
  182. #ifdef WITH_TRACE
  183. common::Trace < common::DoubleTime >::trace()
  184. << common::TraceElement < common::DoubleTime >(
  185. B < SchedulerHandle >::get_name(), t,
  186. common::DELTA_INT);
  187. common::Trace < common::DoubleTime >::trace().flush();
  188. #endif
  189. delay();
  190. if (_phase == SEND) {
  191. _phase = WAIT;
  192. }
  193. }
  194. void dext(typename common::DoubleTime::type t,
  195. typename common::DoubleTime::type /* e */,
  196. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  197. {
  198. #ifndef WITH_TRACE
  199. (void)t;
  200. (void)msgs;
  201. #endif
  202. #ifdef WITH_TRACE
  203. common::Trace < common::DoubleTime >::trace()
  204. << common::TraceElement < common::DoubleTime >(
  205. B < SchedulerHandle >::get_name(), t,
  206. common::DELTA_EXT)
  207. << "messages = " << msgs.to_string();
  208. common::Trace < common::DoubleTime >::trace().flush();
  209. #endif
  210. _phase = SEND;
  211. }
  212. void dconf(typename common::DoubleTime::type t,
  213. typename common::DoubleTime::type /* e */,
  214. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  215. {
  216. #ifndef WITH_TRACE
  217. (void)t;
  218. (void)msgs;
  219. #endif
  220. #ifdef WITH_TRACE
  221. common::Trace < common::DoubleTime >::trace()
  222. << common::TraceElement < common::DoubleTime >(
  223. B < SchedulerHandle >::get_name(), t,
  224. common::DELTA_CONF)
  225. << "messages = " << msgs.to_string();
  226. common::Trace < common::DoubleTime >::trace().flush();
  227. #endif
  228. }
  229. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  230. {
  231. #ifndef WITH_TRACE
  232. (void)t;
  233. #endif
  234. #ifdef WITH_TRACE
  235. common::Trace < common::DoubleTime >::trace()
  236. << common::TraceElement < common::DoubleTime >(
  237. B < SchedulerHandle >::get_name(), t,
  238. common::START);
  239. common::Trace < common::DoubleTime >::trace().flush();
  240. #endif
  241. _phase = WAIT;
  242. return std::numeric_limits < double >::max();
  243. }
  244. typename common::DoubleTime::type ta(
  245. typename common::DoubleTime::type t) const
  246. {
  247. #ifndef WITH_TRACE
  248. (void)t;
  249. #endif
  250. #ifdef WITH_TRACE
  251. common::Trace < common::DoubleTime >::trace()
  252. << common::TraceElement < common::DoubleTime >(
  253. B < SchedulerHandle >::get_name(), t,
  254. common::TA);
  255. common::Trace < common::DoubleTime >::trace().flush();
  256. #endif
  257. if (_phase == WAIT) {
  258. return std::numeric_limits < double >::max();
  259. } else {
  260. return 0;
  261. }
  262. }
  263. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  264. typename common::DoubleTime::type t) const
  265. {
  266. #ifndef WITH_TRACE
  267. (void)t;
  268. #endif
  269. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  270. msgs.push_back(common::ExternalEvent < common::DoubleTime,
  271. SchedulerHandle >("out", 0.));
  272. #ifdef WITH_TRACE
  273. common::Trace < common::DoubleTime >::trace()
  274. << common::TraceElement < common::DoubleTime >(
  275. B < SchedulerHandle >::get_name(), t,
  276. common::LAMBDA)
  277. << "messages = " << msgs.to_string();
  278. common::Trace < common::DoubleTime >::trace().flush();
  279. #endif
  280. return msgs;
  281. }
  282. void observation(std::ostream& /* file */) const
  283. { }
  284. private:
  285. enum Phase { WAIT, SEND };
  286. Phase _phase;
  287. };
  288. } } } // namespace paradevs tests pdevs
  289. #endif