文件操作 - FSM.html

文件: /usr/share/doc/pexpect-2.3/doc/FSM.html

编辑文件内容

<!doctype html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html><head><title>Python: module FSM</title>
</head><body bgcolor="#f0f0f8">

<table width="100%" cellspacing=0 cellpadding=2 border=0 summary="heading">
<tr bgcolor="#7799ee">
<td valign=bottom>&nbsp; 
&nbsp; <big><big>FSM</big></big></td
><td align=right valign=bottom
><a href=".">index</a> <a href="file:/home/noah/pexpect/trunk/pexpect/FSM.py">/home/noah/pexpect/trunk/pexpect/FSM.py</a></td></tr></table>
 <tt>This&nbsp;module&nbsp;implements&nbsp;a&nbsp;Finite&nbsp;State&nbsp;Machine&nbsp;(<a href="#FSM">FSM</a>).&nbsp;In&nbsp;addition&nbsp;to&nbsp;state 
this&nbsp;<a href="#FSM">FSM</a>&nbsp;also&nbsp;maintains&nbsp;a&nbsp;user&nbsp;defined&nbsp;"memory".&nbsp;So&nbsp;this&nbsp;<a href="#FSM">FSM</a>&nbsp;can&nbsp;be&nbsp;used&nbsp;as&nbsp;a 
Push-down&nbsp;Automata&nbsp;(PDA)&nbsp;since&nbsp;a&nbsp;PDA&nbsp;is&nbsp;a&nbsp;<a href="#FSM">FSM</a>&nbsp;+&nbsp;memory. 
&nbsp; 
The&nbsp;following&nbsp;describes&nbsp;how&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;works,&nbsp;but&nbsp;you&nbsp;will&nbsp;probably&nbsp;also&nbsp;need&nbsp;to 
see&nbsp;the&nbsp;example&nbsp;function&nbsp;to&nbsp;understand&nbsp;how&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;is&nbsp;used&nbsp;in&nbsp;practice. 
&nbsp; 
You&nbsp;define&nbsp;an&nbsp;<a href="#FSM">FSM</a>&nbsp;by&nbsp;building&nbsp;tables&nbsp;of&nbsp;transitions.&nbsp;For&nbsp;a&nbsp;given&nbsp;input&nbsp;symbol 
the&nbsp;process()&nbsp;method&nbsp;uses&nbsp;these&nbsp;tables&nbsp;to&nbsp;decide&nbsp;what&nbsp;action&nbsp;to&nbsp;call&nbsp;and&nbsp;what 
the&nbsp;next&nbsp;state&nbsp;will&nbsp;be.&nbsp;The&nbsp;<a href="#FSM">FSM</a>&nbsp;has&nbsp;a&nbsp;table&nbsp;of&nbsp;transitions&nbsp;that&nbsp;associate: 
&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(input_symbol,&nbsp;current_state)&nbsp;--&gt;&nbsp;(action,&nbsp;next_state) 
&nbsp; 
Where&nbsp;"action"&nbsp;is&nbsp;a&nbsp;function&nbsp;you&nbsp;define.&nbsp;The&nbsp;symbols&nbsp;and&nbsp;states&nbsp;can&nbsp;be&nbsp;any 
objects.&nbsp;You&nbsp;use&nbsp;the&nbsp;add_transition()&nbsp;and&nbsp;add_transition_list()&nbsp;methods&nbsp;to&nbsp;add 
to&nbsp;the&nbsp;transition&nbsp;table.&nbsp;The&nbsp;<a href="#FSM">FSM</a>&nbsp;also&nbsp;has&nbsp;a&nbsp;table&nbsp;of&nbsp;transitions&nbsp;that 
associate: 
&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(current_state)&nbsp;--&gt;&nbsp;(action,&nbsp;next_state) 
&nbsp; 
You&nbsp;use&nbsp;the&nbsp;add_transition_any()&nbsp;method&nbsp;to&nbsp;add&nbsp;to&nbsp;this&nbsp;transition&nbsp;table.&nbsp;The 
<a href="#FSM">FSM</a>&nbsp;also&nbsp;has&nbsp;one&nbsp;default&nbsp;transition&nbsp;that&nbsp;is&nbsp;not&nbsp;associated&nbsp;with&nbsp;any&nbsp;specific 
input_symbol&nbsp;or&nbsp;state.&nbsp;You&nbsp;use&nbsp;the&nbsp;set_default_transition()&nbsp;method&nbsp;to&nbsp;set&nbsp;the 
default&nbsp;transition. 
&nbsp; 
When&nbsp;an&nbsp;action&nbsp;function&nbsp;is&nbsp;called&nbsp;it&nbsp;is&nbsp;passed&nbsp;a&nbsp;reference&nbsp;to&nbsp;the&nbsp;<a href="#FSM">FSM</a>.&nbsp;The 
action&nbsp;function&nbsp;may&nbsp;then&nbsp;access&nbsp;attributes&nbsp;of&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;such&nbsp;as&nbsp;input_symbol, 
current_state,&nbsp;or&nbsp;"memory".&nbsp;The&nbsp;"memory"&nbsp;attribute&nbsp;can&nbsp;be&nbsp;any&nbsp;object&nbsp;that&nbsp;you 
want&nbsp;to&nbsp;pass&nbsp;along&nbsp;to&nbsp;the&nbsp;action&nbsp;functions.&nbsp;It&nbsp;is&nbsp;not&nbsp;used&nbsp;by&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;itself. 
For&nbsp;parsing&nbsp;you&nbsp;would&nbsp;typically&nbsp;pass&nbsp;a&nbsp;list&nbsp;to&nbsp;be&nbsp;used&nbsp;as&nbsp;a&nbsp;stack. 
&nbsp; 
The&nbsp;processing&nbsp;sequence&nbsp;is&nbsp;as&nbsp;follows.&nbsp;The&nbsp;process()&nbsp;method&nbsp;is&nbsp;given&nbsp;an 
input_symbol&nbsp;to&nbsp;process.&nbsp;The&nbsp;<a href="#FSM">FSM</a>&nbsp;will&nbsp;search&nbsp;the&nbsp;table&nbsp;of&nbsp;transitions&nbsp;that 
associate: 
&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(input_symbol,&nbsp;current_state)&nbsp;--&gt;&nbsp;(action,&nbsp;next_state) 
&nbsp; 
If&nbsp;the&nbsp;pair&nbsp;(input_symbol,&nbsp;current_state)&nbsp;is&nbsp;found&nbsp;then&nbsp;process()&nbsp;will&nbsp;call&nbsp;the 
associated&nbsp;action&nbsp;function&nbsp;and&nbsp;then&nbsp;set&nbsp;the&nbsp;current&nbsp;state&nbsp;to&nbsp;the&nbsp;next_state. 
&nbsp; 
If&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;cannot&nbsp;find&nbsp;a&nbsp;match&nbsp;for&nbsp;(input_symbol,&nbsp;current_state)&nbsp;it&nbsp;will&nbsp;then 
search&nbsp;the&nbsp;table&nbsp;of&nbsp;transitions&nbsp;that&nbsp;associate: 
&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(current_state)&nbsp;--&gt;&nbsp;(action,&nbsp;next_state) 
&nbsp; 
If&nbsp;the&nbsp;current_state&nbsp;is&nbsp;found&nbsp;then&nbsp;the&nbsp;process()&nbsp;method&nbsp;will&nbsp;call&nbsp;the 
associated&nbsp;action&nbsp;function&nbsp;and&nbsp;then&nbsp;set&nbsp;the&nbsp;current&nbsp;state&nbsp;to&nbsp;the&nbsp;next_state. 
Notice&nbsp;that&nbsp;this&nbsp;table&nbsp;lacks&nbsp;an&nbsp;input_symbol.&nbsp;It&nbsp;lets&nbsp;you&nbsp;define&nbsp;transitions 
for&nbsp;a&nbsp;current_state&nbsp;and&nbsp;ANY&nbsp;input_symbol.&nbsp;Hence,&nbsp;it&nbsp;is&nbsp;called&nbsp;the&nbsp;"any"&nbsp;table. 
Remember,&nbsp;it&nbsp;is&nbsp;always&nbsp;checked&nbsp;after&nbsp;first&nbsp;searching&nbsp;the&nbsp;table&nbsp;for&nbsp;a&nbsp;specific 
(input_symbol,&nbsp;current_state). 
&nbsp; 
For&nbsp;the&nbsp;case&nbsp;where&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;did&nbsp;not&nbsp;match&nbsp;either&nbsp;of&nbsp;the&nbsp;previous&nbsp;two&nbsp;cases&nbsp;the 
<a href="#FSM">FSM</a>&nbsp;will&nbsp;try&nbsp;to&nbsp;use&nbsp;the&nbsp;default&nbsp;transition.&nbsp;If&nbsp;the&nbsp;default&nbsp;transition&nbsp;is 
defined&nbsp;then&nbsp;the&nbsp;process()&nbsp;method&nbsp;will&nbsp;call&nbsp;the&nbsp;associated&nbsp;action&nbsp;function&nbsp;and 
then&nbsp;set&nbsp;the&nbsp;current&nbsp;state&nbsp;to&nbsp;the&nbsp;next_state.&nbsp;This&nbsp;lets&nbsp;you&nbsp;define&nbsp;a&nbsp;default 
transition&nbsp;as&nbsp;a&nbsp;catch-all&nbsp;case.&nbsp;You&nbsp;can&nbsp;think&nbsp;of&nbsp;it&nbsp;as&nbsp;an&nbsp;exception&nbsp;handler. 
There&nbsp;can&nbsp;be&nbsp;only&nbsp;one&nbsp;default&nbsp;transition. 
&nbsp; 
Finally,&nbsp;if&nbsp;none&nbsp;of&nbsp;the&nbsp;previous&nbsp;cases&nbsp;are&nbsp;defined&nbsp;for&nbsp;an&nbsp;input_symbol&nbsp;and 
current_state&nbsp;then&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;will&nbsp;raise&nbsp;an&nbsp;exception.&nbsp;This&nbsp;may&nbsp;be&nbsp;desirable,&nbsp;but 
you&nbsp;can&nbsp;always&nbsp;prevent&nbsp;this&nbsp;just&nbsp;by&nbsp;defining&nbsp;a&nbsp;default&nbsp;transition. 
&nbsp; 
Noah&nbsp;Spurrier&nbsp;20020822</tt>

