Atom C code generation.
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