Language.CSPM.CompileAstToProlog

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

Documentation

cspToProlog

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

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

mkSrcLoc :: SrcLoc -> Term

Translate a source location to Prolog