123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657 |
- /**
- * Copyright (c) 2017 committers of YAKINDU and others.
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Eclipse Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/epl-v10.html
- *
- * Contributors:
- * committers of YAKINDU - initial API and implementation
- */
- #include <string>
- #include "gtest/gtest.h"
- #include "BooleanExpressions.h"
- #include "sc_types.h"
- static BooleanExpressions* statechart;
- class StatemachineTest : public ::testing::Test{
- protected:
- virtual void SetUp() {
- statechart = new BooleanExpressions();
- statechart->init();
- }
- virtual void TearDown() {
- delete statechart;
- }
- };
- TEST_F(StatemachineTest, booleanExpressions) {
-
-
- statechart->enter();
-
- EXPECT_TRUE(statechart->isStateActive(BooleanExpressions::main_region_StateA));
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_myBool1()== true);
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_myBool2()== false);
-
- statechart->getDefaultSCI()->raise_e1();
-
- statechart->runCycle();;
-
- EXPECT_TRUE(statechart->isStateActive(BooleanExpressions::main_region_StateB));
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_and()== false);
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_or()== true);
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_not()== false);
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_equal()== false);
-
- EXPECT_TRUE(statechart->getDefaultSCI()->get_notequal()== true);
-
- }
|