| 12345678910111213141516171819 |
- testclass BitExpressions for statechart BitExpressions {
- @Test
- operation BitExpressions () {
- enter
- assert active (BitExpressions.main_region.StateA)
- assert myBit1 == 5
- assert myBit2 == 7
- raise e1
- proceed 1 cycle
- assert active (BitExpressions.main_region.StateB)
- assert leftBitshift == 10
- assert rightBitshift == 2
- assert complementBitshift == - 6
- assert bitwiseAnd == 5
- assert bitwiseOr == 7
- assert bitwiseXor == 2
- }
- }
|
