The SmPL Grammar (version 0.1.4)
Research group on Coccinelle
June 5, 2009
This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard notation. In some rules, however, the left-hand side is in all uppercase letters. These are macros, which take one or more grammar rule right-hand-sides as arguments. The grammar also uses some unspecified nonterminals, such as id, const, etc. These refer to the sets suggested by the name, i.e., id refers to the set of possible C-language identifiers, while const refers to the set of possible C-language constants. A PDF version of this documentation is available at http://www.emn.fr/x-info/coccinelle/docs/main_grammar.pdf.
This document was translated from LATEX by HEVEA.