Safe Haskell	None
Language	Haskell2010

Command.FPrimeApp

Description

Create FPrime components that subscribe to obtain data and call Copilot when new values arrive.

Synopsis

Documentation

Arguments

:: CommandOptions	Options to the ROS backend.
-> IO (Result ErrorCode)

Generate a new FPrime component connected to Copilot.

Options used to customize the conversion of specifications to F' applications.

Constructors

Fields

commandConditionExpr :: Maybe String
Trigger condition.
commandInputFile :: Maybe FilePath
Input specification file.
commandTargetDir :: FilePath
Target directory where the component should be created.
commandTemplateDir :: Maybe FilePath
Directory where the template is to be found.
commandVariables :: Maybe FilePath
File containing a list of variables to make available to Copilot.
commandVariableDB :: Maybe FilePath
File containing a list of known variables with their types and the message IDs they can be obtained from.
commandHandlers :: Maybe FilePath
File containing a list of handlers used in the Copilot specification. The handlers are assumed to receive no arguments.
commandFormat :: String
Format of the input file.
commandPropFormat :: String
Format used for input properties.
commandPropVia :: Maybe String
Use external command to pre-process system properties.
commandExtraVars :: Maybe FilePath
File containing additional variables to make available to the template.

Encoding of reasons why the command can fail.