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

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

Main.ExceptionHandler

Description

ExceptionHandler for the command line interface

Synopsis

Documentation

handleException :: IO () -> IO ()Source

The top-level exception handler.