<table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section">
<tr bgcolor="#aa55cc">
<td colspan=3 valign=bottom>&nbsp; 
<big>Modules</big></td></tr>
 
<tr><td bgcolor="#aa55cc"><tt>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</tt></td><td>&nbsp;</td>
<td width="100%"><table width="100%" summary="list"><tr><td width="25%" valign=top><a href="optparse.html">optparse</a> 
<a href="os.html">os</a> 
</td><td width="25%" valign=top><a href="string.html">string</a> 
<a href="sys.html">sys</a> 
</td><td width="25%" valign=top><a href="time.html">time</a> 
<a href="traceback.html">traceback</a> 
</td><td width="25%" valign=top></td></tr></table></td></tr></table>
<table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section">
<tr bgcolor="#ee77aa">
<td colspan=3 valign=bottom>&nbsp; 
<big>Classes</big></td></tr>
 
<tr><td bgcolor="#ee77aa"><tt>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</tt></td><td>&nbsp;</td>
<td width="100%"><dl>
<dt><a href="FSM.html#FSM">FSM</a>
</dt><dt><a href="exceptions.html#Exception">exceptions.Exception</a>(<a href="exceptions.html#BaseException">exceptions.BaseException</a>)
</dt><dd>
<dl>
<dt><a href="FSM.html#ExceptionFSM">ExceptionFSM</a>
</dt></dl>
</dd>
</dl>
 
