Language.Preprocessor.Cpphs

cpphs-1.19.3: A liberalised re-implementation of cpp, the C pre-processor.

Copyright | 2000-2006 Malcolm Wallace
License | LGPL
Maintainer | Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk>
Stability | experimental
Portability | All
Safe Haskell | None
Language | Haskell98

Language.Preprocessor.Cpphs

Description

Include the interface that is exported

Synopsis

- runCpphs :: CpphsOptions -> FilePath -> String -> IO String
- runCpphsPass1 :: CpphsOptions -> FilePath -> String -> IO [(Posn, String)]
- runCpphsPass2 :: BoolOptions -> [(String, String)] -> FilePath -> [(Posn, String)] -> IO String
- runCpphsReturningSymTab :: CpphsOptions -> FilePath -> String -> IO (String, [(String, String)])
- cppIfdef :: FilePath -> [(String, String)] -> [String] -> BoolOptions -> String -> IO [(Posn, String)]
- tokenise :: Bool -> Bool -> Bool -> Bool -> [(Posn, String)] -> [WordStyle]
- data WordStyle
  - = Ident Posn String
  - | Other String
  - | Cmd (Maybe HashDefine)
- macroPass :: [(String, String)] -> BoolOptions -> [(Posn, String)] -> IO String
- macroPassReturningSymTab :: [(String, String)] -> BoolOptions -> [(Posn, String)] -> IO (String, [(String, String)])
- data CpphsOptions = CpphsOptions {
  - infiles :: [FilePath]
  - outfiles :: [FilePath]
  - defines :: [(String, String)]
  - includes :: [String]
  - preInclude :: [FilePath]
  - boolopts :: BoolOptions
  }
- data BoolOptions = BoolOptions {
  - macros :: Bool
  - locations :: Bool
  - hashline :: Bool
  - pragma :: Bool
  - stripEol :: Bool
  - stripC89 :: Bool
  - lang :: Bool
  - ansi :: Bool
  - layout :: Bool
  - literate :: Bool
  - warnings :: Bool
  }
- parseOptions :: [String] -> Either String CpphsOptions
- defaultCpphsOptions :: CpphsOptions
- defaultBoolOptions :: BoolOptions
- data Posn = Pn String !Int !Int (Maybe Posn)
- newfile :: String -> Posn
- addcol :: Int -> Posn -> Posn
- newline :: Posn -> Posn
- tab :: Posn -> Posn
- newlines :: Int -> Posn -> Posn
- newpos :: Int -> Maybe String -> Posn -> Posn
- cppline :: Posn -> String
- haskline :: Posn -> String
- cpp2hask :: String -> String
- filename :: Posn -> String
- lineno :: Posn -> Int
- directory :: Posn -> FilePath
- cleanPath :: FilePath -> FilePath

# Documentation

runCpphs :: CpphsOptions -> FilePath -> String -> IO String #

runCpphsPass1 :: CpphsOptions -> FilePath -> String -> IO [(Posn, String)] #

runCpphsPass2 :: BoolOptions -> [(String, String)] -> FilePath -> [(Posn, String)] -> IO String #

runCpphsReturningSymTab :: CpphsOptions -> FilePath -> String -> IO (String, [(String, String)]) #

cppIfdef #

Arguments

:: FilePath | File for error reports
-> [(String, String)] | Pre-defined symbols and their values
-> [String] | Search path for #includes
-> BoolOptions | Options controlling output style
-> String | The input file content
-> IO [(Posn, String)] | The file after processing (in lines)

Run a first pass of cpp, evaluating #ifdef's and processing #include's, whilst taking account of #define's and #undef's as we encounter them.

tokenise :: Bool -> Bool -> Bool -> Bool -> [(Posn, String)] -> [WordStyle] #

tokenise is, broadly-speaking, Prelude.words, except that: * the input is already divided into lines * each word-like "token" is categorised as one of {Ident,Other,Cmd} * #define's are parsed and returned out-of-band using the Cmd variant * All whitespace is preserved intact as tokens. * C-comments are converted to white-space (depending on first param) * Parens and commas are tokens in their own right. * Any cpp line continuations are respected. No errors can be raised. The inverse of tokenise is (concatMap deWordStyle).

data WordStyle #

