| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950 |
- package tests
- testclass TriggerGuardExpressions for statechart TriggerGuardExpressions {
-
- /** If the guard is true then the transition will be taken on any event that matches a trigger. */
- operation trueGuard(){
- enter
- assert active (TriggerGuardExpressions.main_region.A)
-
- raise e1
- b = true
- cycle
- assert active (TriggerGuardExpressions.main_region.B)
-
- cycle
- assert active (TriggerGuardExpressions.main_region.A)
- raise e2
- cycle
- assert active (TriggerGuardExpressions.main_region.B)
-
- cycle
- assert active (TriggerGuardExpressions.main_region.A)
- raise e1
- raise e2
- cycle
- assert active (TriggerGuardExpressions.main_region.B)
- }
-
- /** If the guard is false then the transition will be taken on any event that matches a trigger. */
- operation falseGuard(){
- enter
- assert active (TriggerGuardExpressions.main_region.A)
- b = false
-
- raise e1
- cycle
- assert active (TriggerGuardExpressions.main_region.A)
-
- raise e2
- cycle
- assert active (TriggerGuardExpressions.main_region.A)
-
- raise e1
- raise e2
- cycle
- assert active (TriggerGuardExpressions.main_region.A)
- }
-
- }
|
