Gobo Eiffel Yacc PreviousNext

Gobo Eiffel Yacc is a general-purpose parser generator that converts a grammar description for an LALR(1) context-free grammar into an Eiffel class equipped with routines to parse that grammar. Geyacc may be used to develop a wide range of language parsers, from those used in simple desk calculators to complex programming languages. Geyacc is very similar to yacc and GNU bison. Anyone familiar with these utilities and fluent in Eiffel programming should be able to use geyacc with little trouble.

This documentation is structured as follows:

Introduction to Geyacc
Basic concepts for understanding geyacc.
Stages in Using Geyacc
Steps to follow to produce a working parser.
Some Simple Examples
Some simple explained examples.
Parser Description File
Format of geyacc input file:
Geyacc Declarations
Symbols, Terminal and Nonterminal
Grammar Rules
Semantic Actions
The Generated Parser
Description of the generated parser class.
Command-line options.
Parser Algorithm
How geyacc parser works at run-time.
Operator Precedence
How to deal with arithmetic expressions.
Context Dependency
What to do if a language syntax is too messy for geyacc to handle straightforwardly.
Error Recovery
Writing rules for error recovery.
The flat-short form of class YY_PARSER.
Geyacc limitations, bugs and other deficiencies.
See Also
Bibliographical references, related resources and acknowledgments.
Downloading Instructions
License agreement and downloading instructions.

Copyright 1999-2005, Eric Bezault
Last Updated: 22 February 2005