Semantic actions in Yacc ?

First up, I have a limited knowledge of compilers and so please
forgive me if this is a dumb question.


I want to add semantic actions to a Yacc parser. The way I'd considered
of doing this is to add actions before and after each nonterminal in
the grammar, as I do not yet know where I'll need semantic checks and
where I won't.


eg. Consider a binary grammar.


grammar : { SemanticBlk1() ; } digits { SemanticBlk2() ; }
                                  ;


digits : /* empty */
                                  | {} digits {} digit {}
                                  ;


digit : {} ZERO_TOK {}
                                  | {} ONE_TOK {}
                                  ;


    Now this causes reduce/reduce conflicts in Yacc. Is there a way to
avoid this ? Or is there a better way to add semantic actions ?


    I think I can translate this defn. into LL1 and generate a recursive
descent parser - which won't have problems with the semantic actions.
However - this would be a real undertaking for my target language
[>300 productions] - so I was wondering whether an application exists
to do this already - yacc2rdp or something ?


    Or, is there another compiler generator which I could use instead
of Yacc which would enable me to do what I want ?


    Any suggestions welcome,


Thanks,


    Frazer


---


---------------------------------------------------------------------
Phone: 214-997-5557 Email: frazerw@daldd.sc.ti.com
Address: MS 8316, TI_MSGID: FJ
                    Texas Instruments,
                    8330 LBJ Freeway, 75243
                    Dallas, Tx.
--

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