I don't have a snippet to drop into your compiler, but
the general way handle this recursive complexity is with
grammar. The following grammar (couresty of the Dragon book) describes the structure of
your conditionals, and associates each ELSE with the closest
unmatched THEN, eliminating potential ambiguity:
<stmt> := <matched-stmt>
| <unmatched-stmt>
<matched-stmt> := "IF" <expr> "THEN" <matched-stmt> "ELSE" <matched-s
+tmt>
| <other-stmt>
<unmatched-stmt> := "IF" <expr> "THEN" <stmt>
| "IF" <expr> "THEN" <matched-stmt> "ELSE" <unmatch
+ed-stmt>
other-stmt is
any kind of statement other than a conditional.
Given this grammar, one may create a recursive descent parser
that implements this grammar: each nonterminal becomes a
subroutine, with stmt at the top of the tree (untested code):
sub stmt
{
my $buf = shift;
if (matched_stmt($buf)) {
return 1;
}
elsif (unmatched_stmt($buf)) {
return 1;
}
return 0;
}
# etc.
A pity that we don't have Perl6 yet, this grammar could be
dropped in straightaway :)
-Mark
-
Are you posting in the right place? Check out Where do I post X? to know for sure.
-
Posts may use any of the Perl Monks Approved HTML tags. Currently these include the following:
<code> <a> <b> <big>
<blockquote> <br /> <dd>
<dl> <dt> <em> <font>
<h1> <h2> <h3> <h4>
<h5> <h6> <hr /> <i>
<li> <nbsp> <ol> <p>
<small> <strike> <strong>
<sub> <sup> <table>
<td> <th> <tr> <tt>
<u> <ul>
-
Snippets of code should be wrapped in
<code> tags not
<pre> tags. In fact, <pre>
tags should generally be avoided. If they must
be used, extreme care should be
taken to ensure that their contents do not
have long lines (<70 chars), in order to prevent
horizontal scrolling (and possible janitor
intervention).
-
Want more info? How to link
or How to display code and escape characters
are good places to start.
|