020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett{- |

8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy GimblettModule : $Id$

e071fb22ea9923a2a4ff41184d80ca46b55ee932Till MossakowskiDescription : CspCASL keywords to be used for parsing and printing

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCopyright : (c) Andy Gimblett and Swansea University 2006

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettMaintainer : a.m.gimblett@swan.ac.uk

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettStability : provisional

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettPortability : portable

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettString constants for CspCASL keywords to be used for parsing and

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettprinting.

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-}

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettmodule CspCASL.CspCASL_Keywords where

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblettimport Common.Keywords

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettimport Common.Token (casl_reserved_words)

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblett-- | Keywords identifying beginning of channel declaration part.

9f93b2a8b552789cd939d599504d39732672dc84Christian MaederchannelS :: String

9f93b2a8b552789cd939d599504d39732672dc84Christian MaederchannelS = "channel"

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblett

04ceed96d1528b939f2e592d0656290d81d1c045Andy Gimblett-- | Keyword identifying beginning of process equation part.

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettprocessS :: String

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettprocessS = "process"

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "RUN" primitive process

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettrunS :: String

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettrunS = "RUN"

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "CHAOS" primitive process

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettchaosS :: String

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettchaosS = "CHAOS"

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "div" primitive process

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettdivS :: String

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy GimblettdivS = "DIV"

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "SKIP" primitive process

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettskipS :: String

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettskipS = "SKIP"

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "STOP" primitive process

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettstopS :: String

020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettstopS = "STOP"

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblettchan_sendS :: String

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblettchan_sendS = "!"

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblettchan_receiveS :: String

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblettchan_receiveS = "?"

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett

a09bfcbcb0fba5663fca1968aa82daebf2e092c4Andy Gimblettsvar_sortS :: String

ac5ec613b786cd05f495b568ab5214c31a333e67Andy Gimblettsvar_sortS = "::"

a09bfcbcb0fba5663fca1968aa82daebf2e092c4Andy Gimblett

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Reserved keywords specific to CSP-CASL.

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettcsp_casl_keywords :: [String]

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettcsp_casl_keywords = casl_reserved_words ++

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblett [ channelS,

9f93b2a8b552789cd939d599504d39732672dc84Christian Maeder channelS ++ sS,

f909337bf7012aca169c0b56b89efbd4a310f8daAndy Gimblett processS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett sequentialS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett interleavingS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett synchronousS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett genpar_openS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett genpar_closeS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett alpar_openS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett alpar_sepS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett alpar_closeS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett external_choiceS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett internal_choiceS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett prefix_procS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett hiding_procS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett ren_proc_openS,

20ed727452613e36c0a95ddabf7ecc81cf941ed2Andy Gimblett ren_proc_closeS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett runS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett chaosS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett divS,

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett skipS,

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett stopS,

2f06b54890375b6cac90394b80b07bd451d728fcAndy Gimblett chan_sendS,

a09bfcbcb0fba5663fca1968aa82daebf2e092c4Andy Gimblett chan_receiveS,

a09bfcbcb0fba5663fca1968aa82daebf2e092c4Andy Gimblett svar_sortS

020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett ]