|
|
@@ -1,751 +0,0 @@
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INITIAL CONDITIONS in model <Controller.MainApp>
|
|
|
- Initial State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INITIAL CONDITIONS in model <Controller.ObjectManager>
|
|
|
- Initial State: <sccd.runtime.DEVS_statecharts_core.ObjectManagerState object at 0x104e5fd10>
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
- INITIAL CONDITIONS in model <Controller.Tester>
|
|
|
- Initial State: None
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: create_window; port: ui; parameters: [100, 350, 'Traffic Light (history)', 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("window_created","private_1_field_ui",[0])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("window_created","private_1_field_ui",[0])']
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(1) (name: /creating_window)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/creating_window -> /creating_canvas)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(2) (name: /creating_canvas)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: create_canvas; port: ui; parameters: [0, 100, 250, {'background': '#222222'}, 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("canvas_created","private_1_field_ui",[1])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("canvas_created","private_1_field_ui",[1])']
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(2) (name: /creating_canvas)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/creating_canvas -> /creating_trafficlight)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(3) (name: /creating_trafficlight)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(4) (name: /creating_trafficlight/creating_greenlight)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: create_rectangle; port: ui; parameters: [1, 50, 50, 50, 50, {'fill': '#000'}, 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("rectangle_created","private_1_field_ui",[1, 1])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("rectangle_created","private_1_field_ui",[1, 1])']
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(4) (name: /creating_trafficlight/creating_greenlight)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/creating_trafficlight/creating_greenlight -> /creating_trafficlight/creating_yellowlight)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(5) (name: /creating_trafficlight/creating_yellowlight)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: create_rectangle; port: ui; parameters: [1, 50, 110, 50, 50, {'fill': '#000'}, 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("rectangle_created","private_1_field_ui",[1, 2])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("rectangle_created","private_1_field_ui",[1, 2])']
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(5) (name: /creating_trafficlight/creating_yellowlight)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/creating_trafficlight/creating_yellowlight -> /creating_trafficlight/creating_redlight)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(6) (name: /creating_trafficlight/creating_redlight)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: create_rectangle; port: ui; parameters: [1, 50, 170, 50, 50, {'fill': '#000'}, 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("rectangle_created","private_1_field_ui",[1, 3])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("rectangle_created","private_1_field_ui",[1, 3])']
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(6) (name: /creating_trafficlight/creating_redlight)
|
|
|
-
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(3) (name: /creating_trafficlight)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/creating_trafficlight/creating_redlight -> /creating_interrupt_button)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(7) (name: /creating_interrupt_button)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: create_button; port: ui; parameters: [0, 'Police Interrupt', 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("button_created","private_1_field_ui",[2])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("button_created","private_1_field_ui",[2])']
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(7) (name: /creating_interrupt_button)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/creating_interrupt_button -> /creating_quit_button)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(8) (name: /creating_quit_button)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: bind_event; port: ui; parameters: [2, '<Button>', 'interrupt_clicked', 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: create_button; port: ui; parameters: [0, 'Quit', 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("button_created","private_1_field_ui",[3])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("button_created","private_1_field_ui",[3])']
|
|
|
- Next scheduled internal transition at time 1.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(8) (name: /creating_quit_button)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/creating_quit_button -> /on)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(9) (name: /on)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(10) (name: /on/normal)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(11) (name: /on/normal/red)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: bind_event; port: ui; parameters: [3, '<Button>', 'quit_clicked', 'private_1_field_ui'])
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 2, 'black'])
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 0.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 3, 'red'])
|
|
|
- Next scheduled internal transition at time 3.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("interrupt_clicked","private_1_field_ui",[58, 24, 1])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 1.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("interrupt_clicked","private_1_field_ui",[58, 24, 1])']
|
|
|
- Next scheduled internal transition at time 1.990000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(11) (name: /on/normal/red)
|
|
|
-
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(10) (name: /on/normal)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/on/normal -> /on/interrupted)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(14) (name: /on/interrupted)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(15) (name: /on/interrupted/yellow)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 1.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 1, 'black'])
|
|
|
- Next scheduled internal transition at time 1.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 2, 'black'])
|
|
|
- Next scheduled internal transition at time 1.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 3, 'black'])
|
|
|
- Next scheduled internal transition at time 1.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 2, 'yellow'])
|
|
|
- Next scheduled internal transition at time 1.500000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.500000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(15) (name: /on/interrupted/yellow)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/on/interrupted/yellow -> /on/interrupted/black)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(16) (name: /on/interrupted/black)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 1.500000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.500000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 2, 'black'])
|
|
|
- Next scheduled internal transition at time 2.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.990000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("interrupt_clicked","private_1_field_ui",[58, 24, 1])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 1.990000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("interrupt_clicked","private_1_field_ui",[58, 24, 1])']
|
|
|
- Next scheduled internal transition at time 3.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.990000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(16) (name: /on/interrupted/black)
|
|
|
-
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(14) (name: /on/interrupted)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/on/interrupted -> /on/normal)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(10) (name: /on/normal)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(11) (name: /on/normal/red)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 1.990000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.990000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 2, 'black'])
|
|
|
- Next scheduled internal transition at time 1.990000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 1.990000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 3, 'red'])
|
|
|
- Next scheduled internal transition at time 4.990000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 3.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- port <input>:
|
|
|
- port <field_ui>:
|
|
|
- ['Event("quit_clicked","private_1_field_ui",[58, 45, 1])']
|
|
|
- New State:
|
|
|
- Next scheduled internal transition at time 3.000000
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.Tester>
|
|
|
- New State: None
|
|
|
- Output Port Configuration:
|
|
|
- port <Test_field_ui>:
|
|
|
- ['Event("quit_clicked","private_1_field_ui",[58, 45, 1])']
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 3.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(11) (name: /on/normal/red)
|
|
|
-
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(10) (name: /on/normal)
|
|
|
-
|
|
|
- EXIT STATE in model <MainApp>
|
|
|
- State: State(9) (name: /on)
|
|
|
-
|
|
|
- TRANSITION FIRED in model <MainApp>
|
|
|
- Transition(/on -> /off)
|
|
|
-
|
|
|
- ENTER STATE in model <MainApp>
|
|
|
- State: State(17) (name: /off)
|
|
|
-
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- Next scheduled internal transition at time 3.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 3.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 1, 'black'])
|
|
|
- Next scheduled internal transition at time 3.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 3.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 2, 'black'])
|
|
|
- Next scheduled internal transition at time 3.000000
|
|
|
-
|
|
|
-
|
|
|
-__ Current Time: 3.000000 __________________________________________
|
|
|
-
|
|
|
-
|
|
|
- INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
- New State:
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- (event name: set_element_color; port: ui; parameters: [1, 3, 'black'])
|
|
|
- Next scheduled internal transition at time inf
|
|
|
-
|