<table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section">
<tr bgcolor="#ffc8d8">
<td colspan=3 valign=bottom>&nbsp; 
<a name="ExceptionFSM">class ExceptionFSM</a>(<a href="exceptions.html#Exception">exceptions.Exception</a>)</td></tr>
 
<tr bgcolor="#ffc8d8"><td rowspan=2><tt>&nbsp;&nbsp;&nbsp;</tt></td>
<td colspan=2><tt>This&nbsp;is&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;<a href="exceptions.html#Exception">Exception</a>&nbsp;class. &nbsp;</tt></td></tr>
<tr><td>&nbsp;</td>
<td width="100%"><dl><dt>Method resolution order:</dt>
<dd><a href="FSM.html#ExceptionFSM">ExceptionFSM</a></dd>
<dd><a href="exceptions.html#Exception">exceptions.Exception</a></dd>
<dd><a href="exceptions.html#BaseException">exceptions.BaseException</a></dd>
<dd><a href="__builtin__.html#object">__builtin__.object</a></dd>
</dl>
<hr>
Methods defined here: 
<dl><dt><a name="ExceptionFSM-__init__">__init__</a>(self, value)</dt></dl>

<hr>
Data descriptors defined here: 
<dl><dt>__weakref__</dt>
<dd><tt>list&nbsp;of&nbsp;weak&nbsp;references&nbsp;to&nbsp;the&nbsp;object&nbsp;(if&nbsp;defined)</tt></dd>
</dl>
<hr>
Data and other attributes inherited from <a href="exceptions.html#Exception">exceptions.Exception</a>: 
<dl><dt>__new__ = &lt;built-in method __new__ of type object at 0x81400e0&gt;<dd><tt>T.<a href="#ExceptionFSM-__new__">__new__</a>(S,&nbsp;...)&nbsp;-&gt;&nbsp;a&nbsp;new&nbsp;object&nbsp;with&nbsp;type&nbsp;S,&nbsp;a&nbsp;subtype&nbsp;of&nbsp;T</tt></dl>

