Copilot.Compile.C99.External

Represent information about externs needed in the generation of C99 code for stream declarations and triggers.

Documentation

data External

Representation of external variables.

Constructors

forall a. External

Fields

• extname :: String
• extcpyname :: String
• exttype :: Type a

extunion :: [External] -> [External] -> [External]

Union over lists of External, we solely base the equality on the extname's.

gatherexts :: [Stream] -> [Trigger] -> [External]

Collect all external variables from the streams and triggers.

Although Copilot specifications can contain also properties and theorems, the C99 backend currently only generates code for streams and triggers.