// DAG file for poe-dfa.l // Generated by ./l2poe.perl at Thu Nov 2 17:11:31 2000 GMT digraph digraph_poe_dfa { center=1; mclimit=128; nslimit=128; subgraph cluster_m0 { label="Machine: tap_machine"; subgraph cluster_m0s0 { label="State: close_modem"; m0s0e0 [label="enter"]; m0s0e0a0 [label="close_port;\nset_close_settle_delay;",shape=box]; m0s0e0 -> m0s0e0a0 [weight=127,minlen=1]; m0s0e1 [label="port_settled"]; } // cluster_m0s0 subgraph cluster_m0s1 { label="State: dial"; m0s1e0 [label="dial_timeout"]; m0s1e1 [label="enter"]; m0s1e1a0 [label="send_dial_command;\nset_dial_timeout;",shape=box]; m0s1e1 -> m0s1e1a0 [weight=127,minlen=1]; m0s1e2 [label="input"]; m0s1e2a0 [label="trace_input;",shape=box]; m0s1e2 -> m0s1e2a0 [weight=127,minlen=1]; m0s1e2a1 [label="/^CONNECT (\\\\d+)/",shape=diamond]; m0s1e2a0 -> m0s1e2a1 [weight=127,minlen=1]; m0s1e2a2 [label="/^NO CARRIER$/",shape=diamond]; m0s1e2a1 -> m0s1e2a2 [weight=127,minlen=1,taillabel="no"]; m0s1e3 [label="leave"]; m0s1e3a0 [label="clear_dial_timeout;",shape=box]; m0s1e3 -> m0s1e3a0 [weight=127,minlen=1]; } // cluster_m0s1 subgraph cluster_m0s2 { label="State: done"; m0s2e0 [label="enter"]; m0s2e0a0 [label="close_port;\nset_close_settle_delay;",shape=box]; m0s2e0 -> m0s2e0a0 [weight=127,minlen=1]; m0s2e1 [label="port_settled"]; } // cluster_m0s2 subgraph cluster_m0s3 { label="State: exit"; m0s3e0 [label="enter"]; m0s3e0a0 [label="exit;",shape=box]; m0s3e0 -> m0s3e0a0 [weight=127,minlen=1]; } // cluster_m0s3 subgraph cluster_m0s4 { label="State: init_1"; m0s4e0 [label="enter"]; m0s4e0a0 [label="send_first_init_string;\nset_init_timeout;",shape=box]; m0s4e0 -> m0s4e0a0 [weight=127,minlen=1]; m0s4e1 [label="init_timeout"]; m0s4e2 [label="input"]; m0s4e2a0 [label="trace_input;",shape=box]; m0s4e2 -> m0s4e2a0 [weight=127,minlen=1]; m0s4e2a1 [label="/^OK$/",shape=diamond]; m0s4e2a0 -> m0s4e2a1 [weight=127,minlen=1]; m0s4e3 [label="leave"]; m0s4e3a0 [label="clear_init_timeout;",shape=box]; m0s4e3 -> m0s4e3a0 [weight=127,minlen=1]; } // cluster_m0s4 subgraph cluster_m0s5 { label="State: init_2"; m0s5e0 [label="enter"]; m0s5e0a0 [label="send_second_init_string;\nset_init_timeout;",shape=box]; m0s5e0 -> m0s5e0a0 [weight=127,minlen=1]; m0s5e1 [label="input"]; m0s5e1a0 [label="trace_input;",shape=box]; m0s5e1 -> m0s5e1a0 [weight=127,minlen=1]; m0s5e1a1 [label="/^OK$/",shape=diamond]; m0s5e1a0 -> m0s5e1a1 [weight=127,minlen=1]; m0s5e2 [label="leave"]; m0s5e2a0 [label="clear_init_timeout;",shape=box]; m0s5e2 -> m0s5e2a0 [weight=127,minlen=1]; } // cluster_m0s5 subgraph cluster_m0s6 { label="State: open_modem"; m0s6e0 [label="enter"]; m0s6e0a0 [label="open_port;\nset_close_settle_delay;",shape=box]; m0s6e0 -> m0s6e0a0 [weight=127,minlen=1]; m0s6e1 [label="port_settled"]; } // cluster_m0s6 subgraph cluster_m0s7 { label="State: redial"; m0s7e0 [label="enter"]; m0s7e0a0 [label="set_redial_timeout;",shape=box]; m0s7e0 -> m0s7e0a0 [weight=127,minlen=1]; m0s7e1 [label="redial_timeout"]; } // cluster_m0s7 subgraph cluster_m0s8 { label="State: start"; m0s8e0 [label="enter"]; m0s8e0a0 [label="store_page_info;",shape=box]; m0s8e0 -> m0s8e0a0 [weight=127,minlen=1]; } // cluster_m0s8 subgraph cluster_m0s9 { label="State: tap_await_id"; m0s9e0 [label="enter"]; m0s9e0a0 [label="set_id_timeout;\nset_state_timeout;",shape=box]; m0s9e0 -> m0s9e0a0 [weight=127,minlen=1]; m0s9e1 [label="id_timeout"]; m0s9e1a0 [label="send_cr;\nset_id_timeout;",shape=box]; m0s9e1 -> m0s9e1a0 [weight=127,minlen=1]; m0s9e2 [label="input"]; m0s9e2a0 [label="trace_input;",shape=box]; m0s9e2 -> m0s9e2a0 [weight=127,minlen=1]; m0s9e2a1 [label="/^ID=$/",shape=diamond]; m0s9e2a0 -> m0s9e2a1 [weight=127,minlen=1]; m0s9e2a2 [label="/^NO CARRIER$/",shape=diamond]; m0s9e2a1 -> m0s9e2a2 [weight=127,minlen=1,taillabel="no"]; m0s9e3 [label="leave"]; m0s9e3a0 [label="clear_id_timeout;\nclear_state_timeout;",shape=box]; m0s9e3 -> m0s9e3a0 [weight=127,minlen=1]; m0s9e4 [label="state_timeout"]; m0s9_m0s0e0 [label=" ",shape=house,height=0.5,width=0.33,fixedsize=true,orientation=180]; m0s9e2a2 -> m0s9_m0s0e0 [label="yes",minlen=1,weight=3]; m0s9e4 -> m0s9_m0s0e0 [minlen=1,weight=1]; } // cluster_m0s9 subgraph cluster_m0s10 { label="State: tap_send_page_packet"; m0s10e0 [label="enter"]; m0s10e0a0 [label="set_state_timeout;\nsend_packet;",shape=box]; m0s10e0 -> m0s10e0a0 [weight=127,minlen=1]; m0s10e1 [label="input"]; m0s10e1a0 [label="trace_input;",shape=box]; m0s10e1 -> m0s10e1a0 [weight=127,minlen=1]; m0s10e1a1 [label="/^\\\\006$/",shape=diamond]; m0s10e1a0 -> m0s10e1a1 [weight=127,minlen=1]; m0s10e1a2 [label="/^NO CARRIER$/",shape=diamond]; m0s10e1a1 -> m0s10e1a2 [weight=127,minlen=1,taillabel="no"]; m0s10e2 [label="leave"]; m0s10e2a0 [label="clear_state_timeout;",shape=box]; m0s10e2 -> m0s10e2a0 [weight=127,minlen=1]; m0s10e3 [label="state_timeout"]; m0s10_m0s0e0 [label=" ",shape=house,height=0.5,width=0.33,fixedsize=true,orientation=180]; m0s10e1a2 -> m0s10_m0s0e0 [label="yes",minlen=1,weight=3]; m0s10e3 -> m0s10_m0s0e0 [minlen=1,weight=1]; } // cluster_m0s10 subgraph cluster_m0s11 { label="State: tap_send_page_type"; m0s11e0 [label="enter"]; m0s11e0a0 [label="set_state_timeout;\nsend_esc_pg1_cr;",shape=box]; m0s11e0 -> m0s11e0a0 [weight=127,minlen=1]; m0s11e1 [label="input"]; m0s11e1a0 [label="trace_input;",shape=box]; m0s11e1 -> m0s11e1a0 [weight=127,minlen=1]; m0s11e1a1 [label="/^\\\\e\\\\[p$/",shape=diamond]; m0s11e1a0 -> m0s11e1a1 [weight=127,minlen=1]; m0s11e1a2 [label="/^NO CARRIER$/",shape=diamond]; m0s11e1a1 -> m0s11e1a2 [weight=127,minlen=1,taillabel="no"]; m0s11e2 [label="leave"]; m0s11e2a0 [label="clear_state_timeout;",shape=box]; m0s11e2 -> m0s11e2a0 [weight=127,minlen=1]; m0s11e3 [label="state_timeout"]; m0s11_m0s0e0 [label=" ",shape=house,height=0.5,width=0.33,fixedsize=true,orientation=180]; m0s11e1a2 -> m0s11_m0s0e0 [label="yes",minlen=1,weight=3]; m0s11e3 -> m0s11_m0s0e0 [minlen=1,weight=1]; } // cluster_m0s11 subgraph cluster_m0s12 { label="State: tap_wait_disconnect"; m0s12e0 [label="enter"]; m0s12e0a0 [label="set_state_timeout;\nsend_eot_cr;",shape=box]; m0s12e0 -> m0s12e0a0 [weight=127,minlen=1]; m0s12e1 [label="input"]; m0s12e1a0 [label="trace_input;",shape=box]; m0s12e1 -> m0s12e1a0 [weight=127,minlen=1]; m0s12e1a1 [label="/^\\\\e\\\\004$/",shape=diamond]; m0s12e1a0 -> m0s12e1a1 [weight=127,minlen=1]; m0s12e1a2 [label="/^NO CARRIER$/",shape=diamond]; m0s12e1a1 -> m0s12e1a2 [weight=127,minlen=1,taillabel="no"]; m0s12e2 [label="leave"]; m0s12e2a0 [label="clear_state_timeout;",shape=box]; m0s12e2 -> m0s12e2a0 [weight=127,minlen=1]; m0s12e3 [label="state_timeout"]; m0s12_m0s2e0 [label=" ",shape=house,height=0.5,width=0.33,fixedsize=true,orientation=180]; m0s12e1a1 -> m0s12_m0s2e0 [label="yes",minlen=1,weight=2]; m0s12e1a2 -> m0s12_m0s2e0 [label="yes",minlen=1,weight=3]; m0s12e3 -> m0s12_m0s2e0 [minlen=1,weight=1]; } // cluster_m0s12 m0s0e1 -> m0s6e0 [style=bold,minlen=1,weight=1]; m0s1e0 -> m0s0e0 [style=bold,minlen=1,weight=1]; m0s1e2a1 -> m0s9e0 [style=bold,minlen=1,weight=2,taillabel="yes"]; m0s1e2a2 -> m0s7e0 [style=bold,minlen=1,weight=3,taillabel="yes"]; m0s2e1 -> m0s3e0 [style=bold,minlen=1,weight=1]; m0s4e2a1 -> m0s5e0 [style=bold,minlen=1,weight=2,taillabel="yes"]; m0s4e1 -> m0s0e0 [style=bold,minlen=1,weight=1]; m0s5e1a1 -> m0s1e1 [style=bold,minlen=1,weight=2,taillabel="yes"]; m0s6e1 -> m0s4e0 [style=bold,minlen=1,weight=1]; m0s7e1 -> m0s1e1 [style=bold,minlen=1,weight=1]; m0s8e0a0 -> m0s6e0 [style=bold,minlen=1,weight=2]; m0s9_m0s0e0 -> m0s0e0 [style=bold,minlen=1,weight=3]; m0s9e2a1 -> m0s11e0 [style=bold,minlen=1,weight=2,taillabel="yes"]; m0s10_m0s0e0 -> m0s0e0 [style=bold,minlen=1,weight=3]; m0s10e1a1 -> m0s12e0 [style=bold,minlen=1,weight=2,taillabel="yes"]; m0s11e1a1 -> m0s10e0 [style=bold,minlen=1,weight=2,taillabel="yes"]; m0s11_m0s0e0 -> m0s0e0 [style=bold,minlen=1,weight=3]; m0s12_m0s2e0 -> m0s2e0 [style=bold,minlen=1,weight=3]; } // cluster_m0 } // digraph_poe_dfa