Language.Atom.Code

Atom C code generation.

Documentation

data Config

C code configuration parameters.

Constructors

Config

Fields

cFuncName :: String

Alternative primary function name. Leave empty to use compile name.

cType :: Type -> String

C type naming rules.

cPreCode :: String

C code to insert above (includes, macros, etc.).

cPostCode :: String

C code to insert below (main, etc.).

cRuleCoverage :: Bool

Enable rule coverage tracking.

cAssert :: Bool

Enable assertion checking.

cAssertName :: String

Name of assertion function. Type: void assert(char*, cType Bool);

cCover :: Bool

Enable functional coverage accumulation.

cCoverName :: String

Name of coverage function. Type: void cover(char*, cType Bool);

writeC :: Name -> Config -> [[[Rule]]] -> ([Const], [Const], [Const], [Const]) -> IO ()

ruleComplexity :: Rule -> Int

Number of UE's computed in rule.

defaults :: Config

Default C code configuration parameters (default function name, no pre/post code, ANSI C types).

cTypes :: Type -> String

ANSI C type naming rules.

c99Types :: Type -> String

C99 type naming rules.