<hr>
Methods inherited from <a href="exceptions.html#BaseException">exceptions.BaseException</a>: 
<dl><dt><a name="ExceptionFSM-__delattr__">__delattr__</a>(...)</dt><dd><tt>x.<a href="#ExceptionFSM-__delattr__">__delattr__</a>('name')&nbsp;&lt;==&gt;&nbsp;del&nbsp;x.name</tt></dd></dl>

<dl><dt><a name="ExceptionFSM-__getattribute__">__getattribute__</a>(...)</dt><dd><tt>x.<a href="#ExceptionFSM-__getattribute__">__getattribute__</a>('name')&nbsp;&lt;==&gt;&nbsp;x.name</tt></dd></dl>

<dl><dt><a name="ExceptionFSM-__getitem__">__getitem__</a>(...)</dt><dd><tt>x.<a href="#ExceptionFSM-__getitem__">__getitem__</a>(y)&nbsp;&lt;==&gt;&nbsp;x[y]</tt></dd></dl>

<dl><dt><a name="ExceptionFSM-__getslice__">__getslice__</a>(...)</dt><dd><tt>x.<a href="#ExceptionFSM-__getslice__">__getslice__</a>(i,&nbsp;j)&nbsp;&lt;==&gt;&nbsp;x[i:j] 
&nbsp; 
Use&nbsp;of&nbsp;negative&nbsp;indices&nbsp;is&nbsp;not&nbsp;supported.</tt></dd></dl>

<dl><dt><a name="ExceptionFSM-__reduce__">__reduce__</a>(...)</dt></dl>

