Copyright | (c) Fontaine 2008 - 2011 |
---|---|
License | BSD3 |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
This is mainly useful for testing the functional sub language. This module does not allow tracing of processes (tracing is implemented in an other package).
runFile
loads a CSPM-specification from a file and evaluates an expression in
the context of that specification.
Example:
runFile
fib.csp fib(10)
where the file fib.csp contains: fib(x)= if x <2 then 1 else fib(x-1)+fib(x-2)
runFile
writes to stdout
and handles some exceptions.
Documentation
Load a specification from a file and evaluate an expression in the context.
Print the result to stdout
and handle some exceptions.