Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
An API for the Interpreter.
- 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 ValueSource
Load a specification from a file and evaluate an expression in the context.
getAllEvents :: Env -> ClosureSetSource
prepareAST :: LModule -> LModuleSource
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 ValueSource