| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Command.Overview
Description
Produce an overview of the input files.
Synopsis
- command :: FilePath -> CommandOptions -> IO (Maybe CommandSummary, Result ErrorCode)
- data CommandOptions = CommandOptions {}
- data CommandSummary = CommandSummary {}
- type ErrorCode = Int
Documentation
Arguments
| :: FilePath | Path to a file containing a specification |
| -> CommandOptions | Customization options |
| -> IO (Maybe CommandSummary, Result ErrorCode) |
Generate overview of a spec given 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 overview application generator. The target
directory is writable and there's enough disk space to copy the files over.
data CommandOptions Source #
Options used to customize the interpretation of input specifications.
Constructors
| CommandOptions | |
Fields | |
data CommandSummary Source #
Constructors
| CommandSummary | |
Fields | |