CSPM-Frontend-0.10.0.0: A CSP-M parser compatible with FDR-2.91

Copyright(c) Fontaine 2008
LicenseBSD
Maintainerfontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Language.CSPM.Utils

Description

Some Utilities

Synopsis

Documentation

eitherToExc :: Exception a => Either a b -> IO b Source

"eitherToExe" returns the Right part of Either or throws the Left part as an dynamic exception.

handleLexError :: (LexError -> IO a) -> IO a -> IO a Source

Handle a dymanic exception of type LexError.

handleParseError :: (ParseError -> IO a) -> IO a -> IO a Source

Handle a dymanic exception of type ParseError.

handleRenameError :: (RenameError -> IO a) -> IO a -> IO a Source

Handle a dymanic exception of type RenameError.

parseFile :: FilePath -> IO ModuleFromParser Source

Lex and parse a file and return a LModule, throw an exception in case of an error

benchmarkFrontend :: FilePath -> IO (ModuleFromParser, ModuleFromRenaming) Source

Lex and parse File. | Return the module and print some timing infos

parseString :: String -> IO ModuleFromParser Source

Small test function which just parses a String.