<dl><dt><a name="ExceptionFSM-__setattr__">__setattr__</a>(...)</dt><dd><tt>x.<a href="#ExceptionFSM-__setattr__">__setattr__</a>('name',&nbsp;value)&nbsp;&lt;==&gt;&nbsp;x.name&nbsp;=&nbsp;value</tt></dd></dl>

<dl><dt><a name="ExceptionFSM-__setstate__">__setstate__</a>(...)</dt></dl>

<hr>
Data descriptors inherited from <a href="exceptions.html#BaseException">exceptions.BaseException</a>: 
<dl><dt>__dict__</dt>
</dl>
<dl><dt>args</dt>
</dl>
<dl><dt>message</dt>
<dd><tt>exception&nbsp;message</tt></dd>
</dl>
</td></tr></table> 
<table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section">
<tr bgcolor="#ffc8d8">
<td colspan=3 valign=bottom>&nbsp; 
<a name="FSM">class FSM</a></td></tr>
 
<tr bgcolor="#ffc8d8"><td rowspan=2><tt>&nbsp;&nbsp;&nbsp;</tt></td>
<td colspan=2><tt>This&nbsp;is&nbsp;a&nbsp;Finite&nbsp;State&nbsp;Machine&nbsp;(<a href="#FSM">FSM</a>). &nbsp;</tt></td></tr>
<tr><td>&nbsp;</td>
<td width="100%">Methods defined here: 
<dl><dt><a name="FSM-__init__">__init__</a>(self, initial_state, memory=None)</dt><dd><tt>This&nbsp;creates&nbsp;the&nbsp;<a href="#FSM">FSM</a>.&nbsp;You&nbsp;set&nbsp;the&nbsp;initial&nbsp;state&nbsp;here.&nbsp;The&nbsp;"memory" 
attribute&nbsp;is&nbsp;any&nbsp;object&nbsp;that&nbsp;you&nbsp;want&nbsp;to&nbsp;pass&nbsp;along&nbsp;to&nbsp;the&nbsp;action 
functions.&nbsp;It&nbsp;is&nbsp;not&nbsp;used&nbsp;by&nbsp;the&nbsp;<a href="#FSM">FSM</a>.&nbsp;For&nbsp;parsing&nbsp;you&nbsp;would&nbsp;typically 
pass&nbsp;a&nbsp;list&nbsp;to&nbsp;be&nbsp;used&nbsp;as&nbsp;a&nbsp;stack.</tt></dd></dl>

<dl><dt><a name="FSM-add_transition">add_transition</a>(self, input_symbol, state, action=None, next_state=None)</dt><dd><tt>This&nbsp;adds&nbsp;a&nbsp;transition&nbsp;that&nbsp;associates: 
&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(input_symbol,&nbsp;current_state)&nbsp;--&gt;&nbsp;(action,&nbsp;next_state) 
&nbsp; 
The&nbsp;action&nbsp;may&nbsp;be&nbsp;set&nbsp;to&nbsp;None&nbsp;in&nbsp;which&nbsp;case&nbsp;the&nbsp;<a href="#FSM-process">process</a>()&nbsp;method&nbsp;will 
ignore&nbsp;the&nbsp;action&nbsp;and&nbsp;only&nbsp;set&nbsp;the&nbsp;next_state.&nbsp;The&nbsp;next_state&nbsp;may&nbsp;be 
set&nbsp;to&nbsp;None&nbsp;in&nbsp;which&nbsp;case&nbsp;the&nbsp;current&nbsp;state&nbsp;will&nbsp;be&nbsp;unchanged. 
&nbsp; 
You&nbsp;can&nbsp;also&nbsp;set&nbsp;transitions&nbsp;for&nbsp;a&nbsp;list&nbsp;of&nbsp;symbols&nbsp;by&nbsp;using 
<a href="#FSM-add_transition_list">add_transition_list</a>().</tt></dd></dl>

