CSPM.Interpreter

An API for the Interpreter.

Documentation

runFile

Arguments

:: FilePath

a file containing a CSPM specification

-> String

a CSPM expression

-> IO ()

Load a specification from a file and evaluate an expression in the context. Print the result to stdout and handle some exceptions.

evalString

Arguments

:: Bool

verbose output ?

-> String

String containg CSPM specification (may be empty)

-> String

name of the specification for error-reporting

-> String

a CSPM expression

-> IO (Value, Env)

Evaluate an expression, optionall load a context from a string

evalFile

Arguments

:: Bool

verbose output ?

-> Maybe FilePath

optional specification to load into context

-> String

a CSPM expression

-> IO (Value, Env)

Evaluate an expression, optionall load a context from a file

getSigma :: Env -> Sigma

prepareAST :: ModuleFromRenaming -> Module INT

runInterpreter :: Module INT -> UniqueIdent -> (Value, Env)

Run the interpreter for a given module and top-level identifier.

runInterpreterP :: Module INT -> UniqueIdent -> (Process, Env)

Run the interpreter for a given module and top-level identifier. Cast result to a process

module CSPM.Interpreter.Types

lookupIdent :: LIdent -> EM Value

bindIdent :: LIdent -> Value -> Bindings -> Bindings

emptyBindings :: Bindings

lookupAllChannels :: EM [Channel]

interpreterVersion :: Version

The version of the CSPM-Interpreter library