File: ebnf-yac.el.html

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

This is part of ebnf2ps package.

This package defines a parser for Yacc/Bison.

See ebnf2ps.el for documentation.

Yacc/Bison Syntax
-----------------

YACC = { YACC-Definitions }* "%%" { YACC-Rule }* [ "%%" [ YACC-Code ] ].

YACC-Definitions = ( "%token" | "%left" | "%right" | "%nonassoc" )
                   [ "<" Name ">" ] Name-List
                 | "%prec" Name
                 | "any other Yacc definition"
                 .

YACC-Code = "any C definition".

YACC-Rule = Name ":" Alternative ";".

Alternative = { Sequence || "|" }*.

Sequence = { Factor }*.

Factor = Name
       | "'" "character" "'"
       | "error"
       | "{" "C like commands" "}"
       .

Name-List = { Name || "," }*.

Name = "[A-Za-z][A-Za-z0-9_.]*".

Comment = "/*" "any character, but the sequence \\"*/\"" "*/"
        | "//" "any character, but the newline \\"\\n\"" "\\\\n".

In other words, a valid Name begins with a letter (upper or lower case) followed by letters, decimal digits, underscore (_) or point (.). For example: this_is_a_valid.name, Another_EXAMPLE, mIxEd.CaSe.

Acknowledgments
---------------

Thanks to Matthew K. Junker <junker@alum.mit.edu> for the suggestion to deal with %right, %left and %prec pragmas. His suggestion was extended to deal with %nonassoc pragma too.

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

Defined variables (5)

Defined functions (7)

Defined faces (0)