Copilot.Compile.C99.Util

Deprecated: This module will be hidden in future versions.

Auxiliary helper functions to generate C99 code.

Documentation

type FunEnv = [Decln]

Auxiliary type used to collect all the declarations of all the variables used in a function to be generated, since variable declarations are always listed first at the top of the function body.

statetell :: Monoid m => m -> State m ()

tell equivalent for State.

fresh :: String -> [String] -> String

Generate fresh variable name based on a given one.

names :: [Decln] -> [String]

Collect all the names from a list of C99 declarations.

streamname :: Id -> String

Turn a stream id into a suitable C variable name.

indexname :: Id -> String

Turn a stream id into the global varname for indices.

streamaccessorname :: Id -> String

Turn a stream id into the name of its accessor function

excpyname :: String -> String

Add a postfix for copies of external variables the name.

generatorname :: Id -> String

Turn stream id into name of its generator function.

guardname :: String -> String

Turn the name of a trigger into a guard generator.

argname :: String -> Int -> String

Turn a trigger name into a an trigger argument name.

argnames :: String -> [String]

Enumerate all argument names based on trigger name.

funcall :: Ident -> [Expr] -> Expr

Define a C expression that calls a function with arguments.