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

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

Main.ExecCommand

Description

Comand line interface for the CSPM tools.

Synopsis

Documentation

execCommand :: Args -> IO ()Source

execute the command according to command line arguments

mkProcess :: FilePath -> String -> IO (Process, Sigma)Source