CSPM-Interpreter-0.3.0.0: An interpreter for CSPM Source code Contents Index

CSPM.Interpreter Portability GHC-only Stability experimental Maintainer Fontaine@cs.uni-duesseldorf.de

Description

An API for the Interpreter.

Synopsis

runFile :: FilePath -> String -> IO () evalTest :: FilePath -> String -> IO Value getAllEvents :: Env -> ClosureSet prepareAST :: LModule -> LModule runInterpreter :: LModule -> UniqueIdent -> (Value, Env) runInterpreterP :: LModule -> UniqueIdent -> (Process, Env) module CSPM.Interpreter.Types lookupIdent :: LIdent -> EM Value bindIdent :: LIdent -> Value -> Bindings -> Bindings emptyBindings :: Bindings lookupAllChannels :: EM [Channel] module CSPM.Interpreter.CoreInstances

Documentation

runFile :: FilePath -> String -> IO () Source

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

evalTest :: FilePath -> String -> IO Value Source

Load a specification from a file and evaluate an expression in the context.

getAllEvents :: Env -> ClosureSet Source

prepareAST :: LModule -> LModule Source

runInterpreter :: LModule -> UniqueIdent -> (Value, Env) Source

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

runInterpreterP :: LModule -> 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 Value Source

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

emptyBindings :: Bindings Source

lookupAllChannels :: EM [Channel] Source

module CSPM.Interpreter.CoreInstances

Produced by Haddock version 2.6.1