CSPM-cspm-0.5.6.0: cspm command line tool for analyzing CSPM specifications.

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

Main.Args

Description

Argument parser for the command line interface

Synopsis

Documentation

data Args Source

Constructors

Info 

Fields

verbose :: Bool
 
Eval 

Fields

evalContext :: Maybe FilePath
 
evalExpr :: String
 
verbose :: Bool
 
Trace 

Fields

src :: FilePath
 
entry :: String
 
verbose :: Bool
 
LTS 

Fields

src :: FilePath
 
timeout :: Maybe Double
 
dfs :: Bool
 
entry :: String
 
fdrOut :: Maybe FilePath
 
dotOut :: Maybe FilePath
 
verbose :: Bool
 
Assert 

Fields

src :: FilePath
 
verbose :: Bool
 
Translate 

Fields

src :: FilePath
 
rename :: Bool
 
xmlOut :: Maybe FilePath
 
prettyOut :: Maybe FilePath
 
addUnicode :: Maybe FilePath
 
removeUnicode :: Maybe FilePath
 
prologOut :: Maybe FilePath
 
Lua 

Fields

file :: FilePath
 
rest :: [String]
 

Instances

argParser :: Mode (CmdArgs Args)Source

Command line argument parser using cmdargs library.