Re: parsing ISO C++(1998/2003)

"Ira Baxter" <idbaxter@xxxxxxxxxxxxxx> wrote in message
"Aaron Gray" <ang.usenet@xxxxxxxxx> wrote in message
<parthaspanda2005@xxxxxxxxx> wrote in message
No matter how many shots at it, I havent been
able to get bison/yacc to parse the C++ grammar
specified in the reference manual.

GLR (Bison has GLR) was ment to be the answer, although it is slow
compared
to other techniques.

Elkhound and Elsa tried GLR approach and failed.

Failed? From what I hear, Elsa can parse virtually all of ANSI C++.
What's the failure, exactly?

Okay from the Elsa web page it looks a lot better now than it did a
six months ago, I'll say that

I would be interested in how well it would parse Boost "libraries".

All the major C++ parsers are hand coded, recursive decent and precedance
based binary ops.

Guess our DMS Software Reengineering Toolkit isn't a major C++ parser.
Nonetheless, it is NOT hand code. It uses
GLR to parse variety of C++ dialects (ANSI, GNU,
MS including 2005), with grammar rules taken pretty directly from
from ANSI standard (and adjusted according to dialects, etc.).
See http://www.semanticdesigns.com/Products/FrontEndsd/CppFrontEnds.html

This is indeed encouraging.

How do I get the grammar in the manual
not to change much as well as pass under
bison/yacc?

Thats probably impossible.

Aaron

Use GLR. There are several proof by examples.

I am aware of Elsa, but no other open C++ GLR parsers.

So this is very practical.

However, you'll find that there is an enormous amount of work to build
a working C++ front end above and beyond parsing.

If you think of parsing C++ as climbing foothills, getting the rest of
the front end right (preprocessor, name and type resolution, managing
the real dialects used, linking) is like climbing the Himalayas.
People don't seem to understand this very well. Maybe it because they
never get past parsing.

Yes I am well aware from looking at GCC source code.

The only other issue brought up was about parsing and disambiguation time of
GLR as compared to combined recursive decent and operator preceedance
parsing.

Aaron

.

Relevant Pages

  • Re: parsing ISO C++(1998/2003)
    ... able to get bison/yacc to parse the C++ grammar ... GLR was ment to be the answer, ... Elsa can parse virtually all of ANSI C++. ... with grammar rules taken pretty directly from ...
    (comp.compilers)
  • Re: parsing ISO C++(1998/2003)
    ... GLR was ment to be the answer, ... Elkhound and Elsa tried GLR approach and failed. ... I am not sure about Bison. ... What would be a good tool is something that takes an ambiguous grammar an ...
    (comp.compilers)
  • Re: parsing ISO C++(1998/2003)
    ... GLR was ment to be the answer, ... to other techniques. ... Elkhound and Elsa tried GLR approach and failed. ...
    (comp.compilers)