Hets - the Heterogeneous Tool Set

Copyright(c) Andy Gimblett and Swansea University 2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainera.m.gimblett@swan.ac.uk
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CspCASL.CspCASL_Keywords

Description

String constants for CspCASL keywords to be used for parsing and printing.

Synopsis

Documentation

channelS :: String

Keywords identifying beginning of channel declaration part.

processS :: String

Keyword identifying beginning of process equation part.

runS :: String

RUN primitive process

chaosS :: String

CHAOS primitive process

divS :: String

"div" primitive process

skipS :: String

SKIP primitive process

stopS :: String

STOP primitive process

chan_sendS :: String

chan_receiveS :: String

svar_sortS :: String

doubleSemis :: String

startCspKeywords :: [String]

starting CSP-CASL keywords

cspKeywords :: [String]

Reserved keywords specific to CSP-CASL.