BNFC.Backend.Haskell.Utilities.Parser

Documentation

tokenName :: Doc ()

parserCatName :: Cat -> Doc ()

generateP :: Bool -> Cat -> Doc ()

qualify :: String -> String -> String

generatePatterns :: Bool -> RHS -> (String, [String])

Generate patterns and a set of metavariables (de Bruijn indices) indicating where in the pattern the non-terminals are locate.

>>> generatePatterns False [ NTerminal (Cat' (BaseCat 'E':|"xp")), Terminal (Keyword ('+':|[])), NTerminal (Cat' (BaseCat 'E':|"xp")) ]
("Exp '+' Exp",["$1","$3"])

>>> generatePatterns True [ NTerminal (Cat' (BaseCat 'E':|"xp")), Terminal (Keyword ('+':|[])), NTerminal (Cat' (BaseCat 'E':|"xp")) ]
("Exp '+' Exp",["(snd $1)","(snd $3)"])