ModuleBNFC-2.9.5Haskell2010

BNFC.GetCF

Check LBNF input file and turn it into the CF internal representation.

3 values

PackageBNFC-2.9.5
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGetCF.hs

valueparseCF :: SharedOptions -> Target -> String -> IO CF

Entrypoint.

valuecheckRule :: CF -> Rule -> Maybe String

valuetransItem :: Item -> [Either Cat String]

Translate a rule item (terminal or non terminal) It also sanitizes the terminals a bit by skipping empty terminals or splitting multiwords terminals. This means that the following rule

 Foo. S ::= "foo bar" ""

is equivalent to

 Foo. S ::= "foo" "bar"