models.hpp 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749
  1. /**
  2. * @file tests/mixed/models.hpp
  3. * @author The ARTIS Development Team
  4. * See the AUTHORS or Authors.txt file
  5. */
  6. /*
  7. * ARTIS - the multimodeling and simulation environment
  8. * This file is a part of the ARTIS environment
  9. *
  10. * Copyright (C) 2013-2019 ULCO http://www.univ-littoral.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
  27. #include <artis-star/common/time/DoubleTime.hpp>
  28. #include <artis-star/common/utils/Trace.hpp>
  29. #include <artis-star/kernel/dtss/Coordinator.hpp>
  30. #include <artis-star/kernel/dtss/Dynamics.hpp>
  31. #include <artis-star/kernel/pdevs/Dynamics.hpp>
  32. namespace artis {
  33. namespace tests {
  34. namespace mixed {
  35. class A1 :
  36. public artis::pdevs::Dynamics<common::DoubleTime, A1>
  37. {
  38. public:
  39. enum inputs
  40. {
  41. IN
  42. };
  43. enum outputs
  44. {
  45. OUT
  46. };
  47. A1(const std::string &name,
  48. const artis::pdevs::Context<common::DoubleTime, A1, artis::common::NoParameters> &context)
  49. :
  50. artis::pdevs::Dynamics<common::DoubleTime, A1>(name, context), _value(0)
  51. {
  52. input_ports({{IN, "in"}});
  53. output_ports({{OUT, "out"}});
  54. }
  55. ~A1() override = default;
  56. void dint(const typename common::DoubleTime::type &t) override
  57. {
  58. #ifndef WITH_TRACE
  59. (void)t;
  60. #endif
  61. #ifdef WITH_TRACE
  62. common::Trace<common::DoubleTime>::trace()
  63. << common::TraceElement<common::DoubleTime>(get_name(), t,
  64. common::FormalismType::PDEVS,
  65. common::FunctionType::DELTA_INT,
  66. common::LevelType::USER);
  67. common::Trace<common::DoubleTime>::trace().flush();
  68. #endif
  69. if (_phase == SEND or _phase == INIT) {
  70. _phase = WAIT;
  71. }
  72. }
  73. void
  74. dext(const typename common::DoubleTime::type &t,
  75. const typename common::DoubleTime::type & /* e */,
  76. const common::Bag<common::DoubleTime> &bag) override
  77. {
  78. #ifndef WITH_TRACE
  79. (void)t;
  80. (void)bag;
  81. #endif
  82. #ifdef WITH_TRACE
  83. common::Trace<common::DoubleTime>::trace()
  84. << common::TraceElement<common::DoubleTime>(get_name(), t,
  85. common::FormalismType::PDEVS,
  86. common::FunctionType::DELTA_EXT,
  87. common::LevelType::USER)
  88. << "messages = " << bag.to_string();
  89. common::Trace<common::DoubleTime>::trace().flush();
  90. #endif
  91. _phase = SEND;
  92. }
  93. void dconf(const typename common::DoubleTime::type &t,
  94. const typename common::DoubleTime::type & /* e */,
  95. const common::Bag<common::DoubleTime> &bag) override
  96. {
  97. #ifndef WITH_TRACE
  98. (void)t;
  99. (void)bag;
  100. #endif
  101. #ifdef WITH_TRACE
  102. common::Trace<common::DoubleTime>::trace()
  103. << common::TraceElement<common::DoubleTime>(get_name(), t,
  104. common::FormalismType::PDEVS,
  105. common::FunctionType::DELTA_CONF,
  106. common::LevelType::USER)
  107. << "messages = " << bag.to_string();
  108. common::Trace<common::DoubleTime>::trace().flush();
  109. #endif
  110. }
  111. void start(const typename common::DoubleTime::type &t) override
  112. {
  113. #ifndef WITH_TRACE
  114. (void)t;
  115. #endif
  116. #ifdef WITH_TRACE
  117. common::Trace<common::DoubleTime>::trace()
  118. << common::TraceElement<common::DoubleTime>(get_name(), t,
  119. common::FormalismType::PDEVS,
  120. common::FunctionType::START,
  121. common::LevelType::USER);
  122. common::Trace<common::DoubleTime>::trace().flush();
  123. #endif
  124. _phase = INIT;
  125. }
  126. typename common::DoubleTime::type
  127. ta(const typename common::DoubleTime::type &t) const override
  128. {
  129. #ifndef WITH_TRACE
  130. (void)t;
  131. #endif
  132. #ifdef WITH_TRACE
  133. common::Trace<common::DoubleTime>::trace()
  134. << common::TraceElement<common::DoubleTime>(get_name(), t,
  135. common::FormalismType::PDEVS,
  136. common::FunctionType::TA,
  137. common::LevelType::USER);
  138. common::Trace<common::DoubleTime>::trace().flush();
  139. #endif
  140. if (_phase == WAIT) {
  141. return 3;
  142. } else {
  143. return 0;
  144. }
  145. }
  146. common::Bag<common::DoubleTime>
  147. lambda(const typename common::DoubleTime::type &t) const override
  148. {
  149. #ifndef WITH_TRACE
  150. (void)t;
  151. #endif
  152. common::Bag<common::DoubleTime> bag;
  153. bag.push_back(artis::common::ExternalEvent<common::DoubleTime>(OUT, _value));
  154. #ifdef WITH_TRACE
  155. common::Trace<common::DoubleTime>::trace()
  156. << common::TraceElement<common::DoubleTime>(get_name(), t,
  157. common::FormalismType::PDEVS,
  158. common::FunctionType::LAMBDA,
  159. common::LevelType::USER)
  160. << "messages = " << bag.to_string();
  161. common::Trace<common::DoubleTime>::trace().flush();
  162. #endif
  163. return bag;
  164. }
  165. private:
  166. enum Phase
  167. {
  168. INIT, WAIT, SEND
  169. };
  170. Phase _phase;
  171. double _value;
  172. };
  173. class B1 :
  174. public artis::pdevs::Dynamics<common::DoubleTime, B1>
  175. {
  176. public:
  177. enum inputs
  178. {
  179. IN
  180. };
  181. enum outputs
  182. {
  183. OUT
  184. };
  185. B1(const std::string &name,
  186. const artis::pdevs::Context<common::DoubleTime, B1, artis::common::NoParameters> &context)
  187. :
  188. artis::pdevs::Dynamics<common::DoubleTime, B1>(name, context)
  189. {
  190. input_ports({{IN, "in"}});
  191. output_ports({{OUT, "out"}});
  192. }
  193. ~B1() override = default;
  194. void dint(const typename common::DoubleTime::type &t) override
  195. {
  196. #ifndef WITH_TRACE
  197. (void)t;
  198. #endif
  199. #ifdef WITH_TRACE
  200. common::Trace<common::DoubleTime>::trace()
  201. << common::TraceElement<common::DoubleTime>(get_name(), t,
  202. common::FormalismType::PDEVS,
  203. common::FunctionType::DELTA_INT,
  204. common::LevelType::USER);
  205. common::Trace<common::DoubleTime>::trace().flush();
  206. #endif
  207. if (_phase == SEND or _phase == INIT) {
  208. _phase = WAIT;
  209. }
  210. }
  211. void
  212. dext(const typename common::DoubleTime::type &t,
  213. const typename common::DoubleTime::type &e,
  214. const common::Bag<common::DoubleTime> &bag) override
  215. {
  216. #ifdef WITH_TRACE
  217. common::Trace<common::DoubleTime>::trace()
  218. << common::TraceElement<common::DoubleTime>(get_name(), t,
  219. common::FormalismType::PDEVS,
  220. common::FunctionType::DELTA_EXT,
  221. common::LevelType::USER)
  222. << "messages = " << bag.to_string();
  223. common::Trace<common::DoubleTime>::trace().flush();
  224. #endif
  225. std::for_each(bag.begin(), bag.end(),
  226. [this, t, e](
  227. const common::ExternalEvent<common::DoubleTime> & /* event */) {
  228. ++_count;
  229. });
  230. _phase = SEND;
  231. }
  232. void dconf(const typename common::DoubleTime::type &t,
  233. const typename common::DoubleTime::type &e,
  234. const common::Bag<common::DoubleTime> &bag) override
  235. {
  236. #ifndef WITH_TRACE
  237. (void)t;
  238. (void)bag;
  239. #endif
  240. #ifdef WITH_TRACE
  241. common::Trace<common::DoubleTime>::trace()
  242. << common::TraceElement<common::DoubleTime>(get_name(), t,
  243. common::FormalismType::PDEVS,
  244. common::FunctionType::DELTA_CONF,
  245. common::LevelType::USER)
  246. << "messages = " << bag.to_string();
  247. common::Trace<common::DoubleTime>::trace().flush();
  248. #endif
  249. dext(t, e, bag);
  250. dint(t);
  251. }
  252. void start(const typename common::DoubleTime::type &t) override
  253. {
  254. #ifndef WITH_TRACE
  255. (void)t;
  256. #endif
  257. #ifdef WITH_TRACE
  258. common::Trace<common::DoubleTime>::trace()
  259. << common::TraceElement<common::DoubleTime>(get_name(), t,
  260. common::FormalismType::PDEVS,
  261. common::FunctionType::START,
  262. common::LevelType::USER);
  263. common::Trace<common::DoubleTime>::trace().flush();
  264. #endif
  265. _count = 0;
  266. _phase = INIT;
  267. }
  268. typename common::DoubleTime::type
  269. ta(const typename common::DoubleTime::type &t) const override
  270. {
  271. #ifndef WITH_TRACE
  272. (void)t;
  273. #endif
  274. #ifdef WITH_TRACE
  275. common::Trace<common::DoubleTime>::trace()
  276. << common::TraceElement<common::DoubleTime>(get_name(), t,
  277. common::FormalismType::PDEVS,
  278. common::FunctionType::TA,
  279. common::LevelType::USER);
  280. common::Trace<common::DoubleTime>::trace().flush();
  281. #endif
  282. if (_phase == WAIT) {
  283. return std::numeric_limits<double>::max();
  284. } else {
  285. return 0;
  286. }
  287. }
  288. common::Bag<common::DoubleTime>
  289. lambda(const typename common::DoubleTime::type &t) const override
  290. {
  291. #ifndef WITH_TRACE
  292. (void)t;
  293. #endif
  294. common::Bag<common::DoubleTime> bag;
  295. bag.push_back(artis::common::ExternalEvent<common::DoubleTime>(OUT, _count));
  296. #ifdef WITH_TRACE
  297. common::Trace<common::DoubleTime>::trace()
  298. << common::TraceElement<common::DoubleTime>(get_name(), t,
  299. common::FormalismType::PDEVS,
  300. common::FunctionType::LAMBDA,
  301. common::LevelType::USER)
  302. << "messages = " << bag.to_string();
  303. common::Trace<common::DoubleTime>::trace().flush();
  304. #endif
  305. return bag;
  306. }
  307. private:
  308. enum Phase
  309. {
  310. INIT, WAIT, SEND
  311. };
  312. Phase _phase;
  313. unsigned int _count;
  314. };
  315. class A2
  316. : public artis::dtss::Dynamics<artis::common::DoubleTime,
  317. A2,
  318. artis::dtss::Parameters<common::DoubleTime>>
  319. {
  320. public:
  321. enum inputs
  322. {
  323. IN
  324. };
  325. enum outputs
  326. {
  327. OUT
  328. };
  329. A2(const std::string &name,
  330. const artis::dtss::Context<artis::common::DoubleTime,
  331. A2,
  332. artis::dtss::Parameters<common::DoubleTime>> &context)
  333. :
  334. artis::dtss::Dynamics<artis::common::DoubleTime,
  335. A2,
  336. artis::dtss::Parameters<common::DoubleTime>>(
  337. name, context),
  338. _value(0)
  339. {
  340. input_ports({{IN, "in"}});
  341. output_ports({{OUT, "out"}});
  342. }
  343. ~A2() override = default;
  344. void transition(const common::Bag<common::DoubleTime> &x,
  345. const typename common::DoubleTime::type &t) override
  346. {
  347. #ifndef WITH_TRACE
  348. (void)x;
  349. (void)t;
  350. #endif
  351. #ifdef WITH_TRACE
  352. common::Trace<common::DoubleTime>::trace()
  353. << common::TraceElement<common::DoubleTime>(get_name(), t,
  354. common::FormalismType::DTSS,
  355. common::FunctionType::TRANSITION,
  356. common::LevelType::USER)
  357. << "x = " << x.to_string();
  358. common::Trace<common::DoubleTime>::trace().flush();
  359. #endif
  360. }
  361. void start(const typename common::DoubleTime::type &t) override
  362. {
  363. #ifndef WITH_TRACE
  364. (void)t;
  365. #endif
  366. #ifdef WITH_TRACE
  367. common::Trace<common::DoubleTime>::trace()
  368. << common::TraceElement<common::DoubleTime>(get_name(), t,
  369. common::FormalismType::DTSS,
  370. common::FunctionType::START,
  371. common::LevelType::USER);
  372. common::Trace<common::DoubleTime>::trace().flush();
  373. #endif
  374. }
  375. common::Bag<common::DoubleTime>
  376. lambda(const typename common::DoubleTime::type &t) const override
  377. {
  378. #ifndef WITH_TRACE
  379. (void)t;
  380. #endif
  381. common::Bag<common::DoubleTime> bag;
  382. bag.push_back(artis::common::ExternalEvent<common::DoubleTime>(OUT, _value));
  383. #ifdef WITH_TRACE
  384. common::Trace<common::DoubleTime>::trace()
  385. << common::TraceElement<common::DoubleTime>(get_name(), t,
  386. common::FormalismType::DTSS,
  387. common::FunctionType::LAMBDA,
  388. common::LevelType::USER)
  389. << "messages = " << bag.to_string();
  390. common::Trace<common::DoubleTime>::trace().flush();
  391. #endif
  392. return bag;
  393. }
  394. private:
  395. double _value;
  396. };
  397. class B2
  398. : public artis::dtss::Dynamics<artis::common::DoubleTime,
  399. B2,
  400. artis::dtss::Parameters<common::DoubleTime>>
  401. {
  402. public:
  403. enum inputs
  404. {
  405. IN
  406. };
  407. enum outputs
  408. {
  409. OUT
  410. };
  411. B2(const std::string &name,
  412. const artis::dtss::Context<artis::common::DoubleTime,
  413. B2,
  414. artis::dtss::Parameters<common::DoubleTime>> &context)
  415. :
  416. artis::dtss::Dynamics<artis::common::DoubleTime,
  417. B2,
  418. artis::dtss::Parameters<common::DoubleTime>>(
  419. name, context),
  420. _value(0)
  421. {
  422. input_ports({{IN, "in"}});
  423. output_ports({{OUT, "out"}});
  424. }
  425. ~B2() override = default;
  426. void transition(const common::Bag<common::DoubleTime> &x,
  427. const typename common::DoubleTime::type &t) override
  428. {
  429. #ifndef WITH_TRACE
  430. (void)x;
  431. (void)t;
  432. #endif
  433. #ifdef WITH_TRACE
  434. common::Trace<common::DoubleTime>::trace()
  435. << common::TraceElement<common::DoubleTime>(get_name(), t,
  436. common::FormalismType::DTSS,
  437. common::FunctionType::TRANSITION,
  438. common::LevelType::USER)
  439. << "x = " << x.to_string();
  440. common::Trace<common::DoubleTime>::trace().flush();
  441. #endif
  442. }
  443. void start(const typename common::DoubleTime::type &t) override
  444. {
  445. #ifndef WITH_TRACE
  446. (void)t;
  447. #endif
  448. #ifdef WITH_TRACE
  449. common::Trace<common::DoubleTime>::trace()
  450. << common::TraceElement<common::DoubleTime>(
  451. get_name(), t,
  452. common::FormalismType::DTSS,
  453. common::FunctionType::START,
  454. common::LevelType::USER);
  455. common::Trace<common::DoubleTime>::trace().flush();
  456. #endif
  457. }
  458. common::Bag<common::DoubleTime>
  459. lambda(const typename common::DoubleTime::type &t) const override
  460. {
  461. #ifndef WITH_TRACE
  462. (void)t;
  463. #endif
  464. common::Bag<common::DoubleTime> bag;
  465. bag.push_back(artis::common::ExternalEvent<common::DoubleTime>(OUT, _value));
  466. #ifdef WITH_TRACE
  467. common::Trace<common::DoubleTime>::trace()
  468. << common::TraceElement<common::DoubleTime>(get_name(), t,
  469. common::FormalismType::DTSS,
  470. common::FunctionType::LAMBDA,
  471. common::LevelType::USER)
  472. << "messages = " << bag.to_string();
  473. common::Trace<common::DoubleTime>::trace().flush();
  474. #endif
  475. return bag;
  476. }
  477. private:
  478. double _value;
  479. };
  480. class Beep :
  481. public artis::pdevs::Dynamics<common::DoubleTime, Beep>
  482. {
  483. public:
  484. enum inputs
  485. {
  486. IN
  487. };
  488. enum outputs
  489. {
  490. OUT
  491. };
  492. Beep(const std::string &name,
  493. const artis::pdevs::Context<common::DoubleTime, Beep, artis::common::NoParameters> &context)
  494. :
  495. artis::pdevs::Dynamics<common::DoubleTime, Beep>(name, context), _value(0)
  496. {
  497. input_ports({{IN, "in"}});
  498. output_ports({{OUT, "out"}});
  499. }
  500. ~Beep() override = default;
  501. void dint(const typename common::DoubleTime::type &t) override
  502. {
  503. #ifndef WITH_TRACE
  504. (void)t;
  505. #endif
  506. #ifdef WITH_TRACE
  507. common::Trace<common::DoubleTime>::trace()
  508. << common::TraceElement<common::DoubleTime>(get_name(), t,
  509. common::FormalismType::PDEVS,
  510. common::FunctionType::DELTA_INT,
  511. common::LevelType::USER);
  512. common::Trace<common::DoubleTime>::trace().flush();
  513. #endif
  514. if (_phase == SEND or _phase == INIT) {
  515. _phase = WAIT;
  516. }
  517. }
  518. void
  519. dext(const typename common::DoubleTime::type &t,
  520. const typename common::DoubleTime::type & /* e */,
  521. const common::Bag<common::DoubleTime> &bag) override
  522. {
  523. #ifndef WITH_TRACE
  524. (void)t;
  525. (void)bag;
  526. #endif
  527. #ifdef WITH_TRACE
  528. common::Trace<common::DoubleTime>::trace()
  529. << common::TraceElement<common::DoubleTime>(get_name(), t,
  530. common::FormalismType::PDEVS,
  531. common::FunctionType::DELTA_EXT,
  532. common::LevelType::USER)
  533. << "messages = " << bag.to_string();
  534. common::Trace<common::DoubleTime>::trace().flush();
  535. #endif
  536. _phase = SEND;
  537. }
  538. void dconf(const typename common::DoubleTime::type &t,
  539. const typename common::DoubleTime::type & /* e */,
  540. const common::Bag<common::DoubleTime> &bag) override
  541. {
  542. #ifndef WITH_TRACE
  543. (void)t;
  544. (void)bag;
  545. #endif
  546. #ifdef WITH_TRACE
  547. common::Trace<common::DoubleTime>::trace()
  548. << common::TraceElement<common::DoubleTime>(get_name(), t,
  549. common::FormalismType::PDEVS,
  550. common::FunctionType::DELTA_CONF,
  551. common::LevelType::USER)
  552. << "messages = " << bag.to_string();
  553. common::Trace<common::DoubleTime>::trace().flush();
  554. #endif
  555. }
  556. void start(const typename common::DoubleTime::type &t) override
  557. {
  558. #ifndef WITH_TRACE
  559. (void)t;
  560. #endif
  561. #ifdef WITH_TRACE
  562. common::Trace<common::DoubleTime>::trace()
  563. << common::TraceElement<common::DoubleTime>(get_name(), t,
  564. common::FormalismType::PDEVS,
  565. common::FunctionType::START,
  566. common::LevelType::USER);
  567. common::Trace<common::DoubleTime>::trace().flush();
  568. #endif
  569. _phase = INIT;
  570. }
  571. typename common::DoubleTime::type
  572. ta(const typename common::DoubleTime::type &t) const override
  573. {
  574. #ifndef WITH_TRACE
  575. (void)t;
  576. #endif
  577. #ifdef WITH_TRACE
  578. common::Trace<common::DoubleTime>::trace()
  579. << common::TraceElement<common::DoubleTime>(get_name(), t,
  580. common::FormalismType::PDEVS,
  581. common::FunctionType::TA,
  582. common::LevelType::USER);
  583. common::Trace<common::DoubleTime>::trace().flush();
  584. #endif
  585. if (_phase == WAIT) {
  586. return (rand() % 100) / 10.;
  587. } else {
  588. return 0;
  589. }
  590. }
  591. common::Bag<common::DoubleTime>
  592. lambda(const typename common::DoubleTime::type &t) const override
  593. {
  594. #ifndef WITH_TRACE
  595. (void)t;
  596. #endif
  597. common::Bag<common::DoubleTime> bag;
  598. bag.push_back(artis::common::ExternalEvent<common::DoubleTime>(OUT, _value));
  599. #ifdef WITH_TRACE
  600. common::Trace<common::DoubleTime>::trace()
  601. << common::TraceElement<common::DoubleTime>(get_name(), t,
  602. common::FormalismType::PDEVS,
  603. common::FunctionType::LAMBDA,
  604. common::LevelType::USER)
  605. << "messages = " << bag.to_string();
  606. common::Trace<common::DoubleTime>::trace().flush();
  607. #endif
  608. return bag;
  609. }
  610. private:
  611. enum Phase
  612. {
  613. INIT, WAIT, SEND
  614. };
  615. Phase _phase;
  616. double _value;
  617. };
  618. }
  619. }
  620. } // namespace artis tests mixed
  621. #endif