CSPM-ToProlog-0.5.0.0: some modules specific for the ProB tool

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

Language.CSPM.TranslateToProlog

Description

Translate a CSPM-specification to Prolog. This is the interface used by Prolog

Synopsis

Documentation

toPrologVersion :: VersionSource

The version of the CSPM-ToProlog library

translateToPrologSource

Arguments

:: FilePath

filename input

-> FilePath

filename output

-> IO () 

translateToProlog reads a CSPM specification from inFile and writes the Prolog representation to outFile. It handles all lexer and parser errors and catches all exceptions.