ogma-core-1.7.0: Ogma: Helper tool to interoperate between Copilot and other languages.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Command.Standalone

Description

Transform a specification into a standalone Copilot specification.

Synopsis

Documentation

command Source #

Arguments

:: CommandOptions

Customization options

-> IO (Result ErrorCode) 

Generate a new standalone Copilot monitor that implements the spec in an input file.

PRE: The file given is readable, contains a valid file with recognizable format, the formulas in the file do not use any identifiers that exist in Copilot, or any of prop, clock, ftp, notPreviousNot. All identifiers used are valid C99 identifiers. The template, if provided, exists and uses the variables needed by the standalone application generator. The target directory is writable and there's enough disk space to copy the files over.

commandLogic :: FilePath -> String -> [(String, String)] -> ExprPairT a -> Spec a -> ExceptT ErrorTriplet IO AppData Source #

Generate the data of a new standalone Copilot monitor that implements the spec, using a subexpression handler.

data AppData Source #

Data that may be relevant to generate a ROS application.

Instances

Instances details
ToJSON AppData Source # 
Instance details

Defined in Command.Standalone

Generic AppData Source # 
Instance details

Defined in Command.Standalone

Associated Types

type Rep AppData :: Type -> Type Source #

type Rep AppData Source # 
Instance details

Defined in Command.Standalone

data CommandOptions Source #

Options used to customize the conversion of specifications to Copilot code.

Constructors

CommandOptions 

Fields

type ErrorCode = Int Source #

Encoding of reasons why the command can fail.