123456789101112131415161718192021 |
- package tests
- testclass ConditionalExpression for statechart ConditionalExpressions{
-
- operation ConditionalExpressionTest(){
- enter
- assert active (ConditionalExpressions.main_region.A)
- assert condition == 1
-
- raise e
- cycle
-
- assert active (ConditionalExpressions.main_region.B)
- assert condition == 2
-
-
-
-
-
- }
- }
-
|