copilot-1.0.2: A stream DSL for writing embedded C monitors.
Language.Copilot.AtomToC
Description
Defines a main() and print statements to easily execute generated Copilot specs.
getPrePostCode :: Bool -> (Maybe String, Maybe String) -> Name -> StreamableMaps Spec -> [Exs] -> [(Ext, Int)] -> Vars -> Period -> (String, String)Source