Provided by: libparser-mgc-perl_0.21-1_all bug

NAME

       "Parser::MGC::Examples::EvaluateExpression" - an example parser to evaluate simple numerical expressions

DESCRIPTION

       This evaluator-parser takes simple mathematical expressions involving the four basic arithmetic operators
       (+, -, *, /) applied to integers, and returns the numerical result. It handles operator precedence, with
       * and / having a higher level than + and -, and copes with parentheses.

       Operator precedence is implemented by using two different parsing functions to handle the two different
       precedence levels.

   Boilerplate
       We start off by declaring a package and subclassing Parser::MGC.

          package ExprParser;
          use base qw( Parser::MGC );

          use strict;
          use warnings;

   parse
       The topmost parsing function, "parse", handles the outermost level of operator precedence, the + and -
       operators. It first parses a single term from the input by callling "parse_term" to obtain its value.

       It then uses the "any_of" structure-forming method to look for either a + or - operator which would
       indicate another term will follow it. If it finds either of these, it parses the next term from after the
       operator by another call to "parse_term" and then adds or subtracts the value of it from the running
       total.

       The "any_of" call itself is used as the conditional expression of a "while" loop, to ensure it gets
       called multiple times. Whenever another term has been parsed, the body function returns a true value, to
       indicate that the while loop should be invoked again. Only when there are no more + or - operators,
       indicating no more terms, does the body return false, causing the while loop to stop.

       This continues until there are no more + or - operators, when the overall total value is returned to the
       caller.

          sub parse
          {
             my $self = shift;

             my $val = $self->parse_term

             1 while $self->any_of(
                sub { $self->expect( "+" ); $val += $self->parse_term; 1 },
                sub { $self->expect( "-" ); $val -= $self->parse_term; 1 },
                sub { 0 },
             );

             return $val;
          }

       This function recognises input matching the following EBNF grammar:

          EXPR = TERM { ( '+' | '-' ) TERM };

   parse_term
       Called by "parse", the next function is "parse_term" which has a similar structure. This function
       implements the next level of operator precedence, of the * and / operators. In a similar fashion to the
       previous function, this one parses a single factor from the input by calling "parse_factor", and then
       looks for * or / operators, multiplying or dividing the value by the next factor it expects to find after
       those. This continues until there are no more * or / operators, when the overall product is returned.

          sub parse_term
          {
             my $self = shift;

             my $val = $self->parse_factor;

             1 while $self->any_of(
                sub { $self->expect( "*" ); $val *= $self->parse_factor; 1 },
                sub { $self->expect( "/" ); $val /= $self->parse_factor; 1 },
                sub { 0 },
             );

             return $val;
          }

       This function recognises input matching the following EBNF grammar:

          TERM = FACTOR { ( '*' | '/' ) FACTOR };

   parse_factor
       Finally, the innermost "parse_factor" function is called by "parse_term" to parse out the actual
       numerical values. This is also the point at which the grammar can recurse, recognising a parenthesized
       expression. It uses an "any_of" with two alternative function bodies, to cover these two cases.

       The first case, to handle a parenthesized sub-expression, consists of a call to "scope_of". This call
       would expect to find a "(" symbol to indicate the parenthesized expression. If it finds one, it will
       recurse back to the toplevel "parse" method to obtain its value, then expects the final ")" symbol. The
       value of this factor is then the value of the sub-expression contained within the parentheses.

       If the first case fails, because it does not find that leading "(" symbol, the second case is attempted
       instead. This handles an actual integer constant.  This case is simply a call to the "token_int" method
       of the underlying class, which recognises various string forms of integer constants, returning their
       numerical value.

          sub parse_factor
          {
             my $self = shift;

             $self->any_of(
                sub { $self->scope_of( "(", sub { $self->parse }, ")" ) },
                sub { $self->token_int },
             );
          }

       This function recognises input matching the following EBNF grammar:

          FACTOR = '(' EXPR ')'
                 | integer

