tests.cpp 4.9 KB

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