Atom C code generation.
- data Config = Config {
- cFuncName :: String
- cStateName :: String
- cCode :: [Name] -> [Name] -> [(Name, Type)] -> (String, String)
- cRuleCoverage :: Bool
- cAssert :: Bool
- cAssertName :: String
- cCoverName :: String
- hardwareClock :: Maybe Clock
- data Clock = Clock {}
- writeC :: Name -> Config -> StateHierarchy -> [Rule] -> Schedule -> [Name] -> [Name] -> [(Name, Type)] -> IO RuleCoverage
- defaults :: Config
- defaultClock :: Clock
- cType :: Type -> String
- type RuleCoverage = [(Name, Int, Int)]
Documentation
C code configuration parameters.
Config | |
|
Data associated with sampling a hardware clock. For the clock to work
correctly, you MUST assign __global_clock
the current time (accoring to
clockName
) the first time you enter the main Atom-generated function
calling your rules.
Clock | |
|
writeC :: Name -> Config -> StateHierarchy -> [Rule] -> Schedule -> [Name] -> [Name] -> [(Name, Type)] -> IO RuleCoverageSource
Default C code configuration parameters (default function name, no pre/post code, ANSI C types).
type RuleCoverage = [(Name, Int, Int)]Source