| 1234567891011121314151617181920 |
- package tests
- testclass BitExpressions for statechart BitExpressions {
-
- operation BitExpressions(){
- enter
- assert active ( BitExpressions.main_region.StateA)
- assert myBit1 == 5
- assert myBit2 == 7
- raise e1
- 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
- }
- }
|
