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

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

Language.CSPM.AstToProlog

Description

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

Synopsis

Documentation

cspToPrologSource

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 -> DocSource

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

mkSrcLoc :: SrcLoc -> TermSource

Translate a source location to Prolog