| 1234567891011121314151617181920212223242526272829 |
- testclass ConstantsTests for statechart Constants {
- @Test
- operation constantDefinition(){
- enter
- assert active(Constants.main_region.A)
- //After initialization, constant values must be set
- assert x == 10
- assert y == 20
- assert Named.y == "Hello World"
- //Caluclation with constants
- raise e
- proceed 1 cycle
- assert result == 20
-
- raise e
- proceed 1 cycle
-
-
- assert active(Constants.main_region.C)
- assert result == 100
-
- raise e2 : x
- proceed 1 cycle
-
- assert result == 1000
- assert active(Constants.main_region.A)
- }
- }
-
|