<dl><dt><a name="FSM-add_transition_any">add_transition_any</a>(self, state, action=None, next_state=None)</dt><dd><tt>This&nbsp;adds&nbsp;a&nbsp;transition&nbsp;that&nbsp;associates: 
&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(current_state)&nbsp;--&gt;&nbsp;(action,&nbsp;next_state) 
&nbsp; 
That&nbsp;is,&nbsp;any&nbsp;input&nbsp;symbol&nbsp;will&nbsp;match&nbsp;the&nbsp;current&nbsp;state. 
The&nbsp;<a href="#FSM-process">process</a>()&nbsp;method&nbsp;checks&nbsp;the&nbsp;"any"&nbsp;state&nbsp;associations&nbsp;after&nbsp;it&nbsp;first 
checks&nbsp;for&nbsp;an&nbsp;exact&nbsp;match&nbsp;of&nbsp;(input_symbol,&nbsp;current_state). 
&nbsp; 
The&nbsp;action&nbsp;may&nbsp;be&nbsp;set&nbsp;to&nbsp;None&nbsp;in&nbsp;which&nbsp;case&nbsp;the&nbsp;<a href="#FSM-process">process</a>()&nbsp;method&nbsp;will 
ignore&nbsp;the&nbsp;action&nbsp;and&nbsp;only&nbsp;set&nbsp;the&nbsp;next_state.&nbsp;The&nbsp;next_state&nbsp;may&nbsp;be 
set&nbsp;to&nbsp;None&nbsp;in&nbsp;which&nbsp;case&nbsp;the&nbsp;current&nbsp;state&nbsp;will&nbsp;be&nbsp;unchanged.</tt></dd></dl>

<dl><dt><a name="FSM-add_transition_list">add_transition_list</a>(self, list_input_symbols, state, action=None, next_state=None)</dt><dd><tt>This&nbsp;adds&nbsp;the&nbsp;same&nbsp;transition&nbsp;for&nbsp;a&nbsp;list&nbsp;of&nbsp;input&nbsp;symbols. 
You&nbsp;can&nbsp;pass&nbsp;a&nbsp;list&nbsp;or&nbsp;a&nbsp;string.&nbsp;Note&nbsp;that&nbsp;it&nbsp;is&nbsp;handy&nbsp;to&nbsp;use 
string.digits,&nbsp;string.whitespace,&nbsp;string.letters,&nbsp;etc.&nbsp;to&nbsp;add 
transitions&nbsp;that&nbsp;match&nbsp;character&nbsp;classes. 
&nbsp; 
The&nbsp;action&nbsp;may&nbsp;be&nbsp;set&nbsp;to&nbsp;None&nbsp;in&nbsp;which&nbsp;case&nbsp;the&nbsp;<a href="#FSM-process">process</a>()&nbsp;method&nbsp;will 
ignore&nbsp;the&nbsp;action&nbsp;and&nbsp;only&nbsp;set&nbsp;the&nbsp;next_state.&nbsp;The&nbsp;next_state&nbsp;may&nbsp;be 
set&nbsp;to&nbsp;None&nbsp;in&nbsp;which&nbsp;case&nbsp;the&nbsp;current&nbsp;state&nbsp;will&nbsp;be&nbsp;unchanged.</tt></dd></dl>

