Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Language.CSPM.AstToProlog
Description
Translation of an AST into Prolog terms, suitable for the ProB CSPM-Interpreter
- cspToProlog :: ModuleFromRenaming -> Doc
- mkSymbolTable :: AstAnnotation UniqueIdent -> Doc
- mkSrcLoc :: SrcLoc -> Term
Documentation
Arguments
:: ModuleFromRenaming | the renamed Module |
-> Doc | prolog facts |
mkSymbolTable :: AstAnnotation UniqueIdent -> DocSource
Translate a AstAnnotation with UnqiueIdentifier (i.e. a Symboltable) into a Doc containing Prolog facts