| Portability | GHC-only |
|---|---|
| Stability | experimental |
| Maintainer | Fontaine@cs.uni-duesseldorf.de |
CSPM.Interpreter
Description
An API for the Interpreter.
- runFile :: FilePath -> String -> IO ()
- evalString :: Bool -> String -> String -> String -> IO (Value, Env)
- evalFile :: Bool -> Maybe FilePath -> String -> IO (Value, Env)
- getSigma :: Env -> Sigma
- prepareAST :: ModuleFromRenaming -> Module INT
- runInterpreter :: Module INT -> UniqueIdent -> (Value, Env)
- runInterpreterP :: Module INT -> UniqueIdent -> (Process, Env)
- module CSPM.Interpreter.Types
- lookupIdent :: LIdent -> EM Value
- bindIdent :: LIdent -> Value -> Bindings -> Bindings
- emptyBindings :: Bindings
- lookupAllChannels :: EM [Channel]
- interpreterVersion :: Version
Documentation
Load a specification from a file and evaluate an expression in the context.
Print the result to stdout and handle some exceptions.
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
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
runInterpreter :: Module INT -> UniqueIdent -> (Value, Env)Source
Run the interpreter for a given module and top-level identifier.
runInterpreterP :: Module INT -> UniqueIdent -> (Process, Env)Source
Run the interpreter for a given module and top-level identifier. Cast result to a process
module CSPM.Interpreter.Types
lookupIdent :: LIdent -> EM ValueSource
interpreterVersion :: VersionSource
The version of the CSPM-Interpreter library