EXAMPLES OF OPERATION

   A single integer
       The simplest form of operation of this parser is when it is given a single integer value as its input;
       for example "15".

        INPUT:    15
        POSITION: ^

       The outermost call to "parse" will call "parse_term", which in turn calls "parse_factor".

        INPUT:    15
        POSITION  ^
        CALLS:    parse
                   => parse_term
                    => parse_factor

       The "any_of" inside "parse_factor" will first attempt to find a parenthesized sub-expression by using
       "scope_of", but this will fail because it does not start with an open parenthesis symbol. The "any_of"
       will then attempt the second case, calling "token_int" which will succeed at obtaining an integer value
       from the input stream, consuming it by advancing the stream position. The value of 15 is then returned by
       "parse_factor" back to "parse_term" where it is stored in the $val lexical.

        INPUT:    15
        POSITION:   ^
        CALLS:    parse
                   => parse_term -- $val = 15

       At this point, the "any_of" inside "parse_term" will attempt to find a * or / operator, but both will
       fail because there is none, causing the final alternative function to be invoked, which stops the "while"
       loop executing.  The value of 15 is then returned to the outer caller, "parse". A similar process happens
       there, where it fails to find a + or - operator, and thus the final value of 15 is returned as the result
       of the entire parsing operation.

        INPUT:    15
        OUTPUT:   15

   A simple sum of two integers
       Next lets consider a case that actually requires some real parsing, such as an expression requesting the
       sum of two values; "6 + 9".

        INPUT:    6 + 9
        POSITION: ^

       This parsing operation starts the same as the previous; with "parse" calling "parse_term" which in turn
       calls "parse_factor".

        INPUT:    6 + 9
        POSITION: ^
        CALLS:    parse
                   => parse_term
                    => parse_factor

       As before, the "any_of" inside "parse_factor" first attempts and fails to find a parenthesized sub-
       expression and so tries "token_int" instead. As before this obtains an integer value from the stream and
       advances the position. This value is again returned to "parse_term". As before, the "any_of" attempts but
       fails to find a * or / operator so the value gets returned to "parse" to be stored in $val.

        INPUT:    6 + 9
        POSITION:  ^
        CALLS:    parse -- $val = 6

       This time, the "any_of" in the outer "parse" method attempts to find a + operator and succeeds, because
       there is one at the next position in the stream. This causes the first case to continue, making another
       call to "parse_term".

        INPUT:    6 + 9
        POSITION:    ^
        CALLS:    parse -- $val = 6
                   => parse_term

       This call to "parse_term" proceeds much like the first, eventually returning the value 9 by consuming it
       from the input stream. This value is added to $val by the code inside the "any_of" call.

        INPUT:    6 + 9
        POSITION:      ^
        CALLS:    parse -- $val = 15

       "parse" then calls "any_of" a second time, which attempts to find another operator. This time there is
       none, so it returns false, which stops the "while" loop and the value is returned as the final result of
       the operation.

        INPUT:    6 + 9
        OUTPUT:   15

   Operator precedence
       The two kinds of operators (+ and - vs * and /) are split across two different method calls to allow them
       to implement precedence; to say that some of the operators bind more tightly than others. Those operators
       that are implemented in more inwardly-nested functions bind tighter than the ones implemented further
       out.

       To see this in operation consider an expression that mixes the two kinds of operators, such as "15 - 2 *
       3"

        INPUT:    15 - 2 * 3
        POSITION: ^

       The parsing operation starts by calling down from "parse" all the way to "token_int" which extracts the
       first integer, 15, from the stream and returns it all the way up to "parse" as before:

        INPUT:    15 - 2 * 3
        POSITION:   ^
        CALLS:    parse -- $val = 15

       As before, the "parse" function looks for a * or - operator by its "any_of" test, and finds this time the
       - operator, which then causes it to call "parse_term" to parse its value:

        INPUT:    15 - 2 * 3
        POSITION:     ^
        CALLS:    parse -- $val = 15
                   => parse_term

       Again, "parse_term" starts by calling "parse_factor" which extracts the next integer from the stream and
       returns it. "parse_factor" temporarily stores that in its own $val lexical (which remember, is a lexical
       variable local to that call, so is distinct from the one in "parse").

        INPUT:    15 - 2 * 3
        POSITION:       ^
        CALLS:    parse -- $val = 15
                   => parse_term -- $val = 2

       This time, when "parse_term" attempts its own "any_of" test to look for a * or / operator, it manages to
       find one. By a process similar to the way that the outer "parse" method forms a sum of terms,
       "parse_term" forms a product of factors by calling down to "parse_factor" and accumulating the result.
       Here it will call "parse_factor" again, which returns the value 3. This gets multiplied into $var.

        INPUT:    15 - 2 * 3
        POSITION:           ^
        CALLS:    parse -- $val = 15
                   => parse_term -- $val = 6

       "parse_term" will try again to look for a * or / operator, but this time fails to find one, and so
       returns its final result, 6, back to "parse", which then subtracts it from its own $val.

        INPUT:    15 - 2 * 3
        POSITION:           ^
        CALLS:    parse -- $val = 9

       The outer "parse" call similarly fails to find any more + or - operators and so returns the final result
       of the parsing operation.

        INPUT:    15 - 2 * 3
        OUTPUT:   9

       By implementing the * and / operators separately in a different piece of logic inside the one that
       implements the + and - operators, we have ensured that they operate more greedily. That is, that they
       bind tighter, consuming their values first, before the outer + and - operators. This is the way that
       operator precedence is implemented.

   Parentheses
       This grammar, like many others, provides a way for expressions to override the usual operator precedence
       by supplying a sub-expression in parentheses. The expression inside those parentheses is parsed in the
       usual way, and then its result stands in place of the entire parenthesized part, overriding whatever
       rules might have governed the order between those operators inside it and those outside.

       In this parser we implement this as a recursive call, where one possibility of the innermost part (the
       "parse_factor" function or the "FACTOR" EBNF rule) is to recurse back to the outermost thing, inside
       parentheses. This example examines what happens to the input string "(15 - 2) * 3".

        INPUT:    (15 - 2) * 3
        POSITION: ^

       As with all the other examples the parsing operation starts by "parse" calling "parse_term" which calls
       "parse_factor". This time, the first case within the "any_of" in "parse_factor" does successfully manage
       to find an open parenthesis, so consumes it. It then stores the close parenthesis pattern as the end-of-
       scope marker, and makes a recursive call back to the parse method again.

        INPUT:    (15 - 2) * 3
        POSITION:  ^
        CALLS:    parse
                   => parse_term
                    => parse_factor
                     => parse                 EOS = ")"

       The operation of the inner call to "parse" proceeds much like the first few examples, calling down
       through "parse_term" to "parse_factor" to obtain the 15.

        INPUT:    (15 - 2) * 3
        POSITION:    ^
        CALLS:    parse
                   => parse_term
                    => parse_factor
                     => parse -- $val = 15    EOS = ")"

       Similar to previous examples, this then finds the - operator, and parses another term to subtract from
       it.

        INPUT:    (15 - 2) * 3
        POSITION:        ^
        CALLS:    parse
                   => parse_term
                    => parse_factor
                     => parse -- $val = 13    EOS = ")"

       At this point, the "any_of" test in the inner call to "parse" tries again to look for a + or - operator,
       and this time fails because it believes it is at the end of the input. It isn't really at the end of the
       string, of course, but it believes it to be at the end because of the "end-of-scope" pattern that the
       call to "scope_of" established. This pretends that the input has finished whenever the next part of the
       input matches the end-of-scope pattern.

       Because this inner call to "parse" now believes it has got to the end of its input, it returns its final
       answer back to the caller, which in this case was the "scope_of" call that "parse_factor" made. As the
       "scope_of" call returns, it consumes the input matching the end-of-scope pattern. This return value is
       then stored by "parse_term".

        INPUT:    (15 - 2) * 3
        POSITION:         ^
        CALLS:    parse
                   => parse_term -- $val = 13

       At this point, "parse_term" proceeds as before, finding and extracting the * operator and calling
       "parse_factor" a second time, multiplying them together and returning that to the outer "parse" call.

        INPUT:    (15 - 2) * 3
        POSITION:             ^
        CALLS:    parse -- $val = 39

       At this point "parse" fails to extract any more operators because it is at the (real) end of input, so
       returns the final answer.

        INPUT:    (15 - 2) * 3
        OUTPUT:   39