|
|
@@ -2,17 +2,22 @@
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- INITIAL CONDITIONS in model <controller.A>
|
|
|
- Initial State: None
|
|
|
+ INITIAL CONDITIONS in model <Controller.A>
|
|
|
+ Initial State:
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
|
|
|
- INITIAL CONDITIONS in model <controller.MainApp>
|
|
|
- Initial State: None
|
|
|
+ INITIAL CONDITIONS in model <Controller.MainApp>
|
|
|
+ Initial State:
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
|
|
|
- INITIAL CONDITIONS in model <controller.ObjectManager>
|
|
|
+ INITIAL CONDITIONS in model <Controller.ObjectManager>
|
|
|
+ Initial State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
+ Next scheduled internal transition at time 0.000000
|
|
|
+
|
|
|
+
|
|
|
+ INITIAL CONDITIONS in model <Controller.Tester>
|
|
|
Initial State: None
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
@@ -20,21 +25,21 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.MainApp>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
Input Port Configuration:
|
|
|
port <obj_manager_in>:
|
|
|
- ('MainApp', 'MainApp', (event name: start_instance; port: None; parameters: ['MainApp[0]']))
|
|
|
+ [('MainApp', 'MainApp', (event name: start_instance; port: None; parameters: ['MainApp[0]']))]
|
|
|
port <input>:
|
|
|
- port <private_26_<narrow_cast>>:
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ port <private_27_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Output Port Configuration:
|
|
|
port <port1>:
|
|
|
- ('MainApp', 'MainApp', (event name: start_instance; port: None; parameters: ['MainApp[0]']))
|
|
|
+ [('MainApp', 'MainApp', (event name: start_instance; port: None; parameters: ['MainApp[0]']))]
|
|
|
port <port2>:
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
@@ -42,16 +47,16 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
Input Port Configuration:
|
|
|
port <input>:
|
|
|
('MainApp', 'MainApp', (event name: instance_started; port: None; parameters: ['MainApp[0]']))
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
('MainApp', 'MainApp', (event name: instance_started; port: None; parameters: ['MainApp[0]']))
|
|
|
@@ -63,77 +68,70 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- CONFLUENT TRANSITION in model <controller.MainApp>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
Input Port Configuration:
|
|
|
- port <obj_manager_in>:
|
|
|
- ('MainApp', 'MainApp', (event name: instance_started; port: None; parameters: ['MainApp[0]']))
|
|
|
- port <input>:
|
|
|
- port <private_26_<narrow_cast>>:
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
+ port <input>:
|
|
|
('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
- port <ui>:
|
|
|
- port <linkA>:
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- CONFLUENT TRANSITION in model <controller.ObjectManager>
|
|
|
- Input Port Configuration:
|
|
|
- port <input>:
|
|
|
- ('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
- port <port1>:
|
|
|
- ('MainApp', 'MainApp', (event name: instance_started; port: None; parameters: ['MainApp[0]']))
|
|
|
- port <port2>:
|
|
|
- Next scheduled internal transition at time 0.000000
|
|
|
+ port <obj_manager_out>:
|
|
|
+ ('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
+ port <ui>:
|
|
|
+ port <linkA>:
|
|
|
+ Next scheduled internal transition at time inf
|
|
|
|
|
|
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.A>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.A>
|
|
|
Input Port Configuration:
|
|
|
port <obj_manager_in>:
|
|
|
- ('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
+ [('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))]
|
|
|
port <input>:
|
|
|
- port <private_27_<narrow_cast>>:
|
|
|
- New State: {0: <target.AInstance object at 0x10606eb10>}
|
|
|
+ port <private_28_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
- Output Port Configuration:
|
|
|
- port <obj_manager_out>:
|
|
|
- port <ui>:
|
|
|
- port <linkA>:
|
|
|
+ EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ Input Port Configuration:
|
|
|
+ port <obj_manager_in>:
|
|
|
+ [('MainApp', 'MainApp', (event name: instance_started; port: None; parameters: ['MainApp[0]']))]
|
|
|
+ port <input>:
|
|
|
+ port <private_27_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Output Port Configuration:
|
|
|
port <port1>:
|
|
|
+ [('MainApp', 'MainApp', (event name: instance_started; port: None; parameters: ['MainApp[0]']))]
|
|
|
port <port2>:
|
|
|
- ('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
+ [('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))]
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
Input Port Configuration:
|
|
|
port <input>:
|
|
|
('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.A>
|
|
|
- New State: {0: <target.AInstance object at 0x10606eb10>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.A>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))
|
|
|
@@ -141,8 +139,23 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+__ Current Time: 0.000000 __________________________________________
|
|
|
+
|
|
|
+
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
+ Output Port Configuration:
|
|
|
+ port <obj_manager_out>:
|
|
|
+ port <ui>:
|
|
|
+ port <linkA>:
|
|
|
+ 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>:
|
|
|
@@ -153,21 +166,21 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.MainApp>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
Input Port Configuration:
|
|
|
port <obj_manager_in>:
|
|
|
- ('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))
|
|
|
+ [('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))]
|
|
|
port <input>:
|
|
|
- port <private_26_<narrow_cast>>:
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ port <private_27_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Output Port Configuration:
|
|
|
port <port1>:
|
|
|
- ('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))
|
|
|
+ [('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))]
|
|
|
port <port2>:
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
@@ -175,8 +188,17 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
+ EXIT STATE in model <MainApp>
|
|
|
+ State: State(1) (name: /state1)
|
|
|
+
|
|
|
+ TRANSITION FIRED in model <MainApp>
|
|
|
+ Transition(State(1), State(2))
|
|
|
+
|
|
|
+ ENTER STATE in model <MainApp>
|
|
|
+ State: State(2) (name: /state2)
|
|
|
+
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
port <ui>:
|
|
|
@@ -187,8 +209,8 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
port <ui>:
|
|
|
@@ -200,16 +222,16 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
Input Port Configuration:
|
|
|
port <input>:
|
|
|
('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
@@ -221,39 +243,39 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.A>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.A>
|
|
|
Input Port Configuration:
|
|
|
port <obj_manager_in>:
|
|
|
- ('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
+ [('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))]
|
|
|
port <input>:
|
|
|
- port <private_27_<narrow_cast>>:
|
|
|
port <private_28_<narrow_cast>>:
|
|
|
- New State: {0: <target.AInstance object at 0x10606eb10>, 1: <target.AInstance object at 0x10606ef30>}
|
|
|
+ port <private_29_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Output Port Configuration:
|
|
|
port <port1>:
|
|
|
port <port2>:
|
|
|
- ('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))
|
|
|
+ [('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))]
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
Input Port Configuration:
|
|
|
port <input>:
|
|
|
('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[1]']))
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.A>
|
|
|
- New State: {0: <target.AInstance object at 0x10606eb10>, 1: <target.AInstance object at 0x10606ef30>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.A>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[1]']))
|
|
|
@@ -264,21 +286,21 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.MainApp>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
Input Port Configuration:
|
|
|
port <obj_manager_in>:
|
|
|
- ('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[1]']))
|
|
|
+ [('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[1]']))]
|
|
|
port <input>:
|
|
|
- port <private_26_<narrow_cast>>:
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ port <private_27_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Output Port Configuration:
|
|
|
port <port1>:
|
|
|
- ('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[1]']))
|
|
|
+ [('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[1]']))]
|
|
|
port <port2>:
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
@@ -286,8 +308,26 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
+ EXIT STATE in model <MainApp>
|
|
|
+ State: State(2) (name: /state2)
|
|
|
+
|
|
|
+ TRANSITION FIRED in model <MainApp>
|
|
|
+ Transition(State(2), State(3))
|
|
|
+
|
|
|
+ ENTER STATE in model <MainApp>
|
|
|
+ State: State(3) (name: /state3)
|
|
|
+
|
|
|
+ EXIT STATE in model <MainApp>
|
|
|
+ State: State(3) (name: /state3)
|
|
|
+
|
|
|
+ TRANSITION FIRED in model <MainApp>
|
|
|
+ Transition(State(3), State(4))
|
|
|
+
|
|
|
+ ENTER STATE in model <MainApp>
|
|
|
+ State: State(4) (name: /state4)
|
|
|
+
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
port <ui>:
|
|
|
@@ -298,8 +338,8 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
port <ui>:
|
|
|
@@ -311,20 +351,39 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
Input Port Configuration:
|
|
|
port <input>:
|
|
|
('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
- ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
+ port <ui>:
|
|
|
+ port <linkA>:
|
|
|
+ Next scheduled internal transition at time 0.000000
|
|
|
+
|
|
|
+
|
|
|
+__ Current Time: 0.000000 __________________________________________
|
|
|
+
|
|
|
+
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ Input Port Configuration:
|
|
|
+ port <input>:
|
|
|
+ ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
+ Next scheduled internal transition at time 0.000000
|
|
|
+
|
|
|
+
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
+ Output Port Configuration:
|
|
|
+ port <obj_manager_out>:
|
|
|
('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
port <ui>:
|
|
|
port <linkA>:
|
|
|
@@ -334,45 +393,61 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.A>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.A>
|
|
|
Input Port Configuration:
|
|
|
port <obj_manager_in>:
|
|
|
- ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
- ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
+ [('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[1]', [1]])), ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[0]', [0]]))]
|
|
|
port <input>:
|
|
|
- port <private_27_<narrow_cast>>:
|
|
|
port <private_28_<narrow_cast>>:
|
|
|
- New State: {}
|
|
|
+ port <private_29_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Output Port Configuration:
|
|
|
port <port1>:
|
|
|
port <port2>:
|
|
|
- ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
- ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
+ [('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[1]', [1]])), ('MainApp', 'A', (event name: delete_instance; port: None; parameters: ['linkA[0]', [0]]))]
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
Input Port Configuration:
|
|
|
port <input>:
|
|
|
('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
- ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.A>
|
|
|
- New State: {}
|
|
|
+ INTERNAL TRANSITION in model <Controller.A>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
+ port <ui>:
|
|
|
+ Next scheduled internal transition at time 0.000000
|
|
|
+
|
|
|
+
|
|
|
+__ Current Time: 0.000000 __________________________________________
|
|
|
+
|
|
|
+
|
|
|
+ EXTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ Input Port Configuration:
|
|
|
+ port <input>:
|
|
|
+ ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
+ Next scheduled internal transition at time 0.000000
|
|
|
+
|
|
|
+
|
|
|
+ INTERNAL TRANSITION in model <Controller.A>
|
|
|
+ New State:
|
|
|
+ Output Port Configuration:
|
|
|
+ port <obj_manager_out>:
|
|
|
('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
port <ui>:
|
|
|
Next scheduled internal transition at time inf
|
|
|
@@ -381,23 +456,21 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- EXTERNAL TRANSITION in model <controller.MainApp>
|
|
|
+ EXTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
Input Port Configuration:
|
|
|
port <obj_manager_in>:
|
|
|
- ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
- ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
+ [('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[1]', [1]])), ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[0]', [0]]))]
|
|
|
port <input>:
|
|
|
- port <private_26_<narrow_cast>>:
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ port <private_27_<narrow_cast>>:
|
|
|
+ New State:
|
|
|
Next scheduled internal transition at time 0.000000
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.ObjectManager>
|
|
|
- New State: <target.ObjectManagerState object at 0x1060f84d0>
|
|
|
+ INTERNAL TRANSITION in model <Controller.ObjectManager>
|
|
|
+ New State: <target.ObjectManagerState object at 0x10619d1f0>
|
|
|
Output Port Configuration:
|
|
|
port <port1>:
|
|
|
- ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[1]', [1]]))
|
|
|
- ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[0]', [0]]))
|
|
|
+ [('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[1]', [1]])), ('A', 'MainApp', (event name: instance_deleted; port: None; parameters: ['linkA[0]', [0]]))]
|
|
|
port <port2>:
|
|
|
Next scheduled internal transition at time inf
|
|
|
|
|
|
@@ -405,8 +478,26 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
+ EXIT STATE in model <MainApp>
|
|
|
+ State: State(4) (name: /state4)
|
|
|
+
|
|
|
+ TRANSITION FIRED in model <MainApp>
|
|
|
+ Transition(State(4), State(4))
|
|
|
+
|
|
|
+ ENTER STATE in model <MainApp>
|
|
|
+ State: State(4) (name: /state4)
|
|
|
+
|
|
|
+ EXIT STATE in model <MainApp>
|
|
|
+ State: State(4) (name: /state4)
|
|
|
+
|
|
|
+ TRANSITION FIRED in model <MainApp>
|
|
|
+ Transition(State(4), State(4))
|
|
|
+
|
|
|
+ ENTER STATE in model <MainApp>
|
|
|
+ State: State(4) (name: /state4)
|
|
|
+
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
port <ui>:
|
|
|
@@ -417,13 +508,35 @@ __ Current Time: 0.000000 __________________________________________
|
|
|
__ Current Time: 0.000000 __________________________________________
|
|
|
|
|
|
|
|
|
- INTERNAL TRANSITION in model <controller.MainApp>
|
|
|
- New State: {0: <target.MainAppInstance object at 0x1060f9eb0>}
|
|
|
+ INTERNAL TRANSITION in model <Controller.MainApp>
|
|
|
+ New State:
|
|
|
Output Port Configuration:
|
|
|
port <obj_manager_out>:
|
|
|
port <ui>:
|
|
|
(event name: instance_deleted_succesfully; port: ui; parameters: ['0.00', 'linkA[1]'])
|
|
|
+ port <linkA>:
|
|
|
+ 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: instance_deleted_succesfully; port: ui; parameters: ['0.00', 'linkA[0]'])
|
|
|
port <linkA>:
|
|
|
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_ui>:
|
|
|
+ Next scheduled internal transition at time inf
|
|
|
+
|