<dl><dt><a name="FSM-get_transition">get_transition</a>(self, input_symbol, state)</dt><dd><tt>This&nbsp;returns&nbsp;(action,&nbsp;next&nbsp;state)&nbsp;given&nbsp;an&nbsp;input_symbol&nbsp;and&nbsp;state. 
This&nbsp;does&nbsp;not&nbsp;modify&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;state,&nbsp;so&nbsp;calling&nbsp;this&nbsp;method&nbsp;has&nbsp;no&nbsp;side 
effects.&nbsp;Normally&nbsp;you&nbsp;do&nbsp;not&nbsp;call&nbsp;this&nbsp;method&nbsp;directly.&nbsp;It&nbsp;is&nbsp;called&nbsp;by 
<a href="#FSM-process">process</a>(). 
&nbsp; 
The&nbsp;sequence&nbsp;of&nbsp;steps&nbsp;to&nbsp;check&nbsp;for&nbsp;a&nbsp;defined&nbsp;transition&nbsp;goes&nbsp;from&nbsp;the 
most&nbsp;specific&nbsp;to&nbsp;the&nbsp;least&nbsp;specific. 
&nbsp; 
1.&nbsp;Check&nbsp;state_transitions[]&nbsp;that&nbsp;match&nbsp;exactly&nbsp;the&nbsp;tuple, 
&nbsp;&nbsp;&nbsp;&nbsp;(input_symbol,&nbsp;state) 
&nbsp; 
2.&nbsp;Check&nbsp;state_transitions_any[]&nbsp;that&nbsp;match&nbsp;(state) 
&nbsp;&nbsp;&nbsp;&nbsp;In&nbsp;other&nbsp;words,&nbsp;match&nbsp;a&nbsp;specific&nbsp;state&nbsp;and&nbsp;ANY&nbsp;input_symbol. 
&nbsp; 
3.&nbsp;Check&nbsp;if&nbsp;the&nbsp;default_transition&nbsp;is&nbsp;defined. 
&nbsp;&nbsp;&nbsp;&nbsp;This&nbsp;catches&nbsp;any&nbsp;input_symbol&nbsp;and&nbsp;any&nbsp;state. 
&nbsp;&nbsp;&nbsp;&nbsp;This&nbsp;is&nbsp;a&nbsp;handler&nbsp;for&nbsp;errors,&nbsp;undefined&nbsp;states,&nbsp;or&nbsp;defaults. 
&nbsp; 
4.&nbsp;No&nbsp;transition&nbsp;was&nbsp;defined.&nbsp;If&nbsp;we&nbsp;get&nbsp;here&nbsp;then&nbsp;raise&nbsp;an&nbsp;exception.</tt></dd></dl>

<dl><dt><a name="FSM-process">process</a>(self, input_symbol)</dt><dd><tt>This&nbsp;is&nbsp;the&nbsp;main&nbsp;method&nbsp;that&nbsp;you&nbsp;call&nbsp;to&nbsp;process&nbsp;input.&nbsp;This&nbsp;may 
cause&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;to&nbsp;change&nbsp;state&nbsp;and&nbsp;call&nbsp;an&nbsp;action.&nbsp;This&nbsp;method&nbsp;calls 
<a href="#FSM-get_transition">get_transition</a>()&nbsp;to&nbsp;find&nbsp;the&nbsp;action&nbsp;and&nbsp;next_state&nbsp;associated&nbsp;with&nbsp;the 
input_symbol&nbsp;and&nbsp;current_state.&nbsp;If&nbsp;the&nbsp;action&nbsp;is&nbsp;None&nbsp;then&nbsp;the&nbsp;action 
is&nbsp;not&nbsp;called&nbsp;and&nbsp;only&nbsp;the&nbsp;current&nbsp;state&nbsp;is&nbsp;changed.&nbsp;This&nbsp;method 
processes&nbsp;one&nbsp;complete&nbsp;input&nbsp;symbol.&nbsp;You&nbsp;can&nbsp;process&nbsp;a&nbsp;list&nbsp;of&nbsp;symbols 
(or&nbsp;a&nbsp;string)&nbsp;by&nbsp;calling&nbsp;<a href="#FSM-process_list">process_list</a>().</tt></dd></dl>

<dl><dt><a name="FSM-process_list">process_list</a>(self, input_symbols)</dt><dd><tt>This&nbsp;takes&nbsp;a&nbsp;list&nbsp;and&nbsp;sends&nbsp;each&nbsp;element&nbsp;to&nbsp;<a href="#FSM-process">process</a>().&nbsp;The&nbsp;list&nbsp;may 
be&nbsp;a&nbsp;string&nbsp;or&nbsp;any&nbsp;iterable&nbsp;object.</tt></dd></dl>

