Hets - the Heterogeneous Tool Set

Copyright	(c)
License	GPLv2 or higher, see LICENSE.txt
Maintainer	a.m.gimblett@swan.ac.uk
Stability	experimental
Portability	portable
Safe Haskell	None

CspCASL.Parse_CspCASL_Process

Description

Parser for CSP-CASL processes.

Synopsis

channel_name :: AParser st CHANNEL_NAME
parens :: AParser st a -> AParser st a
parenList :: AParser st a -> AParser st [a]
cspStartKeys :: [String]
cspSortId :: AParser st SORT
parseCspId :: AParser st Id
csp_casl_process :: AParser st PROCESS
event_set :: AParser st EVENT_SET
process_name :: AParser st FQ_PROCESS_NAME
var :: AParser st VAR
commType :: AParser st CommType
bracedList :: AParser st [CommType]
procDeclOrDefn :: AParser st (Either (FQ_PROCESS_NAME, [VAR]) (PROCESS_NAME, Either [SORT] [VAR_DECL], PROC_ALPHABET))

Documentation

channel_name :: AParser st CHANNEL_NAME Source #

parens :: AParser st a -> AParser st a Source #

parser for parens

parenList :: AParser st a -> AParser st [a] Source #

parser for comma-separated items in parens

cspStartKeys :: [String] Source #

cspSortId :: AParser st SORT Source #

parseCspId :: AParser st Id Source #

csp_casl_process :: AParser st PROCESS Source #

event_set :: AParser st EVENT_SET Source #

process_name :: AParser st FQ_PROCESS_NAME Source #

Parse a process name which can be a simple one or a fully qualified one.

var :: AParser st VAR Source #

commType :: AParser st CommType Source #

parse a sort or a sorted channel

bracedList :: AParser st [CommType] Source #

parse a possibly empty list of comm types within braces

procDeclOrDefn :: AParser st (Either (FQ_PROCESS_NAME, [VAR]) (PROCESS_NAME, Either [SORT] [VAR_DECL], PROC_ALPHABET)) Source #