doc/qi/concepts.qbk

14 /BinaryParser/, /NaryParser/, and /Nonterminal/ are all refinements of the
302 [section Nonterminal]
306 A Nonterminal is a symbol in a __peg__ production that represents a
318 Nonterminal's /Signature/ specifies both the synthesized and inherited
323 where `RT` is the Nonterminal's synthesized attribute and `A0` ... `AN`
324 are the Nonterminal's inherited attributes.
328 The Nonterminal models a C++ function. The Nonterminal's synthesized
333     r(expr) // Evaluate expr at parse time and pass the result to the Nonterminal r
338 semantic actions anywhere in the Nonterminal's definition. This
339 __phoenix__ placeholder refers to the Nonterminal's (synthesized)
341 Nonterminal's attribute.
350 in __phoenix__ semantic actions anywhere in the Nonterminal's
351 definition. These __phoenix__ placeholders refer to the Nonterminal's
357 at parse time. A locals descriptor added to the Nonterminal declaration
358 will give the Nonterminal local variables:
377 which correspond to the Nonterminal's local variables `T0` ... `T9`.
380     [[`x`]                          [A Nonterminal]]
381     [[`X`]                          [A Nonterminal type]]
383                                     the Nonterminal's inherited attributes.]]
389 Nonterminal the following must be met:
393     [[`x`]                      [In a parser expression, invoke Nonterminal `x`]    [`X`]]
394     [[`x(arg1, arg2, ..., argN)`][In a parser expression, invoke Nonterminal `r`
397     [[`x.name(name)`]           [Naming a Nonterminal.]                             [`void`]]
398     [[`x.name()`]               [Getting the name of a Nonterminal.]                [`std::string`]]
399     [[debug(x)]                 [Debug Nonterminal `x`.]                            [`void`]]
407                         The first element is the Nonterminal's synthesized attribute