models.hpp 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634
  1. /**
  2. * @file tests/mixed/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_MIXED_MODELS_HPP
  26. #define TESTS_MIXED_MODELS_HPP 1
  27. #include <paradevs/common/time/DoubleTime.hpp>
  28. #include <paradevs/common/utils/Trace.hpp>
  29. #include <paradevs/kernel/dtss/Dynamics.hpp>
  30. #include <paradevs/kernel/pdevs/Dynamics.hpp>
  31. namespace paradevs { namespace tests { namespace mixed {
  32. template < class SchedulerHandle>
  33. class A1 :
  34. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  35. paradevs::common::NoParameters >
  36. {
  37. public:
  38. A1(const std::string& name,
  39. const paradevs::common::NoParameters& parameters) :
  40. paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  41. paradevs::common::NoParameters >(
  42. name, parameters), _value(0)
  43. { }
  44. virtual ~A1()
  45. { }
  46. void dint(typename common::DoubleTime::type t)
  47. {
  48. #ifndef WITH_TRACE
  49. (void)t;
  50. #endif
  51. #ifdef WITH_TRACE
  52. common::Trace < common::DoubleTime >::trace() <<
  53. common::TraceElement < common::DoubleTime >(
  54. A1 < SchedulerHandle >::get_name(), t, common::DELTA_INT);
  55. common::Trace < common::DoubleTime >::trace().flush();
  56. #endif
  57. if (_phase == SEND) {
  58. _phase = WAIT;
  59. }
  60. }
  61. void dext(typename common::DoubleTime::type t,
  62. typename common::DoubleTime::type /* e */,
  63. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  64. {
  65. #ifndef WITH_TRACE
  66. (void)t;
  67. (void)msgs;
  68. #endif
  69. #ifdef WITH_TRACE
  70. common::Trace < common::DoubleTime >::trace()
  71. << common::TraceElement < common::DoubleTime >(
  72. A1 < SchedulerHandle >::get_name(), t, common::DELTA_EXT)
  73. << "messages = " << msgs.to_string();
  74. common::Trace < common::DoubleTime >::trace().flush();
  75. #endif
  76. _phase = SEND;
  77. }
  78. void dconf(typename common::DoubleTime::type t,
  79. typename common::DoubleTime::type /* e */,
  80. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  81. {
  82. #ifndef WITH_TRACE
  83. (void)t;
  84. (void)msgs;
  85. #endif
  86. #ifdef WITH_TRACE
  87. common::Trace < common::DoubleTime >::trace()
  88. << common::TraceElement < common::DoubleTime >(
  89. A1 < SchedulerHandle >::get_name(), t, common::DELTA_CONF)
  90. << "messages = " << msgs.to_string();
  91. common::Trace < common::DoubleTime >::trace().flush();
  92. #endif
  93. }
  94. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  95. {
  96. #ifndef WITH_TRACE
  97. (void)t;
  98. #endif
  99. #ifdef WITH_TRACE
  100. common::Trace < common::DoubleTime >::trace()
  101. << common::TraceElement < common::DoubleTime >(
  102. A1 < SchedulerHandle >::get_name(), t, common::START);
  103. common::Trace < common::DoubleTime >::trace().flush();
  104. #endif
  105. _phase = WAIT;
  106. return 0;
  107. }
  108. typename common::DoubleTime::type ta(
  109. typename common::DoubleTime::type t) const
  110. {
  111. #ifndef WITH_TRACE
  112. (void)t;
  113. #endif
  114. #ifdef WITH_TRACE
  115. common::Trace < common::DoubleTime >::trace()
  116. << common::TraceElement < common::DoubleTime >(
  117. A1 < SchedulerHandle >::get_name(), t, common::TA);
  118. common::Trace < common::DoubleTime >::trace().flush();
  119. #endif
  120. if (_phase == WAIT) {
  121. return 1;
  122. } else {
  123. return 0;
  124. }
  125. }
  126. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  127. typename common::DoubleTime::type t) const
  128. {
  129. #ifndef WITH_TRACE
  130. (void)t;
  131. #endif
  132. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  133. msgs.push_back(common::ExternalEvent <
  134. common::DoubleTime, SchedulerHandle >(
  135. "out", (void*)&_value));
  136. #ifdef WITH_TRACE
  137. common::Trace < common::DoubleTime >::trace()
  138. << common::TraceElement < common::DoubleTime >(
  139. A1 < SchedulerHandle >::get_name(), t, common::LAMBDA)
  140. << "messages = " << msgs.to_string();
  141. common::Trace < common::DoubleTime >::trace().flush();
  142. #endif
  143. return msgs;
  144. }
  145. private:
  146. enum Phase { WAIT, SEND };
  147. Phase _phase;
  148. double _value;
  149. };
  150. template < class SchedulerHandle>
  151. class B1 :
  152. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  153. paradevs::common::NoParameters >
  154. {
  155. public:
  156. B1(const std::string& name,
  157. const paradevs::common::NoParameters& parameters) :
  158. paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  159. paradevs::common::NoParameters >(
  160. name, parameters)
  161. { }
  162. virtual ~B1()
  163. { }
  164. void dint(typename common::DoubleTime::type t)
  165. {
  166. #ifndef WITH_TRACE
  167. (void)t;
  168. #endif
  169. #ifdef WITH_TRACE
  170. common::Trace < common::DoubleTime >::trace()
  171. << common::TraceElement < common::DoubleTime >(
  172. B1 < SchedulerHandle >::get_name(), t, common::DELTA_INT);
  173. common::Trace < common::DoubleTime >::trace().flush();
  174. #endif
  175. if (_phase == SEND) {
  176. _phase = WAIT;
  177. }
  178. }
  179. void dext(typename common::DoubleTime::type t,
  180. typename common::DoubleTime::type /* e */,
  181. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  182. {
  183. #ifndef WITH_TRACE
  184. (void)t;
  185. (void)msgs;
  186. #endif
  187. #ifdef WITH_TRACE
  188. common::Trace < common::DoubleTime >::trace()
  189. << common::TraceElement < common::DoubleTime >(
  190. B1 < SchedulerHandle >::get_name(), t, common::DELTA_EXT)
  191. << "messages = " << msgs.to_string();
  192. common::Trace < common::DoubleTime >::trace().flush();
  193. #endif
  194. _phase = SEND;
  195. }
  196. void dconf(typename common::DoubleTime::type t,
  197. typename common::DoubleTime::type /* e */,
  198. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  199. {
  200. #ifndef WITH_TRACE
  201. (void)t;
  202. (void)msgs;
  203. #endif
  204. #ifdef WITH_TRACE
  205. common::Trace < common::DoubleTime >::trace()
  206. << common::TraceElement < common::DoubleTime >(
  207. B1 < SchedulerHandle >::get_name(), t, common::DELTA_CONF)
  208. << "messages = " << msgs.to_string();
  209. common::Trace < common::DoubleTime >::trace().flush();
  210. #endif
  211. }
  212. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  213. {
  214. #ifndef WITH_TRACE
  215. (void)t;
  216. #endif
  217. #ifdef WITH_TRACE
  218. common::Trace < common::DoubleTime >::trace()
  219. << common::TraceElement < common::DoubleTime >(
  220. B1 < SchedulerHandle >::get_name(), t, common::START);
  221. common::Trace < common::DoubleTime >::trace().flush();
  222. #endif
  223. _phase = WAIT;
  224. return std::numeric_limits < double >::max();
  225. }
  226. typename common::DoubleTime::type ta(
  227. typename common::DoubleTime::type t) const
  228. {
  229. #ifndef WITH_TRACE
  230. (void)t;
  231. #endif
  232. #ifdef WITH_TRACE
  233. common::Trace < common::DoubleTime >::trace()
  234. << common::TraceElement < common::DoubleTime >(
  235. B1 < SchedulerHandle >::get_name(), t, common::TA);
  236. common::Trace < common::DoubleTime >::trace().flush();
  237. #endif
  238. if (_phase == WAIT) {
  239. return std::numeric_limits < double >::max();
  240. } else {
  241. return 0;
  242. }
  243. }
  244. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  245. typename common::DoubleTime::type t) const
  246. {
  247. #ifndef WITH_TRACE
  248. (void)t;
  249. #endif
  250. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  251. msgs.push_back(common::ExternalEvent <
  252. common::DoubleTime, SchedulerHandle >(
  253. "out", (void*)&t));
  254. #ifdef WITH_TRACE
  255. common::Trace < common::DoubleTime >::trace()
  256. << common::TraceElement < common::DoubleTime >(
  257. B1 < SchedulerHandle >::get_name(), t, common::LAMBDA)
  258. << "messages = " << msgs.to_string();
  259. common::Trace < common::DoubleTime >::trace().flush();
  260. #endif
  261. return msgs;
  262. }
  263. private:
  264. enum Phase { WAIT, SEND };
  265. Phase _phase;
  266. };
  267. template < class SchedulerHandle >
  268. class A2 :
  269. public paradevs::dtss::Dynamics < common::DoubleTime, SchedulerHandle >
  270. {
  271. public:
  272. A2(const std::string& name,
  273. const paradevs::common::NoParameters& parameters) :
  274. paradevs::dtss::Dynamics < common::DoubleTime, SchedulerHandle,
  275. paradevs::common::NoParameters >(
  276. name, parameters), _value(0)
  277. { }
  278. virtual ~A2()
  279. { }
  280. void transition(
  281. const common::Bag < common::DoubleTime, SchedulerHandle >& x,
  282. typename common::DoubleTime::type t)
  283. {
  284. #ifndef WITH_TRACE
  285. (void)x;
  286. (void)t;
  287. #endif
  288. #ifdef WITH_TRACE
  289. common::Trace < common::DoubleTime >::trace()
  290. << common::TraceElement < common::DoubleTime >(
  291. A2 < SchedulerHandle >::get_name(), t, common::DELTA_INT)
  292. << "x = " << x.to_string();
  293. common::Trace < common::DoubleTime >::trace().flush();
  294. #endif
  295. }
  296. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  297. {
  298. #ifndef WITH_TRACE
  299. (void)t;
  300. #endif
  301. #ifdef WITH_TRACE
  302. common::Trace < common::DoubleTime >::trace()
  303. << common::TraceElement < common::DoubleTime >(
  304. A2 < SchedulerHandle >::get_name(), t, common::START);
  305. common::Trace < common::DoubleTime >::trace().flush();
  306. #endif
  307. return 0;
  308. }
  309. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  310. typename common::DoubleTime::type t) const
  311. {
  312. #ifndef WITH_TRACE
  313. (void)t;
  314. #endif
  315. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  316. msgs.push_back(
  317. common::ExternalEvent < common::DoubleTime,
  318. SchedulerHandle >( "out", (void*)&_value));
  319. #ifdef WITH_TRACE
  320. common::Trace < common::DoubleTime >::trace()
  321. << common::TraceElement < common::DoubleTime >(
  322. A2 < SchedulerHandle >::get_name(), t, common::LAMBDA)
  323. << "messages = " << msgs.to_string();
  324. common::Trace < common::DoubleTime >::trace().flush();
  325. #endif
  326. return msgs;
  327. }
  328. private:
  329. double _value;
  330. };
  331. template < class SchedulerHandle >
  332. class B2 :
  333. public paradevs::dtss::Dynamics < common::DoubleTime, SchedulerHandle >
  334. {
  335. public:
  336. B2(const std::string& name,
  337. const paradevs::common::NoParameters& parameters) :
  338. paradevs::dtss::Dynamics < common::DoubleTime, SchedulerHandle,
  339. paradevs::common::NoParameters >(
  340. name, parameters), _value(0)
  341. { }
  342. virtual ~B2()
  343. { }
  344. void transition(
  345. const common::Bag < common::DoubleTime, SchedulerHandle >& x,
  346. typename common::DoubleTime::type t)
  347. {
  348. #ifndef WITH_TRACE
  349. (void)x;
  350. (void)t;
  351. #endif
  352. #ifdef WITH_TRACE
  353. common::Trace < common::DoubleTime >::trace()
  354. << common::TraceElement < common::DoubleTime >(
  355. B2 < SchedulerHandle >::get_name(), t, common::DELTA_INT)
  356. << "x = " << x.to_string();
  357. common::Trace < common::DoubleTime >::trace().flush();
  358. #endif
  359. }
  360. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  361. {
  362. #ifndef WITH_TRACE
  363. (void)t;
  364. #endif
  365. #ifdef WITH_TRACE
  366. common::Trace < common::DoubleTime >::trace()
  367. << common::TraceElement < common::DoubleTime >(
  368. B2 < SchedulerHandle >::get_name(), t, common::START);
  369. common::Trace < common::DoubleTime >::trace().flush();
  370. #endif
  371. return 0;
  372. }
  373. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  374. typename common::DoubleTime::type t) const
  375. {
  376. #ifndef WITH_TRACE
  377. (void)t;
  378. #endif
  379. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  380. msgs.push_back(
  381. common::ExternalEvent < common::DoubleTime,
  382. SchedulerHandle >("out", (void*)&_value));
  383. #ifdef WITH_TRACE
  384. common::Trace < common::DoubleTime >::trace()
  385. << common::TraceElement < common::DoubleTime >(
  386. B2 < SchedulerHandle >::get_name(), t, common::LAMBDA)
  387. << "messages = " << msgs.to_string();
  388. common::Trace < common::DoubleTime >::trace().flush();
  389. #endif
  390. return msgs;
  391. }
  392. private:
  393. double _value;
  394. };
  395. template < class SchedulerHandle>
  396. class Beep :
  397. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  398. paradevs::common::NoParameters >
  399. {
  400. public:
  401. Beep(const std::string& name,
  402. const paradevs::common::NoParameters& parameters) :
  403. paradevs::pdevs::Dynamics < common::DoubleTime,
  404. SchedulerHandle,
  405. paradevs::common::NoParameters >(
  406. name, parameters), _value(0)
  407. { }
  408. virtual ~Beep()
  409. { }
  410. void dint(typename common::DoubleTime::type t)
  411. {
  412. #ifndef WITH_TRACE
  413. (void)t;
  414. #endif
  415. #ifdef WITH_TRACE
  416. common::Trace < common::DoubleTime >::trace() <<
  417. common::TraceElement < common::DoubleTime >(
  418. Beep < SchedulerHandle >::get_name(), t, common::DELTA_INT);
  419. common::Trace < common::DoubleTime >::trace().flush();
  420. #endif
  421. if (_phase == SEND) {
  422. _phase = WAIT;
  423. }
  424. }
  425. void dext(typename common::DoubleTime::type t,
  426. typename common::DoubleTime::type /* e */,
  427. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  428. {
  429. #ifndef WITH_TRACE
  430. (void)t;
  431. (void)msgs;
  432. #endif
  433. #ifdef WITH_TRACE
  434. common::Trace < common::DoubleTime >::trace()
  435. << common::TraceElement < common::DoubleTime >(
  436. Beep < SchedulerHandle >::get_name(), t, common::DELTA_EXT)
  437. << "messages = " << msgs.to_string();
  438. common::Trace < common::DoubleTime >::trace().flush();
  439. #endif
  440. _phase = SEND;
  441. }
  442. void dconf(typename common::DoubleTime::type t,
  443. typename common::DoubleTime::type /* e */,
  444. const common::Bag < common::DoubleTime, SchedulerHandle >& msgs)
  445. {
  446. #ifndef WITH_TRACE
  447. (void)t;
  448. (void)msgs;
  449. #endif
  450. #ifdef WITH_TRACE
  451. common::Trace < common::DoubleTime >::trace()
  452. << common::TraceElement < common::DoubleTime >(
  453. Beep < SchedulerHandle >::get_name(), t, common::DELTA_CONF)
  454. << "messages = " << msgs.to_string();
  455. common::Trace < common::DoubleTime >::trace().flush();
  456. #endif
  457. }
  458. typename common::DoubleTime::type start(typename common::DoubleTime::type t)
  459. {
  460. #ifndef WITH_TRACE
  461. (void)t;
  462. #endif
  463. #ifdef WITH_TRACE
  464. common::Trace < common::DoubleTime >::trace()
  465. << common::TraceElement < common::DoubleTime >(
  466. Beep < SchedulerHandle >::get_name(), t, common::START);
  467. common::Trace < common::DoubleTime >::trace().flush();
  468. #endif
  469. _phase = WAIT;
  470. return 0;
  471. }
  472. typename common::DoubleTime::type ta(
  473. typename common::DoubleTime::type t) const
  474. {
  475. #ifndef WITH_TRACE
  476. (void)t;
  477. #endif
  478. #ifdef WITH_TRACE
  479. common::Trace < common::DoubleTime >::trace()
  480. << common::TraceElement < common::DoubleTime >(
  481. Beep < SchedulerHandle >::get_name(), t, common::TA);
  482. common::Trace < common::DoubleTime >::trace().flush();
  483. #endif
  484. if (_phase == WAIT) {
  485. return (rand() % 100) / 10.;
  486. } else {
  487. return 0;
  488. }
  489. }
  490. common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  491. typename common::DoubleTime::type t) const
  492. {
  493. #ifndef WITH_TRACE
  494. (void)t;
  495. #endif
  496. common::Bag < common::DoubleTime, SchedulerHandle > msgs;
  497. msgs.push_back(common::ExternalEvent <
  498. common::DoubleTime, SchedulerHandle >(
  499. "out", (void*)&_value));
  500. #ifdef WITH_TRACE
  501. common::Trace < common::DoubleTime >::trace()
  502. << common::TraceElement < common::DoubleTime >(
  503. Beep < SchedulerHandle >::get_name(), t, common::LAMBDA)
  504. << "messages = " << msgs.to_string();
  505. common::Trace < common::DoubleTime >::trace().flush();
  506. #endif
  507. return msgs;
  508. }
  509. private:
  510. enum Phase { WAIT, SEND };
  511. Phase _phase;
  512. double _value;
  513. };
  514. } } } // namespace paradevs tests mixed
  515. #endif