123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136 |
- /* Generated by YAKINDU Statechart Tools code generator. */
- #include <string>
- #include "gtest/gtest.h"
- #include "ParentFirstExecutionHierarchy.h"
- #include "sc_runner.h"
- #include "sc_types.h"
- static ParentFirstExecutionHierarchy* statechart;
- //! The timers are managed by a timer service. */
- static SctUnitRunner * runner;
- class ParentFirstExecutionHierarchyTest : public ::testing::Test{
- protected:
- virtual void SetUp() {
- statechart = new ParentFirstExecutionHierarchy();
- statechart->init();
- runner = new SctUnitRunner(
- statechart,
- false,
- 200
- );
- }
- virtual void TearDown() {
- delete statechart;
- delete runner;
- }
- };
- void assertNoLocalReaction(){
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_local());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_local());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_local());
-
- }
- TEST_F(ParentFirstExecutionHierarchyTest, childShouldTakeTransition) {
-
- statechart->enter();
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
-
- statechart->getDefaultSCI()->set_disable_a(true);
-
- statechart->getDefaultSCI()->set_disable_aa(true);
-
- statechart->getDefaultSCI()->raise_e();
-
- runner->proceed_cycles(1);
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_B));
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_reacted());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_reacted());
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_reacted());
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_a_local());
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_local());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_local());
-
- }
- TEST_F(ParentFirstExecutionHierarchyTest, parentShouldTakeTransition) {
-
- statechart->enter();
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
-
- statechart->getDefaultSCI()->set_disable_a(true);
-
- statechart->getDefaultSCI()->raise_e();
-
- runner->proceed_cycles(1);
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_B));
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_a_reacted());
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_reacted());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_reacted());
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_a_local());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_local());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_local());
-
- }
- TEST_F(ParentFirstExecutionHierarchyTest, grandparentShouldTakeTransition) {
-
- statechart->enter();
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
-
- statechart->getDefaultSCI()->raise_e();
-
- runner->proceed_cycles(1);
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_B));
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_a_reacted());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aa_reacted());
-
- EXPECT_TRUE(!statechart->getDefaultSCI()->get_aaa_reacted());
-
- assertNoLocalReaction();
-
- }
- TEST_F(ParentFirstExecutionHierarchyTest, expectLocalReactrionsExecuteWithNoTransition) {
-
- statechart->enter();
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
-
- runner->proceed_cycles(1);
-
- EXPECT_TRUE(statechart->isStateActive(ParentFirstExecutionHierarchy::ParentFirstExecutionHierarchy_r_A_r_AA_r_AAA));
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_a_local());
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_aa_local());
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_aaa_local());
-
- }
|