bv | err | opc | len<expectedLen-1 | next STATE |
action |
---|---|---|---|---|---|
F | F | F | F | - | |
F | F | F | T | - | |
F | F | T | F | - | |
F | F | T | T | - | |
F | T | F | F | WAIT | PutIncompleteMessage(); PutLineError(); |
F | T | F | T | ||
F | T | T | F | - | |
F | T | T | T | - | |
T | F | F | F | MSG | m.message[len] := b; INC(len); |
T | F | F | T | WAIT | m.message[len] := b; INC(len); PutCompleteMessage(); |
T | F | T | F | MSG/OPCN(1) | PutIncompleteMessage(); m.message[len] := b; INC(len); expectedLen := 2/4/6(1) |
T | F | T | T | ||
T | T | F | F | WAIT | m.message[len] := b; INC(len); PutIncompleteMessage(); PutLineError(); |
T | T | F | T | ||
T | T | T | F | ||
T | T | T | T |
Remarks:
© 1998 by Martin Pischky (martin.pischky@fernuni-hagen.de) [ http://www.geocities.com/CapeCanaveral/Lab/2459/lnmonsm.htm | creation 970107 | version 980107 ]