Home Explore Help
Sign In
sam
/
TranslatingSCCDtoDEVS
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 5a842e14a3
Branches Tags
TranslatingS...
/
tests
/
10.1) TrafficLightHistory
/
expected_trace.txt

expected_trace.txt 2.1 KB
History Raw

12345678910111213141516171819202122232425262728293031323334353637383940414243 
  1. 0.00 MainApp: exit /creating_window
    2. 

  2. 0.00 MainApp: transition (/creating_window -> /creating_canvas)
    3. 

  3. 0.00 MainApp: enter /creating_canvas
    4. 

  4. 0.00 MainApp: exit /creating_canvas
    5. 

  5. 0.00 MainApp: transition (/creating_canvas -> /creating_trafficlight)
    6. 

  6. 0.00 MainApp: enter /creating_trafficlight
    7. 

  7. 0.00 MainApp: enter /creating_trafficlight/creating_greenlight
    8. 

  8. 0.00 MainApp: exit /creating_trafficlight/creating_greenlight
    9. 

  9. 0.00 MainApp: transition (/creating_trafficlight/creating_greenlight -> /creating_trafficlight/creating_yellowlight)
    10. 

  10. 0.00 MainApp: enter /creating_trafficlight/creating_yellowlight
    11. 

  11. 0.00 MainApp: exit /creating_trafficlight/creating_yellowlight
    12. 

  12. 0.00 MainApp: transition (/creating_trafficlight/creating_yellowlight -> /creating_trafficlight/creating_redlight)
    13. 

  13. 0.00 MainApp: enter /creating_trafficlight/creating_redlight
    14. 

  14. 0.00 MainApp: exit /creating_trafficlight/creating_redlight
    15. 

  15. 0.00 MainApp: exit /creating_trafficlight
    16. 

  16. 0.00 MainApp: transition (/creating_trafficlight/creating_redlight -> /creating_interrupt_button)
    17. 

  17. 0.00 MainApp: enter /creating_interrupt_button
    18. 

  18. 0.00 MainApp: exit /creating_interrupt_button
    19. 

  19. 0.00 MainApp: transition (/creating_interrupt_button -> /creating_quit_button)
    20. 

  20. 0.00 MainApp: enter /creating_quit_button
    21. 

  21. 0.00 MainApp: exit /creating_quit_button
    22. 

  22. 0.00 MainApp: transition (/creating_quit_button -> /on)
    23. 

  23. 0.00 MainApp: enter /on
    24. 

  24. 0.00 MainApp: enter /on/normal
    25. 

  25. 0.00 MainApp: enter /on/normal/red
    26. 

  26. 3.00 MainApp: exit /on/normal/red
    27. 

  27. 3.00 MainApp: transition (/on/normal/red -> /on/normal/green)
    28. 

  28. 3.00 MainApp: enter /on/normal/green
    29. 

  29. 3.10 MainApp: exit /on/normal/green
    30. 

  30. 3.10 MainApp: exit /on/normal
    31. 

  31. 3.10 MainApp: transition (/on/normal -> /on/interrupted)
    32. 

  32. 3.10 MainApp: enter /on/interrupted
    33. 

  33. 3.10 MainApp: enter /on/interrupted/yellow
    34. 

  34. 3.50 MainApp: exit /on/interrupted/yellow
    35. 

  35. 3.50 MainApp: exit /on/interrupted
    36. 

  36. 3.50 MainApp: transition (/on/interrupted -> /on/normal/history)
    37. 

  37. 3.50 MainApp: enter /on/normal
    38. 

  38. 3.50 MainApp: enter /on/normal/green
    39. 

  39. 5.00 MainApp: exit /on/normal/green
    40. 

  40. 5.00 MainApp: exit /on/normal
    41. 

  41. 5.00 MainApp: exit /on
    42. 

  42. 5.00 MainApp: transition (/on/normal -> /off)
    43. 

  43. 5.00 MainApp: enter /off
    44.