ModuleBNFC-2.9.5Haskell2010

BNFC.Backend.C.CFtoFlexC

1 type
12 values

PackageBNFC-2.9.5
Exports13
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCFtoFlexC.hs

valuecf2flex :: ParserMode -> CF -> (String, SymMap)

Entrypoint.

datadata ParserMode

Constructors

CParser Bool String
C (False) or C++ no STL (True) mode, with name to use as prefix.
CppParser InPackage String
C++ mode, with optional package name

valueparserName :: ParserMode -> String

valueparserPackage :: ParserMode -> InPackage

valuecParser :: ParserMode -> Bool

valuestlParser :: ParserMode -> Bool

valueparserHExt :: ParserMode -> String

valuepreludeForBuffer :: String -> [String]

Part of the lexer prelude needed when string literals are to be lexed. Defines an interface to the Buffer.

valuecMacros :: CF -> String

valuecommentStates :: [String]

If we have several block comments, we need different COMMENT lexing states.

valuelexComments :: ([(String, String)], [String]) -> Doc

Create flex rules for single-line and multi-lines comments. The first argument is an optional namespace (for C++); the second argument is the set of comment delimiters as returned by BNFC.CF.comments.

This function is only compiling the results of applying either lexSingleComment or lexMultiComment on each comment delimiter or pair of delimiters.

Example1 expression

>>> lexComments ([("{-","-}")],["--"])<INITIAL>"--"[^\n]* /* skip */; /* BNFC: comment "--" */<INITIAL>"{-" BEGIN COMMENT; /* BNFC: block comment "{-" "-}" */<COMMENT>"-}" BEGIN INITIAL;<COMMENT>.    /* skip */;<COMMENT>[\n] /* skip */;

valuelexStrings :: String -> String -> String -> [String]

Lexing of strings, converting escaped characters.

valuelexChars :: String -> String -> [String]

Lexing of characters, converting escaped characters.