CSPM-Interpreter-0.7.1.0: An interpreter for CSPM

Copyright(c) Fontaine 2008 - 2011
LicenseBSD3
MaintainerFontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

CSPM.Interpreter

Description

An API for the Interpreter.

Synopsis

Documentation

runFile Source #

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 Source #

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 Source #

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

interpreterVersion :: Version Source #

The version of the CSPM-Interpreter library