Changeset [8f7d2e0fd5068fcf74d12c94afbcfdb045f7f58c] by Douglas Creager

November 6th, 2008 @ 09:33 PM

Basic CSPM parser and command-line utility

This patch introduces a initial, basic CSPM parser. It does not yet support the entire CSPM language, or even the entire subset of the language that our underlying evaluation engine can handle. We can handle most basic expressions, except for those operations which are implemented as built-in functions in CSPM.

We've also created a “cspm” command-line utility, which parallels the existing “csp0” utility. Currently, it only supports one command — “evaluate”. This command loads in a CSPM script (either from a file or specified on the command line), and evaluates a list of expressions in terms of that script. While a useful utility in its own right, this will also serve as the basis for a CSPM evaluation test suite. http://github.com/dcreager/hst/c...

Committed by Douglas Creager

  • M cspm/HST.cabal
  • M cspm/src/HST/CSPM.hs
  • M cspm/src/HST/CSPM/Lexer.lhs
  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/src/HST/CSPM/Tool.lhs
  • M cspm/src/HST/CSPM/Tool/Command.lhs
  • M cspm/src/HST/CSPM/Tool/Evaluate.lhs
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.