| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 |
- testclass OperationsTest for statechart Operations {
- @Test
- operation operationsCalled (){
- mock alwaysTrue returns ( true )
-
- enter
- assert active ( Operations.main_region.A )
- proceed 1 cycle
- assert active ( Operations.main_region.B )
- assert called internalOperation1
- assert called InternalOperation2 with ( 4 )
- assert called internalOperation3
- assert called internalOperation3a with (1.0)
- assert called internalOperation4
- assert called internalOperation4a with ( 5 )
- assert called internalOperation5
- assert called internalOperation5a
-
-
- raise ev
- proceed 1 cycle
- assert active(Operations.main_region.C)
- assert called Interface1.interfaceOperation1
- assert called Interface1.InterfaceOperation2 with ( 4 )
- assert called Interface1.interfaceOperation3
- assert called Interface1.interfaceOperation3a with ( 1.0 )
- assert called Interface1.interfaceOperation4
- assert called Interface1.interfaceOperation4a with ( 5 )
- assert called Interface1.interfaceOperation5
- assert called Interface1.interfaceOperation5a
-
- raise ev
- proceed 1 cycle
-
-
- assert active(Operations.main_region.D)
- assert called unnamedInterfaceOperation1
- assert called UnnamedInterfaceOperation2 with ( 4 )
- assert called unnamedOperation3
- assert called unnamedOperation3a with ( 1.0 )
- assert called unnamedOperation4
- assert called unnamedOperation4a with ( 5 )
- assert called unnamedOperation5
- assert called unnamedOperation5a
-
- }
- }
|