<dl><dt><a name="FSM-reset">reset</a>(self)</dt><dd><tt>This&nbsp;sets&nbsp;the&nbsp;current_state&nbsp;to&nbsp;the&nbsp;initial_state&nbsp;and&nbsp;sets 
input_symbol&nbsp;to&nbsp;None.&nbsp;The&nbsp;initial&nbsp;state&nbsp;was&nbsp;set&nbsp;by&nbsp;the&nbsp;constructor 
<a href="#FSM-__init__">__init__</a>().</tt></dd></dl>

<dl><dt><a name="FSM-set_default_transition">set_default_transition</a>(self, action, next_state)</dt><dd><tt>This&nbsp;sets&nbsp;the&nbsp;default&nbsp;transition.&nbsp;This&nbsp;defines&nbsp;an&nbsp;action&nbsp;and 
next_state&nbsp;if&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;cannot&nbsp;find&nbsp;the&nbsp;input&nbsp;symbol&nbsp;and&nbsp;the&nbsp;current 
state&nbsp;in&nbsp;the&nbsp;transition&nbsp;list&nbsp;and&nbsp;if&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;cannot&nbsp;find&nbsp;the 
current_state&nbsp;in&nbsp;the&nbsp;transition_any&nbsp;list.&nbsp;This&nbsp;is&nbsp;useful&nbsp;as&nbsp;a&nbsp;final 
fall-through&nbsp;state&nbsp;for&nbsp;catching&nbsp;errors&nbsp;and&nbsp;undefined&nbsp;states. 
&nbsp; 
The&nbsp;default&nbsp;transition&nbsp;can&nbsp;be&nbsp;removed&nbsp;by&nbsp;setting&nbsp;the&nbsp;attribute 
default_transition&nbsp;to&nbsp;None.</tt></dd></dl>

</td></tr></table></td></tr></table>
<table width="100%" cellspacing=0 cellpadding=2 border=0 summary="section">
<tr bgcolor="#eeaa77">
<td colspan=3 valign=bottom>&nbsp; 
<big>Functions</big></td></tr>
 
<tr><td bgcolor="#eeaa77"><tt>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</tt></td><td>&nbsp;</td>
<td width="100%"><dl><dt><a name="-BeginBuildNumber">BeginBuildNumber</a>(fsm)</dt></dl>
 <dl><dt><a name="-BuildNumber">BuildNumber</a>(fsm)</dt></dl>
 <dl><dt><a name="-DoEqual">DoEqual</a>(fsm)</dt></dl>
 <dl><dt><a name="-DoOperator">DoOperator</a>(fsm)</dt></dl>
 <dl><dt><a name="-EndBuildNumber">EndBuildNumber</a>(fsm)</dt></dl>
 <dl><dt><a name="-Error">Error</a>(fsm)</dt></dl>
 <dl><dt><a name="-main">main</a>()</dt><dd><tt>This&nbsp;is&nbsp;where&nbsp;the&nbsp;example&nbsp;starts&nbsp;and&nbsp;the&nbsp;<a href="#FSM">FSM</a>&nbsp;state&nbsp;transitions&nbsp;are 
defined.&nbsp;Note&nbsp;that&nbsp;states&nbsp;are&nbsp;strings&nbsp;(such&nbsp;as&nbsp;'INIT').&nbsp;This&nbsp;is&nbsp;not 
necessary,&nbsp;but&nbsp;it&nbsp;makes&nbsp;the&nbsp;example&nbsp;easier&nbsp;to&nbsp;read.</tt></dd></dl>
</td></tr></table>
</body></html>

文件操作 - FSM.html

文件: /usr/share/doc/pexpect-2.3/doc/FSM.html

编辑文件内容

修改文件时间

删除文件