| 123456789101112131415161718192021222324252627282930 |
- testgroup ConstantsTests for statechart Constants {
- test 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
- cycle
- assert result == 20
-
- raise e
- cycle
-
-
- assert active(Constants.main_region.C)
- assert result == 100
-
- raise e2 : x
- cycle
-
- assert result == 1000
- assert active(Constants.main_region.A)
- }
- }
-
|
