Copilot.Compile.C99.External

Deprecated: This module will be hidden in future versions.

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.