Safe Haskell	Safe-Inferred
Language	Haskell2010

BNFC.Backend.C.CFtoFlexC

Synopsis

cf2flex :: ParserMode -> CF -> (String, SymMap)
data ParserMode
- = CParser Bool String
- | CppParser InPackage String
parserName :: ParserMode -> String
parserPackage :: ParserMode -> InPackage
cParser :: ParserMode -> Bool
stlParser :: ParserMode -> Bool
parserHExt :: ParserMode -> String
preludeForBuffer :: String -> [String]
cMacros :: CF -> String
commentStates :: [String]
lexComments :: ([(String, String)], [String]) -> Doc
lexStrings :: String -> String -> String -> [String]
lexChars :: String -> String -> [String]

Documentation

cf2flex :: ParserMode -> CF -> (String, SymMap) Source #

Entrypoint.

data ParserMode Source #

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

parserName :: ParserMode -> String Source #

parserPackage :: ParserMode -> InPackage Source #

cParser :: ParserMode -> Bool Source #

stlParser :: ParserMode -> Bool Source #

parserHExt :: ParserMode -> String Source #

preludeForBuffer :: String -> [String] Source #

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

cMacros :: CF -> String Source #

commentStates :: [String] Source #

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

lexComments :: ([(String, String)], [String]) -> Doc Source #

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.

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

lexStrings :: String -> String -> String -> [String] Source #

Lexing of strings, converting escaped characters.

lexChars :: String -> String -> [String] Source #

Lexing of characters, converting escaped characters.