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

Copyright(c) Fontaine 2010-2011
LicenseBSD3
MaintainerFontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Main.ExecCommand

Contents

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 #

Orphan instances