Each token is classified as one of Ident, Other, or Cmd: * Ident is a word that could potentially match a macro name. * Cmd is a complete cpp directive (#define etc). * Other is anything else.

Constructors

Ident Posn String |
Other String |
Cmd (Maybe HashDefine) |

Instances

Eq WordStyle # |
Instance details Defined in Language.Preprocessor.Cpphs.Tokenise Methods (==) :: WordStyle -> WordStyle -> Bool # (/=) :: WordStyle -> WordStyle -> Bool #
Show WordStyle # |
Instance details Defined in Language.Preprocessor.Cpphs.Tokenise Methods showsPrec :: Int -> WordStyle -> ShowS # show :: WordStyle -> String # showList :: [WordStyle] -> ShowS #

macroPass #

Arguments

:: [(String, String)] | Pre-defined symbols and their values
-> BoolOptions | Options that alter processing style
-> [(Posn, String)] | The input file content
-> IO String | The file after processing

Walk through the document, replacing calls of macros with the expanded RHS.

macroPassReturningSymTab #

Arguments

:: [(String, String)] | Pre-defined symbols and their values
-> BoolOptions | Options that alter processing style
-> [(Posn, String)] | The input file content
-> IO (String, [(String, String)]) | The file and symbol table after processing

Walk through the document, replacing calls of macros with the expanded RHS. Additionally returns the active symbol table after processing.

data CpphsOptions #

Cpphs options structure.

Constructors

CpphsOptions |
Fields infiles :: [FilePath] outfiles :: [FilePath] defines :: [(String, String)] includes :: [String] preInclude :: [FilePath] Files to #include before anything else boolopts :: BoolOptions

Instances

Show CpphsOptions # |
Instance details Defined in Language.Preprocessor.Cpphs.Options Methods showsPrec :: Int -> CpphsOptions -> ShowS # show :: CpphsOptions -> String # showList :: [CpphsOptions] -> ShowS #

data BoolOptions #

Options representable as Booleans.

Constructors

BoolOptions |
Fields macros :: Bool Leave #define and #undef in output of ifdef? locations :: Bool Place #line droppings in output? hashline :: Bool Write #line or {-# LINE #-} ? pragma :: Bool Keep #pragma in final output? stripEol :: Bool Remove C eol (//) comments everywhere? stripC89 :: Bool Remove C inline (/**/) comments everywhere? lang :: Bool Lex input as Haskell code? ansi :: Bool Permit stringise # and catenate ## operators? layout :: Bool Retain newlines in macro expansions? literate :: Bool Remove literate markup? warnings :: Bool Issue warnings?

Instances

Show BoolOptions # |
Instance details Defined in Language.Preprocessor.Cpphs.Options Methods showsPrec :: Int -> BoolOptions -> ShowS # show :: BoolOptions -> String # showList :: [BoolOptions] -> ShowS #

parseOptions :: [String] -> Either String CpphsOptions #

Parse all command-line options.

defaultCpphsOptions :: CpphsOptions #

Default options.

defaultBoolOptions :: BoolOptions #

Default settings of boolean options.

data Posn #

Source positions contain a filename, line, column, and an inclusion point, which is itself another source position, recursively.

Constructors

Pn String !Int !Int (Maybe Posn) |

Instances

Eq Posn # |
Instance details Defined in Language.Preprocessor.Cpphs.Position Methods (==) :: Posn -> Posn -> Bool # (/=) :: Posn -> Posn -> Bool #
Show Posn # |
Instance details Defined in Language.Preprocessor.Cpphs.Position Methods showsPrec :: Int -> Posn -> ShowS # show :: Posn -> String # showList :: [Posn] -> ShowS #

newfile :: String -> Posn #

Constructor. Argument is filename.

addcol :: Int -> Posn -> Posn #

Increment column number by given quantity.

newline :: Posn -> Posn #

Increment row number, reset column to 1.

tab :: Posn -> Posn #

Increment column number, tab stops are every 8 chars.

newlines :: Int -> Posn -> Posn #

Increment row number by given quantity.

newpos :: Int -> Maybe String -> Posn -> Posn #

Update position with a new row, and possible filename.

cppline :: Posn -> String #

cpp-style printing of file position

haskline :: Posn -> String #

haskell-style printing of file position

cpp2hask :: String -> String #

Conversion from a cpp-style "#line" to haskell-style pragma.

filename :: Posn -> String #

Project the filename.

lineno :: Posn -> Int #

Project the line number.

directory :: Posn -> FilePath #

Project the directory of the filename.

cleanPath :: FilePath -> FilePath #

Sigh. Mixing Windows filepaths with unix is bad. Make sure there is a canonical path separator.