AssignmentAsExpression.sctunit 1.0 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. testgroup AssignmentAsExpression for statechart AssignmentAsExpression{
  2. test simpleAssignment{
  3. enter
  4. assert active(AssignmentAsExpression.main_region.Add)
  5. assert b == 5
  6. assert a == 9
  7. cycle
  8. assert active(AssignmentAsExpression.main_region.Subtract)
  9. assert d == 6
  10. cycle
  11. assert active(AssignmentAsExpression.main_region.Multiply)
  12. assert e == 15
  13. cycle
  14. assert active(AssignmentAsExpression.main_region.Divide)
  15. assert g == 1
  16. cycle
  17. assert active(AssignmentAsExpression.main_region.Modulo)
  18. assert i == 1
  19. cycle
  20. assert active(AssignmentAsExpression.main_region.Shift)
  21. assert j == 16
  22. assert k == 4
  23. cycle
  24. assert active(AssignmentAsExpression.main_region.boolean_And)
  25. assert l == 1
  26. cycle
  27. assert active(AssignmentAsExpression.main_region.boolean_Or)
  28. assert p == 15
  29. cycle
  30. assert active(AssignmentAsExpression.main_region.boolean_Xor)
  31. assert u == 12
  32. exit
  33. }
  34. }