mixed_tests.cpp 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115
  1. /**
  2. * @file examples.cpp
  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. #include <tests/mixed_tests.hpp>
  26. #define CATCH_CONFIG_MAIN
  27. #include "catch.hpp"
  28. TEST_CASE("mixed/hierachical", "run")
  29. {
  30. paradevs::common::RootCoordinator <
  31. paradevs::MyTime, paradevs::pdevs::Coordinator <
  32. paradevs::MyTime,
  33. paradevs::common::scheduler::HeapScheduler < paradevs::MyTime >,
  34. paradevs::RootGraphManager >
  35. > rc(0, 100, "root", paradevs::pdevs::Parameters());
  36. paradevs::common::Trace < paradevs::MyTime >::trace().clear();
  37. rc.run();
  38. REQUIRE(paradevs::common::Trace < paradevs::MyTime >::trace().elements().
  39. filter_model_name("a1").
  40. filter_type(paradevs::common::START).size() == 1);
  41. REQUIRE(paradevs::common::Trace < paradevs::MyTime >::trace().elements().
  42. filter_model_name("b1").
  43. filter_type(paradevs::common::START).size() == 1);
  44. REQUIRE(paradevs::common::Trace < paradevs::MyTime >::trace().elements().
  45. filter_model_name("a2").
  46. filter_type(paradevs::common::START).size() == 1);
  47. REQUIRE(paradevs::common::Trace < paradevs::MyTime >::trace().elements().
  48. filter_model_name("b2").
  49. filter_type(paradevs::common::START).size() == 1);
  50. REQUIRE(paradevs::common::Trace < paradevs::MyTime >::trace().elements().
  51. filter_model_name("a1").
  52. filter_type(paradevs::common::DELTA_EXT).size() == 0);
  53. for (double t = 0; t <= 100; ++t) {
  54. REQUIRE(paradevs::common::Trace <
  55. paradevs::MyTime >::trace().elements().
  56. filter_model_name("a1").filter_time(t).
  57. filter_type(paradevs::common::LAMBDA).size() == 1);
  58. REQUIRE(paradevs::common::Trace <
  59. paradevs::MyTime >::trace().elements().
  60. filter_model_name("a1").filter_time(t).
  61. filter_type(paradevs::common::DELTA_INT).size() == 1);
  62. REQUIRE(paradevs::common::Trace <
  63. paradevs::MyTime >::trace().elements().
  64. filter_model_name("a1").filter_time(t).
  65. filter_type(paradevs::common::TA).size() == 1);
  66. }
  67. for (double t = 0; t <= 100; ++t) {
  68. REQUIRE(paradevs::common::Trace <
  69. paradevs::MyTime >::trace().elements().
  70. filter_model_name("b1").filter_time(t).
  71. filter_type(paradevs::common::LAMBDA).size() == 1);
  72. REQUIRE(paradevs::common::Trace <
  73. paradevs::MyTime >::trace().elements().
  74. filter_model_name("b1").filter_time(t).
  75. filter_type(paradevs::common::DELTA_INT).size() == 1);
  76. REQUIRE(paradevs::common::Trace <
  77. paradevs::MyTime >::trace().elements().
  78. filter_model_name("b1").filter_time(t).
  79. filter_type(paradevs::common::TA).size() == 2);
  80. REQUIRE(paradevs::common::Trace <
  81. paradevs::MyTime >::trace().elements().
  82. filter_model_name("b1").filter_time(t).
  83. filter_type(paradevs::common::DELTA_EXT).size() == 1);
  84. }
  85. for (unsigned int t = 0; t <= 100; t += 20) {
  86. REQUIRE(paradevs::common::Trace <
  87. paradevs::MyTime >::trace().elements().
  88. filter_model_name("a2").filter_time(t).
  89. filter_type(paradevs::common::LAMBDA).size() == 1);
  90. REQUIRE(paradevs::common::Trace <
  91. paradevs::MyTime >::trace().elements().
  92. filter_model_name("a2").filter_time(t).
  93. filter_type(paradevs::common::DELTA_INT).size() == 1);
  94. }
  95. for (unsigned int t = 0; t <= 100; t += 20) {
  96. REQUIRE(paradevs::common::Trace <
  97. paradevs::MyTime >::trace().elements().
  98. filter_model_name("b2").filter_time(t).
  99. filter_type(paradevs::common::LAMBDA).size() == 1);
  100. REQUIRE(paradevs::common::Trace <
  101. paradevs::MyTime >::trace().elements().
  102. filter_model_name("b2").filter_time(t).
  103. filter_type(paradevs::common::DELTA_INT).size() == 1);
  104. }
  105. }