| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495 |
- 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(4)
- assert called internalOperation3
- assert called internalOperation3a(1.0)
- assert called internalOperation4
- assert called internalOperation4a(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(4)
- assert called Interface1.interfaceOperation3
- assert called Interface1.interfaceOperation3a(1.0)
- assert called Interface1.interfaceOperation4
- assert called Interface1.interfaceOperation4a(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(4)
- assert called unnamedOperation3
- assert called unnamedOperation3a(1.0)
- assert called unnamedOperation4
- assert called unnamedOperation4a(5)
- assert called unnamedOperation5
- assert called unnamedOperation5a
-
- }
-
- @Test
- operation operationsNotCalled (){
- mock alwaysTrue returns ( true )
-
- enter
- assert active ( Operations.main_region.A )
- assert !called internalOperation1
- assert !called InternalOperation2(4)
- assert !called internalOperation3
- assert !called internalOperation3a(1.0)
- assert !called internalOperation4
- assert !called internalOperation4a(5)
- assert !called internalOperation5
- assert !called internalOperation5a
-
- raise ev
- proceed 1 cycle
- assert active(Operations.main_region.B)
- assert !called Interface1.interfaceOperation1
- assert !called Interface1.InterfaceOperation2(4)
- assert !called Interface1.interfaceOperation3
- assert !called Interface1.interfaceOperation3a(1.0)
- assert !called Interface1.interfaceOperation4
- assert !called Interface1.interfaceOperation4a(5)
- assert !called Interface1.interfaceOperation5
- assert !called Interface1.interfaceOperation5a
-
- raise ev
- proceed 1 cycle
-
- assert active(Operations.main_region.C)
- assert !called unnamedInterfaceOperation1
- assert !called UnnamedInterfaceOperation2(4)
- assert !called unnamedOperation3
- assert !called unnamedOperation3a(1.0)
- assert !called unnamedOperation4
- assert !called unnamedOperation4a(5)
- assert !called unnamedOperation5
- assert !called unnamedOperation5a
-
- }
- }
|
