Language.CSPM.Parser

This modules defines a Parser for CSP-M

Documentation

parse :: SourceName -> [Token] -> Either ParseError ModuleFromParser

The parse function parses a List of Token. It returns a ParseError or a Labled Module. The SourceName argument is currently not used.

data ParseError

ParseError data type. This is an instance of Excpetion

Constructors

ParseError

Fields

parseErrorMsg :: String

parseErrorToken :: Token

parseErrorPos :: AlexPosn

Instances

Show ParseError

Exception ParseError

Typeable * ParseError

testParser :: PT a -> [Token] -> Either ParseError a

Wrapper for testing sub parsers

parseExp :: PT LExp

Parser for CSP-M expressions

parsePattern :: PT LPattern

Parser for CSP-M patterns

type PT a = GenParser Token PState a

PT is an alias for the ParserType