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

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

Language.CSPM.CompileAstToProlog

Description

Translation of an AST into Prolog terms, suitable for the ProB CSPM-Interpreter

Synopsis

Documentation

cspToProlog Source #

Arguments

:: ModuleFromRenaming

the renamed Module

-> Doc

prolog facts

Translate a LModule into a Doc containing a number of Prolog facts. The LModule must be a renamed,i.e. contain only unique Identifier.

mkSymbolTable :: AstAnnotation UniqueIdent -> Doc Source #

Translate a AstAnnotation with UnqiueIdentifier (i.e. a Symboltable) into a Doc containing Prolog facts

mkSrcLoc :: SrcLoc -> Term Source #

Translate a source location to Prolog