| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189 |
- __ Current Time: 0.000000 __________________________________________
- 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 0x1060c13d0>
- 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_0_<narrow_cast>>:
- New State:
- Next scheduled internal transition at time 0.000000
- INTERNAL TRANSITION in model <Controller.ObjectManager>
- New State: <target.ObjectManagerState object at 0x1060c13d0>
- Output Port Configuration:
- port <port1>:
- [('MainApp', 'MainApp', (event name: start_instance; port: None; parameters: ['MainApp[0]']))]
- 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 <Output>:
- (event name: waiting_on_input; port: Output)
- Next scheduled internal transition at time 0.000000
- __ 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 0x1060c13d0>
- 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 <Output>:
- 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 <Output>:
- Next scheduled internal transition at time inf
- __ Current 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_0_<narrow_cast>>:
- New State:
- Next scheduled internal transition at time 0.000000
- INTERNAL TRANSITION in model <Controller.ObjectManager>
- New State: <target.ObjectManagerState object at 0x1060c13d0>
- Output Port Configuration:
- port <port1>:
- [('MainApp', 'MainApp', (event name: instance_started; port: None; parameters: ['MainApp[0]']))]
- 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 <Output>:
- 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 <Output>:
- 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_Input>:
- Next scheduled internal transition at time 1.000000
- __ Current Time: 1.000000 __________________________________________
- EXTERNAL TRANSITION in model <Controller.MainApp>
- Input Port Configuration:
- port <obj_manager_in>:
- port <input>:
- ['Event("test","Input",[])']
- port <private_0_<narrow_cast>>:
- New State:
- Next scheduled internal transition at time 1.000000
- INTERNAL TRANSITION in model <Controller.Tester>
- New State: None
- Output Port Configuration:
- port <Test_Input>:
- ['Event("test","Input",[])']
- Next scheduled internal transition at time inf
- __ Current Time: 1.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 <Output>:
- 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 <Output>:
- (event name: received; port: Output)
- Next scheduled internal transition at time inf
|