def test1_trans_topology_a(): ao = ActiveObject() ao.start_at(outer) pp(ao.spy_full()) assert (ao.spy_full() == [ 'START', 'SEARCH_FOR_SUPER_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'INIT_SIGNAL:outer', '<- Queued:(0) Deferred:(0)' ]) pp(ao.spy_full()) print(ao.trace()) event_w = Event(signal=signals.WaitComplete) ao.clear_trace() ao.post_fifo(event_w) import time time.sleep(0.1) pp(ao.spy_rtc()) print(ao.trace()) # clear the spy and the trace ao.clear_spy() ao.clear_trace() # post a number of events and see what happens event_wait_complete = Event(signal=signals.WaitComplete) event_reset_chart = Event(signal=signals.ResetChart) ao.post_fifo(event_wait_complete) ao.post_fifo(event_reset_chart) ao.post_fifo(event_wait_complete) ao.post_fifo(event_reset_chart) time.sleep(0.3) print(ao.trace()) pp(ao.spy_full())
def test_interior_postings_example(): ao = ActiveObject() ao.start_at(middle) time.sleep(0.4) ao.post_fifo(Event(signal=signals.D)) time.sleep(0.5) # if you don't wait it won't look like it is working pp(ao.spy) assert (ao.spy_full() == [ 'START', 'SEARCH_FOR_SUPER_SIGNAL:middle', 'SEARCH_FOR_SUPER_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'ENTRY_SIGNAL:middle', 'INIT_SIGNAL:middle', '<- Queued:(0) Deferred:(0)', 'A:middle', 'SEARCH_FOR_SUPER_SIGNAL:inner', 'ENTRY_SIGNAL:inner', 'POST_DEFERRED:B', 'INIT_SIGNAL:inner', '<- Queued:(0) Deferred:(1)', 'A:inner', 'A:middle', 'EXIT_SIGNAL:inner', 'SEARCH_FOR_SUPER_SIGNAL:inner', 'ENTRY_SIGNAL:inner', 'POST_DEFERRED:B', 'INIT_SIGNAL:inner', '<- Queued:(0) Deferred:(2)', 'A:inner', 'A:middle', 'EXIT_SIGNAL:inner', 'SEARCH_FOR_SUPER_SIGNAL:inner', 'ENTRY_SIGNAL:inner', 'POST_DEFERRED:B', 'INIT_SIGNAL:inner', '<- Queued:(0) Deferred:(3)', 'D:inner', 'D:middle', 'D:outer', 'RECALL:B', 'POST_FIFO:B', 'D:outer:HOOK', '<- Queued:(1) Deferred:(2)', 'B:inner', 'B:middle', 'B:outer', 'EXIT_SIGNAL:inner', 'EXIT_SIGNAL:middle', 'EXIT_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'RECALL:B', 'POST_FIFO:B', 'INIT_SIGNAL:outer', '<- Queued:(1) Deferred:(1)', 'B:outer', 'EXIT_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'RECALL:B', 'POST_FIFO:B', 'INIT_SIGNAL:outer', '<- Queued:(1) Deferred:(0)', 'B:outer', 'EXIT_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'INIT_SIGNAL:outer', '<- Queued:(0) Deferred:(0)' ])
def test_scribble_to_learn_nature_of_event_processor(): ao = ActiveObject(name="Testing") ao.start_at(s11_state) time.sleep(0.1) ao.post_fifo(Event(signal=signals.T)) time.sleep(0.5) pp(ao.spy())
def test_scribble_to_learn_nature_of_event_processor(): ao = ActiveObject(name="Testing") ao.start_at(s11_state) time.sleep(0.1) ao.post_fifo(Event(signal=signals.T)) time.sleep(0.5) pp(ao.spy())
def test_live_spys(fabric_fixture): tazor = ActiveObject() tazor.live_spy = True tazor.live_trace = True tazor.start_at(arming) time.sleep(0.1) tazor.post_fifo(Event(signal=signals.READY)) time.sleep(0.1)
def test_that_stop_works_within_an_active_object(): ao = ActiveObject('some_state') ao.start_at(some_state) time.sleep(0.1) assert (ao.thread.is_alive() == True) ao.post_fifo(Event(signal=signals.Destroy_This_Chart)) time.sleep(0.1) assert (ao.thread.is_alive() == False)
def test_live_spys(): tazor = ActiveObject() tazor.live_spy = True tazor.live_trace = True tazor.start_at(arming) time.sleep(0.1) tazor.post_fifo(Event(signal=signals.READY)) time.sleep(0.1)
def augmenting_state_methods_after_creation_and_test(request): def trans_to_s1(chart, e): return chart.trans(s1) def trans_to_c2_s3(chart, e): return chart.trans(s3) def trans_to_c2_s2(chart, e): return chart.trans(s2) def handled(chart, e): return return_status.HANDLED ao = ActiveObject() ao.register_signal_callback(s1, signals.BB, trans_to_s1) ao.register_signal_callback(s1, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(s1, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(s1, signals.INIT_SIGNAL, trans_to_c2_s2) ao.register_parent(s1, ao.top) ao.register_signal_callback(s2, signals.A, trans_to_c2_s3) ao.register_signal_callback(s2, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(s2, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(s2, signals.INIT_SIGNAL, handled) ao.register_parent(s2, s1) ao.register_signal_callback(s3, signals.A, trans_to_c2_s2) ao.register_signal_callback(s3, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(s3, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(s3, signals.INIT_SIGNAL, handled) ao.register_parent(s3, s1) ao.start_at(s2) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.BB)) time.sleep(0.10) yield(ao)
def augmenting_state_methods_after_creation_and_test(request): def trans_to_s1(chart, e): return chart.trans(s1) def trans_to_c2_s3(chart, e): return chart.trans(s3) def trans_to_c2_s2(chart, e): return chart.trans(s2) def handled(chart, e): return return_status.HANDLED ao = ActiveObject() ao.register_signal_callback(s1, signals.BB, trans_to_s1) ao.register_signal_callback(s1, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(s1, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(s1, signals.INIT_SIGNAL, trans_to_c2_s2) ao.register_parent(s1, ao.top) ao.register_signal_callback(s2, signals.A, trans_to_c2_s3) ao.register_signal_callback(s2, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(s2, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(s2, signals.INIT_SIGNAL, handled) ao.register_parent(s2, s1) ao.register_signal_callback(s3, signals.A, trans_to_c2_s2) ao.register_signal_callback(s3, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(s3, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(s3, signals.INIT_SIGNAL, handled) ao.register_parent(s3, s1) ao.start_at(s2) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.BB)) time.sleep(0.10) yield (ao)
def test_tazor_example(): tazor = ActiveObject() tazor.start_at(arming) time.sleep(0.4) tazor.post_fifo(Event(signal=signals.TRIGGER_PULLED)) time.sleep(0.1) # if you don't wait it won't look like it is working assert (tazor.spy_full() == [ 'START', 'SEARCH_FOR_SUPER_SIGNAL:arming', 'SEARCH_FOR_SUPER_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:arming', 'INIT_SIGNAL:arming', '<- Queued:(0) Deferred:(0)', 'BATTERY_CHARGE:arming', 'SEARCH_FOR_SUPER_SIGNAL:armed', 'ENTRY_SIGNAL:armed', 'POST_DEFERRED:CAPACITOR_CHARGE', 'INIT_SIGNAL:armed', '<- Queued:(0) Deferred:(1)', 'BATTERY_CHARGE:armed', 'BATTERY_CHARGE:arming', 'EXIT_SIGNAL:armed', 'SEARCH_FOR_SUPER_SIGNAL:armed', 'ENTRY_SIGNAL:armed', 'POST_DEFERRED:CAPACITOR_CHARGE', 'INIT_SIGNAL:armed', '<- Queued:(0) Deferred:(2)', 'BATTERY_CHARGE:armed', 'BATTERY_CHARGE:arming', 'EXIT_SIGNAL:armed', 'SEARCH_FOR_SUPER_SIGNAL:armed', 'ENTRY_SIGNAL:armed', 'POST_DEFERRED:CAPACITOR_CHARGE', 'INIT_SIGNAL:armed', '<- Queued:(0) Deferred:(3)', 'TRIGGER_PULLED:armed', 'TRIGGER_PULLED:arming', 'TRIGGER_PULLED:tazor_operating', 'RECALL:CAPACITOR_CHARGE', 'POST_FIFO:CAPACITOR_CHARGE', 'TRIGGER_PULLED:tazor_operating:HOOK', '<- Queued:(1) Deferred:(2)', 'CAPACITOR_CHARGE:armed', 'CAPACITOR_CHARGE:arming', 'CAPACITOR_CHARGE:tazor_operating', 'EXIT_SIGNAL:armed', 'EXIT_SIGNAL:arming', 'EXIT_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'RECALL:CAPACITOR_CHARGE', 'POST_FIFO:CAPACITOR_CHARGE', 'INIT_SIGNAL:tazor_operating', '<- Queued:(1) Deferred:(1)', 'CAPACITOR_CHARGE:tazor_operating', 'EXIT_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'RECALL:CAPACITOR_CHARGE', 'POST_FIFO:CAPACITOR_CHARGE', 'INIT_SIGNAL:tazor_operating', '<- Queued:(1) Deferred:(0)', 'CAPACITOR_CHARGE:tazor_operating', 'EXIT_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'INIT_SIGNAL:tazor_operating', '<- Queued:(0) Deferred:(0)' ]) print(tazor.trace())
def test1_trans_topology_a(): ao = ActiveObject() ao.start_at(outer) pp(ao.spy_full()) assert(ao.spy_full() == ['START', 'SEARCH_FOR_SUPER_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'INIT_SIGNAL:outer', '<- Queued:(0) Deferred:(0)'] ) pp(ao.spy_full()) print(ao.trace()) event_w = Event(signal=signals.WaitComplete) ao.clear_trace() ao.post_fifo(event_w) import time time.sleep(0.1) pp(ao.spy_rtc()) print(ao.trace()) # stop the threads ao.stop() # clear the spy and the trace ao.clear_spy() ao.clear_trace() # post a number of events and see what happens event_wait_complete = Event(signal=signals.WaitComplete) event_reset_chart = Event(signal=signals.ResetChart) ao.post_fifo(event_wait_complete) ao.post_fifo(event_reset_chart) ao.post_fifo(event_wait_complete) ao.post_fifo(event_reset_chart) time.sleep(0.3) print(ao.trace()) pp(ao.spy_full())
status = chart.trans(a1) else: chart.temp.fun = chart.top status = return_status.SUPER return status @spy_on def a1(chart, e): if (e.signal == signals.ENTRY_SIGNAL): print("'a1' entered") status = return_status.HANDLED elif (e.signal == signals.EXIT_SIGNAL): print("'a1' exited") status = return_status.HANDLED else: chart.temp.fun = a status = return_status.SUPER return status if __name__ == "__main__": # simple hook example 2 ao = ActiveObject(name="she2") ao.live_trace = True ao.start_at(a1) ao.post_fifo(Event(signal=signals.SIGNAL_NAME)) ao.post_fifo(Event(signal=signals.Reset)) # starting another thread, let it run for a moment before we shut down time.sleep(0.01)
@spy_on def c2(chart, e): status = return_status.UNHANDLED if (e.signal == signals.ENTRY_SIGNAL): print("c2 entered") status = return_status.HANDLED elif (e.signal == signals.A): status = chart.trans(c1) else: chart.temp.fun = c status = return_status.SUPER return status if __name__ == "__main__": ao = ActiveObject('start_example') print("calling: start_at(c2)") ao.start_at(c2) time.sleep(0.2) print(ao.trace()) # print what happened from the start_at call ao.clear_trace() # clear our instrumentation print("sending B, then A, then A:") ao.post_fifo(Event(signal=signals.B)) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.A)) time.sleep(0.2) print(ao.trace()) # print what happened
chart.scribble("run code, but don't transition out of outer_state") status = return_status.HANDLED elif (e.signal == signals.Retry): chart.condition = False if chart.condition else True status = chart.trans(outer_state) else: chart.temp.fun = chart.top status = return_status.SUPER return status @spy_on def inner_state(chart, e): status = return_status.UNHANDLED if (e.signal == signals.ENTRY_SIGNAL): status = return_status.HANDLED else: chart.temp.fun = outer_state status = return_status.SUPER return status if __name__ == "__main__": ao = ActiveObject('final_icon') ao.augment(name='condition', other=None) ao.live_spy = True ao.start_at(outer_state) ao.post_fifo(Event(signal=signals.Retry)) ao.post_fifo(Event(signal=signals.Retry)) time.sleep(0.01)
def test_to_code(): ts1 = state_method_template('ts1') tc2_s2 = state_method_template('tc2_s2') tc2_s3 = state_method_template('tc2_s3') def trans_to_s1(chart, e): return chart.trans(ts1) def trans_to_c2_s3(chart, e): return chart.trans(tc2_s3) def trans_to_c2_s2(chart, e): return chart.trans(tc2_s2) def handled(chart, e): return return_status.HANDLED ao = ActiveObject() ao.register_signal_callback(ts1, signals.BB, trans_to_s1) ao.register_signal_callback(ts1, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(ts1, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(ts1, signals.INIT_SIGNAL, trans_to_c2_s2) ao.register_parent(ts1, ao.top) # commented out line needed for test to work ao.register_signal_callback(tc2_s2, signals.A, trans_to_c2_s3) ao.register_signal_callback(tc2_s2, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s2, ts1) # commented out lines needed for test to work ao.register_signal_callback(tc2_s3, signals.A, trans_to_c2_s2) ao.register_signal_callback(tc2_s3, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s3, ts1) expected_ts1_as_flat_code = \ ''' @spy_on def ts1(chart, e): status = return_status.UNHANDLED if(e.signal == signals.ENTRY_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.INIT_SIGNAL): status = trans_to_c2_s2(chart, e) elif(e.signal == signals.BB): status = trans_to_s1(chart, e) elif(e.signal == signals.EXIT_SIGNAL): status = return_status.HANDLED else: status, chart.temp.fun = return_status.SUPER, chart.top return status ''' assert(ao.to_code(ts1) == expected_ts1_as_flat_code) expected_tc2_s2_as_flat_code = \ ''' @spy_on def tc2_s2(chart, e): status = return_status.UNHANDLED if(e.signal == signals.ENTRY_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.INIT_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.A): status = trans_to_c2_s3(chart, e) elif(e.signal == signals.EXIT_SIGNAL): status = return_status.HANDLED else: status, chart.temp.fun = return_status.SUPER, ts1 return status ''' assert(ao.to_code(tc2_s2) == expected_tc2_s2_as_flat_code) expected_tc2_s3_as_flat_code = \ ''' @spy_on def tc2_s3(chart, e): status = return_status.UNHANDLED if(e.signal == signals.ENTRY_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.INIT_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.A): status = trans_to_c2_s2(chart, e) elif(e.signal == signals.EXIT_SIGNAL): status = return_status.HANDLED else: status, chart.temp.fun = return_status.SUPER, ts1 return status ''' assert(ao.to_code(tc2_s3) == expected_tc2_s3_as_flat_code) ao.start_at(tc2_s2) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.BB)) time.sleep(0.1) assert(ao.spy() == \ ['START', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)', 'A:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s3', 'INIT_SIGNAL:tc2_s3', '<- Queued:(2) Deferred:(0)', 'A:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'EXIT_SIGNAL:tc2_s3', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(1) Deferred:(0)', 'BB:tc2_s2', 'BB:ts1', 'EXIT_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'INIT_SIGNAL:ts1', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)'])
def test_creating_functions_from_a_template(): ts1 = state_method_template('ts1') tc2_s2 = state_method_template('tc2_s2') tc2_s3 = state_method_template('tc2_s3') def trans_to_s1(chart, e): return chart.trans(ts1) def trans_to_c2_s3(chart, e): return chart.trans(tc2_s3) def trans_to_c2_s2(chart, e): return chart.trans(tc2_s2) def handled(chart, e): return return_status.HANDLED ao = ActiveObject() ao.register_signal_callback(ts1, signals.BB, trans_to_s1) ao.register_signal_callback(ts1, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(ts1, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(ts1, signals.INIT_SIGNAL, trans_to_c2_s2) ao.register_parent(ts1, ao.top) ao.register_signal_callback(tc2_s2, signals.A, trans_to_c2_s3) ao.register_signal_callback(tc2_s2, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s2, ts1) ao.register_signal_callback(tc2_s3, signals.A, trans_to_c2_s2) ao.register_signal_callback(tc2_s3, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s3, ts1) ao.start_at(tc2_s2) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.BB)) time.sleep(0.1) assert(ao.spy() == \ ['START', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)', 'A:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s3', 'INIT_SIGNAL:tc2_s3', '<- Queued:(2) Deferred:(0)', 'A:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'EXIT_SIGNAL:tc2_s3', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(1) Deferred:(0)', 'BB:tc2_s2', 'BB:ts1', 'EXIT_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'INIT_SIGNAL:ts1', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)'])
def test_interior_postings_example(fabric_fixture): ao = ActiveObject() ao.start_at(middle) time.sleep(0.4) ao.post_fifo(Event(signal=signals.D)) time.sleep(0.1) # if you don't wait it won't look like it is working pp(ao.spy) assert(ao.spy_full() == ['START', 'SEARCH_FOR_SUPER_SIGNAL:middle', 'SEARCH_FOR_SUPER_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'ENTRY_SIGNAL:middle', 'INIT_SIGNAL:middle', '<- Queued:(0) Deferred:(0)', 'A:middle', 'SEARCH_FOR_SUPER_SIGNAL:inner', 'ENTRY_SIGNAL:inner', 'POST_DEFERRED:B', 'INIT_SIGNAL:inner', '<- Queued:(0) Deferred:(1)', 'A:inner', 'A:middle', 'EXIT_SIGNAL:inner', 'SEARCH_FOR_SUPER_SIGNAL:inner', 'ENTRY_SIGNAL:inner', 'POST_DEFERRED:B', 'INIT_SIGNAL:inner', '<- Queued:(0) Deferred:(2)', 'A:inner', 'A:middle', 'EXIT_SIGNAL:inner', 'SEARCH_FOR_SUPER_SIGNAL:inner', 'ENTRY_SIGNAL:inner', 'POST_DEFERRED:B', 'INIT_SIGNAL:inner', '<- Queued:(0) Deferred:(3)', 'D:inner', 'D:middle', 'D:outer', 'RECALL:B', 'POST_FIFO:B', 'D:outer:HOOK', '<- Queued:(1) Deferred:(2)', 'B:inner', 'B:middle', 'B:outer', 'EXIT_SIGNAL:inner', 'EXIT_SIGNAL:middle', 'EXIT_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'RECALL:B', 'POST_FIFO:B', 'INIT_SIGNAL:outer', '<- Queued:(1) Deferred:(1)', 'B:outer', 'EXIT_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'RECALL:B', 'POST_FIFO:B', 'INIT_SIGNAL:outer', '<- Queued:(1) Deferred:(0)', 'B:outer', 'EXIT_SIGNAL:outer', 'ENTRY_SIGNAL:outer', 'INIT_SIGNAL:outer', '<- Queued:(0) Deferred:(0)'])
def test_tazor_example(fabric_fixture): tazor = ActiveObject() tazor.start_at(arming) time.sleep(0.4) tazor.post_fifo(Event(signal=signals.TRIGGER_PULLED)) time.sleep(0.1) # if you don't wait it won't look like it is working assert(tazor.spy_full() == ['START', 'SEARCH_FOR_SUPER_SIGNAL:arming', 'SEARCH_FOR_SUPER_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:arming', 'INIT_SIGNAL:arming', '<- Queued:(0) Deferred:(0)', 'BATTERY_CHARGE:arming', 'SEARCH_FOR_SUPER_SIGNAL:armed', 'ENTRY_SIGNAL:armed', 'POST_DEFERRED:CAPACITOR_CHARGE', 'INIT_SIGNAL:armed', '<- Queued:(0) Deferred:(1)', 'BATTERY_CHARGE:armed', 'BATTERY_CHARGE:arming', 'EXIT_SIGNAL:armed', 'SEARCH_FOR_SUPER_SIGNAL:armed', 'ENTRY_SIGNAL:armed', 'POST_DEFERRED:CAPACITOR_CHARGE', 'INIT_SIGNAL:armed', '<- Queued:(0) Deferred:(2)', 'BATTERY_CHARGE:armed', 'BATTERY_CHARGE:arming', 'EXIT_SIGNAL:armed', 'SEARCH_FOR_SUPER_SIGNAL:armed', 'ENTRY_SIGNAL:armed', 'POST_DEFERRED:CAPACITOR_CHARGE', 'INIT_SIGNAL:armed', '<- Queued:(0) Deferred:(3)', 'TRIGGER_PULLED:armed', 'TRIGGER_PULLED:arming', 'TRIGGER_PULLED:tazor_operating', 'RECALL:CAPACITOR_CHARGE', 'POST_FIFO:CAPACITOR_CHARGE', 'TRIGGER_PULLED:tazor_operating:HOOK', '<- Queued:(1) Deferred:(2)', 'CAPACITOR_CHARGE:armed', 'CAPACITOR_CHARGE:arming', 'CAPACITOR_CHARGE:tazor_operating', 'EXIT_SIGNAL:armed', 'EXIT_SIGNAL:arming', 'EXIT_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'RECALL:CAPACITOR_CHARGE', 'POST_FIFO:CAPACITOR_CHARGE', 'INIT_SIGNAL:tazor_operating', '<- Queued:(1) Deferred:(1)', 'CAPACITOR_CHARGE:tazor_operating', 'EXIT_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'RECALL:CAPACITOR_CHARGE', 'POST_FIFO:CAPACITOR_CHARGE', 'INIT_SIGNAL:tazor_operating', '<- Queued:(1) Deferred:(0)', 'CAPACITOR_CHARGE:tazor_operating', 'EXIT_SIGNAL:tazor_operating', 'ENTRY_SIGNAL:tazor_operating', 'INIT_SIGNAL:tazor_operating', '<- Queued:(0) Deferred:(0)']) print(tazor.trace())
@spy_on def inner_state(chart, e): status = return_status.UNHANDLED if (e.signal == signals.ENTRY_SIGNAL): print("{}: hello from inner_state".format(chart.name)) status = return_status.HANDLED elif (e.signal == signals.EXIT_SIGNAL): print("{}: exiting inner_state".format(chart.name)) status = return_status.HANDLED else: chart.temp.fun = outer_state status = return_status.SUPER return status if __name__ == '__main__': ao1 = ActiveObject("ao1") ao1.live_trace = True ao1.start_at(outer_state) ao1.post_fifo(Event(signal=signals.Hook)) ao1.post_fifo(Event(signal=signals.Reset)) ao2 = ActiveObject("ao2") ao2.live_trace = True ao2.start_at(inner_state) ao2.post_fifo(Event(signal=signals.Hook)) ao2.post_fifo(Event(signal=signals.Reset)) # let the thread catch up before we exit main time.sleep(0.01)
import time from miros import spy_on from miros import ActiveObject from miros import signals, Event, return_status @spy_on def some_state(chart, e): status = return_status.UNHANDLED if(e.signal == signals.Destroy_This_Chart): chart.stop() chart.scribble("Terminating Thread") status = return_status.HANDLED else: chart.temp.fun = chart.top status = return_status.SUPER return status if __name__ == "__main__": ao = ActiveObject('some_state') ao.live_spy = True ao.start_at(some_state) time.sleep(0.1) assert(ao.thread.is_alive() == True) ao.post_fifo(Event(signal=signals.Destroy_This_Chart)) time.sleep(0.1) assert(ao.thread.is_alive() == False)
@spy_on def source_state(chart, e): status = return_status.UNHANDLED if (e.signal == signals.SIGNAL_NAME): if guard(): action() chart.post_fifo(Event(signal=signals.EVT_A)) status = chart.trans(target_state) else: chart.temp.fun = chart.top status = return_status.SUPER return status @spy_on def target_state(chart, e): chart.temp.fun = chart.top status = return_status.SUPER return status if __name__ == "__main__": # event arrow example ao = ActiveObject('eae') ao.live_trace = True ao.start_at(source_state) ao.post_fifo( Event(signal=signals.SIGNAL_NAME, payload=OptionalPayload(x='1'))) time.sleep(0.01)
def test_to_code(): ts1 = state_method_template('ts1') tc2_s2 = state_method_template('tc2_s2') tc2_s3 = state_method_template('tc2_s3') def trans_to_s1(chart, e): return chart.trans(ts1) def trans_to_c2_s3(chart, e): return chart.trans(tc2_s3) def trans_to_c2_s2(chart, e): return chart.trans(tc2_s2) def handled(chart, e): return return_status.HANDLED ao = ActiveObject() ao.register_signal_callback(ts1, signals.BB, trans_to_s1) ao.register_signal_callback(ts1, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(ts1, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(ts1, signals.INIT_SIGNAL, trans_to_c2_s2) ao.register_parent(ts1, ao.top) # commented out line needed for test to work ao.register_signal_callback(tc2_s2, signals.A, trans_to_c2_s3) ao.register_signal_callback(tc2_s2, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s2, ts1) # commented out lines needed for test to work ao.register_signal_callback(tc2_s3, signals.A, trans_to_c2_s2) ao.register_signal_callback(tc2_s3, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s3, ts1) expected_ts1_as_flat_code = \ ''' @spy_on def ts1(chart, e): status = return_status.UNHANDLED if(e.signal == signals.ENTRY_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.INIT_SIGNAL): status = trans_to_c2_s2(chart, e) elif(e.signal == signals.BB): status = trans_to_s1(chart, e) elif(e.signal == signals.EXIT_SIGNAL): status = return_status.HANDLED else: status, chart.temp.fun = return_status.SUPER, chart.top return status ''' assert (ao.to_code(ts1) == expected_ts1_as_flat_code) expected_tc2_s2_as_flat_code = \ ''' @spy_on def tc2_s2(chart, e): status = return_status.UNHANDLED if(e.signal == signals.ENTRY_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.INIT_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.A): status = trans_to_c2_s3(chart, e) elif(e.signal == signals.EXIT_SIGNAL): status = return_status.HANDLED else: status, chart.temp.fun = return_status.SUPER, ts1 return status ''' assert (ao.to_code(tc2_s2) == expected_tc2_s2_as_flat_code) expected_tc2_s3_as_flat_code = \ ''' @spy_on def tc2_s3(chart, e): status = return_status.UNHANDLED if(e.signal == signals.ENTRY_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.INIT_SIGNAL): status = return_status.HANDLED elif(e.signal == signals.A): status = trans_to_c2_s2(chart, e) elif(e.signal == signals.EXIT_SIGNAL): status = return_status.HANDLED else: status, chart.temp.fun = return_status.SUPER, ts1 return status ''' assert (ao.to_code(tc2_s3) == expected_tc2_s3_as_flat_code) ao.start_at(tc2_s2) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.BB)) time.sleep(0.1) assert(ao.spy() == \ ['START', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)', 'A:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s3', 'INIT_SIGNAL:tc2_s3', '<- Queued:(2) Deferred:(0)', 'A:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'EXIT_SIGNAL:tc2_s3', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(1) Deferred:(0)', 'BB:tc2_s2', 'BB:ts1', 'EXIT_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'INIT_SIGNAL:ts1', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)'])
def test_creating_functions_from_a_template(): ts1 = state_method_template('ts1') tc2_s2 = state_method_template('tc2_s2') tc2_s3 = state_method_template('tc2_s3') def trans_to_s1(chart, e): return chart.trans(ts1) def trans_to_c2_s3(chart, e): return chart.trans(tc2_s3) def trans_to_c2_s2(chart, e): return chart.trans(tc2_s2) def handled(chart, e): return return_status.HANDLED ao = ActiveObject() ao.register_signal_callback(ts1, signals.BB, trans_to_s1) ao.register_signal_callback(ts1, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(ts1, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(ts1, signals.INIT_SIGNAL, trans_to_c2_s2) ao.register_parent(ts1, ao.top) ao.register_signal_callback(tc2_s2, signals.A, trans_to_c2_s3) ao.register_signal_callback(tc2_s2, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s2, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s2, ts1) ao.register_signal_callback(tc2_s3, signals.A, trans_to_c2_s2) ao.register_signal_callback(tc2_s3, signals.ENTRY_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.EXIT_SIGNAL, handled) ao.register_signal_callback(tc2_s3, signals.INIT_SIGNAL, handled) ao.register_parent(tc2_s3, ts1) ao.start_at(tc2_s2) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.A)) ao.post_fifo(Event(signal=signals.BB)) time.sleep(0.1) assert(ao.spy() == \ ['START', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)', 'A:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s3', 'INIT_SIGNAL:tc2_s3', '<- Queued:(2) Deferred:(0)', 'A:tc2_s3', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s3', 'EXIT_SIGNAL:tc2_s3', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(1) Deferred:(0)', 'BB:tc2_s2', 'BB:ts1', 'EXIT_SIGNAL:tc2_s2', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'EXIT_SIGNAL:ts1', 'ENTRY_SIGNAL:ts1', 'INIT_SIGNAL:ts1', 'SEARCH_FOR_SUPER_SIGNAL:tc2_s2', 'ENTRY_SIGNAL:tc2_s2', 'INIT_SIGNAL:tc2_s2', '<- Queued:(0) Deferred:(0)'])
print("exiting outer_state") status = return_status.HANDLED else: chart.temp.fun = chart.top status = return_status.SUPER return status @spy_on def inner_state(chart, e): status = return_status.UNHANDLED if (e.signal == signals.ENTRY_SIGNAL): print("hello from inner_state") status = return_status.HANDLED elif (e.signal == signals.EXIT_SIGNAL): print("exiting inner_state") status = return_status.HANDLED else: chart.temp.fun = outer_state status = return_status.SUPER return status if __name__ == '__main__': ao = ActiveObject("ao") ao.live_trace = True ao.start_at(outer_state) ao.post_fifo(Event(signal=signals.Reset)) # let the thread catch up before we exit main time.sleep(0.01)
status = chart.trans(off) elif (e.signal == signals.too_hot): status = chart.trans(idling) else: chart.temp.fun = chart.top status = return_status.SUPER return status @spy_on def idling(chart, e): status = return_status.UNHANDLED if (e.signal == signals.too_cold): status = chart.trans(heating) else: chart.temp.fun = chart.top status = return_status.SUPER return status if __name__ == "__main__": ao = ActiveObject('simple_fsm_2') ao.live_trace = True ao.start_at(off) ao.post_fifo(Event(signal=signals.bake_pressed)) ao.post_fifo(Event(signal=signals.off_pressed)) ao.post_fifo(Event(signal=signals.bake_pressed)) ao.post_fifo(Event(signal=signals.too_hot)) ao.post_fifo(Event(signal=signals.too_cold)) time.sleep(0.01)