Re: LL(1) conflict resolution for parameters

"Pat Terry" <CSPT@giraffe.ru.ac.za> wrote:
<part of syntax snipped>
      Parameter = ( "REF" | "VAL" ) VarIdent (* quite explicit *).
      Argument = Reference | Value .
    The above is not LL(1), because the alternatives for Argument both have
    identifier in their FIRST sets.
>
I would tell my students to use semantic knowledge to restrict Value
in the Argument rule to the correct type of parameter passing as
stored in a proc symbol table. That is you need a parser generator
capable of specifying attributed rules, at least capable of inserting
procedure calls to semantic routines that can do this semantic check.
--
Jan Jongejan email: jjan@cs.rug.nl
Dept. Comp.Sci.,
Univ. of Groningen, 8-{)
Netherlands.
--

Return to the comp.compilers page.
Search the comp.compilers archives again.