ModuleBNFC-2.9.6.3Haskell2010

BNFC.GetCF

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

4 values

PackageBNFC-2.9.6.3
Exports4
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGetCF.hs

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

Entrypoint. Parses full CF from LBNF file and checks against all backend requirements

valueparseRawCF :: FilePath -> String -> Err CF

Parse raw CF from LBNF file without checking backend requirements

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"