123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174 |
- <html>
- <head>
- <title> Loops</title>
- <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
- <link rel="stylesheet" href="theme/style.css" type="text/css">
- </head>
- <body>
- <table width="100%" border="0" background="theme/bkd2.gif" cellspacing="2">
- <tr>
- <td width="10">
- </td>
- <td width="85%">
- <font size="6" face="Verdana, Arial, Helvetica, sans-serif"><b> Loops</b></font>
- </td>
- <td width="112"><a href="http://spirit.sf.net"><img src="theme/spirit.gif" width="112" height="48" align="right" border="0"></a></td>
- </tr>
- </table>
- <br>
- <table border="0">
- <tr>
- <td width="10"></td>
- <td width="30"><a href="../index.html"><img src="theme/u_arr.gif" border="0"></a></td>
- <td width="30"><a href="escape_char_parser.html"><img src="theme/l_arr.gif" border="0"></a></td>
- <td width="30"><a href="character_sets.html"><img src="theme/r_arr.gif" border="0"></a></td>
- </tr>
- </table>
- <p>So far we have introduced a couple of EBNF operators that deal with looping.
- We have the <tt>+</tt> positive operator, which matches the preceding symbol
- one (1) or more times, as well as the Kleene star <tt>*</tt> which matches the
- preceding symbol zero (0) or more times.</p>
- <p>Taking this further, we may want to have a generalized loop operator. To some
- this may seem to be a case of overkill. Yet there are grammars that are impractical
- and cumbersome, if not impossible, for the basic EBNF iteration syntax to specify.
- Examples:</p>
- <blockquote>
- <p><img src="theme/bullet.gif" width="12" height="12"> A file name may have
- a maximum of 255 characters only.<br>
- <img src="theme/bullet.gif" width="12" height="12"> A specific bitmap file
- format has exactly 4096 RGB color information. <br>
- <img src="theme/bullet.gif" width="12" height="12"> A 32 bit binary string
- (1..32 1s or 0s).</p>
- </blockquote>
- <p>Other than the Kleene star <tt>*</tt>, the Positive closure <tt>+</tt>, and
- the optional <tt>!</tt>, a more flexible mechanism for looping is provided for
- by the framework. <br>
- </p>
- <table width="80%" border="0" align="center">
- <tr>
- <td colspan="2" class="table_title">Loop Constructs</td>
- </tr>
- <tr>
- <td class="table_cells" width="26%"><b>repeat_p (n) [p]</b></td>
- <td class="table_cells" width="74%">Repeat <b>p</b> exactly <b>n</b> times</td>
- </tr>
- <tr>
- <td class="table_cells" width="26%"><b>repeat_p (n1, n2) [p]</b></td>
- <td class="table_cells" width="74%">Repeat <b>p</b> at least <b>n1</b> times
- and at most <b>n2</b> times</td>
- </tr>
- <tr>
- <td class="table_cells" width="26%"><b>repeat_p (n, more) [p] </b></td>
- <td class="table_cells" width="74%">Repeat <b>p</b> at least <b>n</b> times,
- continuing until <b>p</b> fails or the input is consumed</td>
- </tr>
- </table>
- <p>Using the <tt>repeat_p</tt> parser, we can now write our examples above:</p>
- <p>A file name with a maximum of 255 characters:<br>
- </p>
- <pre> <span class=identifier>valid_fname_chars </span><span class=special>= </span><span class=comment>/*..*/</span><span class=special>;
- </span><span class=identifier>filename </span><span class=special>= </span><span class=identifier>repeat_p</span><span class=special>(</span><span class=number>1</span><span class=special>, </span><span class=number>255</span><span class=special>)[</span><span class=identifier>valid_fname_chars</span><span class=special>];</span></pre>
- <p>A specific bitmap file format which has exactly 4096 RGB color information:<span class=special><br>
- </span></p>
- <pre> <span class=identifier>uint_parser</span><span class=special><</span><span class=keyword>unsigned</span><span class=special>, </span><span class=number>16</span><span class=special>, </span><span class=number>6</span><span class=special>, </span><span class=number>6</span><span class=special>> </span><span class=identifier>rgb_p</span><span class=special>;
- </span><span class=identifier>bitmap </span><span class=special>= </span><span class=identifier>repeat_p</span><span class=special>(</span><span class=number>4096</span><span class=special>)[</span><span class=identifier>rgb_p</span><span class=special>];</span></pre>
- <p>As for the 32 bit binary string (1..32 1s or 0s), of course we could have easily
- used the <tt>bin_p</tt> numeric parser instead. For the sake of demonstration
- however:<span class=special><br>
- </span></p>
- <pre> <span class=identifier>bin</span><span class=number>32</span> <span class=special>= </span><span class=identifier>lexeme_d</span><span class=special>[</span><span class=identifier>repeat_p</span><span class=special>(</span>1, <span class=number>32</span><span class=special>)[</span><span class=identifier>ch_p</span><span class=special>(</span><span class=literal>'1'</span><span class=special>) </span><span class=special>| </span><span class=literal>'0'</span><span class=special>]];</span></pre>
- <table width="80%" border="0" align="center">
- <tr>
- <td class="note_box"><img src="theme/note.gif" width="16" height="16"> Loop
- parsers are run-time <a href="parametric_parsers.html">parametric</a>.</td>
- </tr>
- </table>
- <p>The Loop parsers can be dynamic. Consider the parsing of a binary file of Pascal-style
- length prefixed string, where the first byte determines the length of the incoming
- string. Here's a sample input:
- <blockquote>
- <table width="363" border="0" cellspacing="0" cellpadding="0">
- <tr>
- <td class="dk_grey_bkd">
- <table width="100%" border="0" cellspacing="2" cellpadding="2">
- <tr>
- <td class="white_bkd" width=8%">
- <div align="center">11</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">h</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">e</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">l</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">l</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">o</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center"> _</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">w</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">o</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">r</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">l</div>
- </td>
- <td class="white_bkd" width="8%">
- <div align="center">d</div>
- </td>
- </tr>
- </table>
- </td>
- </tr>
- </table>
-
- </blockquote>
- <p>This trivial example cannot be practically defined in traditional EBNF. Although
- some EBNF syntax allow more powerful repetition constructs other than the Kleene
- star, we are still limited to parsing fixed strings. The nature of EBNF forces
- the repetition factor to be a constant. On the other hand, Spirit allows the
- repetition factor to be variable at run time. We could write a grammar that
- accepts the input string above:</p>
- <pre><span class=identifier> </span><span class=keyword>int </span><span class=identifier>c</span><span class=special>;
- </span><span class=identifier>r </span><span class=special>= </span><span class=identifier>anychar_p</span><span class=special>[</span><span class=identifier>assign_a</span><span class=special>(</span><span class=identifier>c</span><span class=special>)] </span><span class=special>>> </span><span class=identifier>repeat_p</span><span class=special>(</span><span class=identifier>boost</span><span class=special>::</span><span class=identifier>ref</span><span class=special>(</span><span class=identifier>c</span><span class=special>))[</span><span class=identifier>anychar_p</span><span class=special>];</span></pre>
- <p>The expression</p>
- <pre> <span class=identifier>anychar_p</span><span class=special>[</span><span class=identifier>assign_a</span><span class=special>(</span><span class=identifier>c</span><span class=special>)]</span></pre>
- <p>extracts the first character from the input and puts it in <tt>c</tt>. What
- is interesting is that in addition to constants, we can also use variables as
- parameters to <tt>repeat_p</tt>, as demonstrated in </p>
- <pre> <span class=identifier>repeat_p</span><span class=special>(</span><span class=identifier>boost</span><span class=special>::</span><span class=identifier>ref</span><span class=special>(</span><span class=identifier>c</span><span class=special>)</span><span class=special>)</span><span class=special>[</span><span class=identifier>anychar_p</span><span class=special>]</span></pre>
- <p>Notice that <tt>boost::ref</tt> is used to reference the integer <tt>c</tt>.
- This usage of <tt>repeat_p</tt> makes the parser defer the evaluation of the
- repetition factor until it is actually needed. Continuing our example, since
- the value 11 is already extracted from the input, <tt>repeat_p</tt> is is now
- expected to loop exactly 11 times.</p>
- <table border="0">
- <tr>
- <td width="10"></td>
- <td width="30"><a href="../index.html"><img src="theme/u_arr.gif" border="0"></a></td>
- <td width="30"><a href="escape_char_parser.html"><img src="theme/l_arr.gif" border="0"></a></td>
- <td width="30"><a href="character_sets.html"><img src="theme/r_arr.gif" border="0"></a></td>
- </tr>
- </table>
- <br>
- <hr size="1">
- <p class="copyright">Copyright © 1998-2003 Joel de Guzman<br>
- <br>
- <font size="2">Use, modification and distribution is subject to the Boost Software
- License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
- http://www.boost.org/LICENSE_1_0.txt) </font> </p>
- </body>
- </html>
|