testclass ExitOnSelfTransition for statechart ExitOnSelfTransition { @Test operation ExitOnSelfTransitionTest(){ enter assert active(ExitOnSelfTransition.main_region.A) assert entryCount == 1 assert exitCount == 0 raise e proceed 1 cycle assert entryCount == 2 assert exitCount == 1 raise f proceed 1 cycle assert entryCount == 2 assert exitCount == 2 } }
