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.

cStateName :: String

Name of state variable structure. Default: state

cCode :: [Name] -> [Name] -> [(Name, Type)] -> (String, String)

Custom C code to insert above and below, given assertion names, coverage names, and probe names and types.

cRuleCoverage :: Bool

Enable rule coverage tracking.

cAssert :: Bool

Enable assertions and functional coverage.

cAssertName :: String

Name of assertion function. Type: void assert(int, bool, uint64_t);

cCoverName :: String

Name of coverage function. Type: void cover(int, bool, uint64_t);

writeC :: Name -> Config -> StateHierarchy -> [Rule] -> Schedule -> [Name] -> [Name] -> [(Name, Type)] -> IO RuleCoverage

defaults :: Config

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

cType :: Type -> String

C99 type naming rules.

type RuleCoverage = [(Name, Int, Int)]