/** * Copyright (c) 2015 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 #include "gtest/gtest.h" #include "STextKeywordsInStatesAndRegions.h" TEST(StatemachineTest, activeCheckWithSTextNamedStates) { STextKeywordsInStatesAndRegions* statechart = new STextKeywordsInStatesAndRegions(); statechart->init(); statechart->enter(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_raise)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_active)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_interface)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_event)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_in)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_var)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_external)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_default)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_entry)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_always)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_raise)); statechart->raise_e1(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_valueof)); statechart->raise_e2(); statechart->runCycle(); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::default_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::operation_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::namespace_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::local_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::interface_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::internal_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::event_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::in_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::out_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::var_valueof)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::readonly_namespace)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::external_internal)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::else_local)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::entry_out)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::exit_readonly)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::always_operation)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::oncycle_else)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::raise_exit)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::valueof_oncycle)); EXPECT_TRUE(statechart->isStateActive(STextKeywordsInStatesAndRegions::active_valueof)); delete statechart; }