| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231 |
- __ Current Time: 0.000000 __________________________________________
- INITIAL CONDITIONS in model <Controller.A>
- Initial State:
- Next scheduled internal transition at time inf
- INITIAL CONDITIONS in model <Controller.MainApp>
- Initial State:
- Next scheduled internal transition at time inf
- INITIAL CONDITIONS in model <Controller.ObjectManager>
- Initial State: <target.ObjectManagerState object at 0x104c7a120>
- 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
- __ Current Time: 0.000000 __________________________________________
- EXTERNAL TRANSITION in model <Controller.MainApp>
- Input Port Configuration:
- port <obj_manager_in>:
- [('MainApp', 'MainApp', (event name: start_instance; port: None; parameters: ['MainApp[0]']))]
- port <input>:
- port <private_6_<narrow_cast>>:
- New State:
- Next scheduled internal transition at time 0.000000
- INTERNAL TRANSITION in model <Controller.ObjectManager>
- New State: <target.ObjectManagerState object at 0x104c7a120>
- Output Port Configuration:
- port <port1>:
- [('MainApp', 'MainApp', (event name: start_instance; port: None; parameters: ['MainApp[0]']))]
- port <port2>:
- Next scheduled internal transition at time inf
- __ Current Time: 0.000000 __________________________________________
- 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 0x104c7a120>
- Next scheduled internal transition at time 0.000000
- 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]']))
- 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: create_instance; port: None; parameters: ['linkA', 'A']))
- New State: <target.ObjectManagerState object at 0x104c7a120>
- 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: 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>
- Input Port Configuration:
- port <obj_manager_in>:
- [('MainApp', 'A', (event name: create_instance; port: None; parameters: ['linkA', 'A']))]
- port <input>:
- port <private_7_<narrow_cast>>:
- New State:
- Next scheduled internal transition at time 0.000000
- 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_6_<narrow_cast>>:
- New State:
- Next scheduled internal transition at time 0.000000
- INTERNAL TRANSITION in model <Controller.ObjectManager>
- New State: <target.ObjectManagerState object at 0x104c7a120>
- 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']))]
- Next scheduled internal transition at time inf
- __ Current Time: 0.000000 __________________________________________
- 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 0x104c7a120>
- 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_created; port: None; parameters: ['linkA[0]']))
- port <ui>:
- Next scheduled internal transition at time inf
- __ 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>:
- port <linkA>:
- Next scheduled internal transition at time inf
- __ Current Time: 0.000000 __________________________________________
- EXTERNAL TRANSITION in model <Controller.MainApp>
- Input Port Configuration:
- port <obj_manager_in>:
- [('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))]
- port <input>:
- port <private_6_<narrow_cast>>:
- New State:
- Next scheduled internal transition at time 0.000000
- INTERNAL TRANSITION in model <Controller.ObjectManager>
- New State: <target.ObjectManagerState object at 0x104c7a120>
- Output Port Configuration:
- port <port1>:
- [('A', 'MainApp', (event name: instance_created; port: None; parameters: ['linkA[0]']))]
- port <port2>:
- Next scheduled internal transition at time inf
- __ Current Time: 0.000000 __________________________________________
- 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>:
- 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_created_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
|