<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:CMR10;
panose-1:0 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:CMTT10;
panose-1:0 0 0 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal>Gents,<o:p></o:p></p>
<p class=MsoNormal>According to the ragel user guide:<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>“Two variables are written that may be used to test the state of
the machine after a buffer block<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>has been processed. The </span></i><i><span style='font-family:CMTT10'>name_error
</span></i><i><span style='font-family:CMR10'>variable gives the id of the
state that the machine moves<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>into when it cannot find a valid transition to take. The machine
immediately breaks out of the<o:p></o:p></span></i></p>
<p class=MsoNormal><i><span style='font-family:CMR10'>processing loop when It finds
itself in the error state. The error variable can be compared to the<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>current state to determine if the machine has failed to parse the input.
If the machine is complete,<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>that is from every state there is a transition to a proper state on
every possible character of the<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>alphabet, then no error state is required and this variable will be set
to -1.<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'><o:p> </o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>The </span></i><i><span style='font-family:CMTT10'>name_first_final </span></i><i><span
style='font-family:CMR10'>variable stores the id of the first final state. All
of the machine's states<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>are sorted by their final state status before having their ids assigned.
Checking if the machine has<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>accepted its input can then be done by checking if the current state is
greater-than or equal to the<o:p></o:p></span></i></p>
<p class=MsoNormal style='text-autospace:none'><i><span style='font-family:
CMR10'>first final state.”<o:p></o:p></span></i></p>
<p class=MsoNormal><span style='font-family:CMR10'><o:p> </o:p></span></p>
<p class=MsoNormal><span style='font-family:CMR10'>There are many examples shown
that check to see if the machine has parsed the input correctly or something similar.
<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-family:CMR10'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:CMTT10'>/* Did parsing succeed? */<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:CMTT10'>if ( cs < name_first_final ) {<o:p></o:p></span></p>
<p class=MsoNormal style='text-indent:.5in;text-autospace:none'><span
style='font-size:10.0pt;font-family:CMTT10'>result = ERR_PARSE_ERROR;<o:p></o:p></span></p>
<p class=MsoNormal style='text-indent:.5in;text-autospace:none'><span
style='font-size:10.0pt;font-family:CMTT10'>goto fail;<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:10.0pt;font-family:CMTT10'>}</span><span
style='font-family:CMR10'><o:p></o:p></span></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The problem I have is no matter the final result, ( proper
parse or not) , the cs variable is always reset to 0 which ensures the test above
always fails. . <o:p></o:p></p>
<p class=MsoNormal>If you look at the C code generated , its look like: <o:p></o:p></p>
<p class=MsoNormal>st0:<o:p></o:p></p>
<p class=MsoNormal> fsm->cs
= 0; <o:p></o:p></p>
<p class=MsoNormal> goto
_out;<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>This code gets called on valid exit or error . <o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Is there something that needs to done in order to get actual
state where the error occurred?<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Regards,<o:p></o:p></p>
<p class=MsoNormal> <o:p></o:p></p>
<p class=MsoNormal>Peter J. Gervais <o:p></o:p></p>
<p class=MsoNormal>President, Simtree Information Systems <o:p></o:p></p>
<p class=MsoNormal>17621 Island Rd, <o:p></o:p></p>
<p class=MsoNormal>RR#2 , Martintown, <o:p></o:p></p>
<p class=MsoNormal>Martintown,Ont<o:p></o:p></p>
<p class=MsoNormal>K0C 1S0<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Business: 613-938-6549<o:p></o:p></p>
<p class=MsoNormal>Cell: 613-864-7370<o:p></o:p></p>
<p class=MsoNormal>E-mail: pgervais@xplornet.com<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
</div>
</body>
</html>