-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | some modules specific for the ProB tool
--   
--   This package constains a translation from a CSPM AST to the
--   representation used by the ProB tool. This code is only interesting
--   for ProB developers.
@package CSPM-ToProlog
@version 0.4.0.0


-- | Translation of an AST into Prolog terms, suitable for the ProB
--   CSPM-Interpreter
module Language.CSPM.AstToProlog

-- | Translate a <a>LModule</a> into a <a>Doc</a> containing a number of
--   Prolog facts. The LModule must be a renamed,i.e. contain only unique
--   <a>Ident</a>ifier.
cspToProlog :: ModuleFromRenaming -> Doc

-- | Translate a <a>AstAnnotation</a> with <a>UnqiueIdentifier</a> (i.e. a
--   Symboltable) into a <a>Doc</a> containing Prolog facts
mkSymbolTable :: AstAnnotation UniqueIdent -> Doc

-- | Translate a source location to Prolog
mkSrcLoc :: SrcLoc -> Term


-- | Translate a CSPM-specification to Prolog. This is the interface used
--   by Prolog
module Language.CSPM.TranslateToProlog

-- | <a>translateToProlog</a> reads a CSPM specification from inFile and
--   writes the Prolog representation to outFile. It handles all lexer and
--   parser errors and catches all exceptions.
translateToProlog :: FilePath -> FilePath -> IO ()