CspCASL_Keywords.hs revision b0df8127f4b6cf5d0be8e72014c39d5c57a8d45a
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModule : $Header$
5d801400993c9671010d244646936d8fd435638cChristian MaederDescription : CspCASL keywords to be used for parsing and printing
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCopyright : (c) Andy Gimblett and Swansea University 2006
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceLicense : GPLv2 or higher, see LICENSE.txt
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceMaintainer : a.m.gimblett@swan.ac.uk
5d801400993c9671010d244646936d8fd435638cChristian MaederStability : provisional
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancePortability : portable
aa0ca44e856c87db27e61687cbb630f270976da1Felix Gabriel ManceString constants for CspCASL keywords to be used for parsing and
dc8c83e9922e4746c192916565f3522418534f3aFelix Gabriel Mance-- | Keywords identifying beginning of channel declaration part.
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancechannelS :: String
feab1106bbee4f2ea2fd48bca7106dd041e4211dFelix Gabriel MancechannelS = "channel"
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mance-- | Keyword identifying beginning of process equation part.
b1162cc13e8371724e3382ae6d1cfdeb43891fbbChristian MaederprocessS :: String
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceprocessS = "process"
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance-- | "RUN" primitive process
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance-- | "CHAOS" primitive process
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancechaosS :: String
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancechaosS = "CHAOS"
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance-- | "div" primitive process
0ec1551231bc5dfdcb3f2bd68fec7457fade7bfdFelix Gabriel Mance-- | "SKIP" primitive process
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceskipS :: String
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederskipS = "SKIP"
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance-- | "STOP" primitive process
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel MancestopS :: String
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mancechan_sendS :: String
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mancechan_sendS = "!"
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mancechan_receiveS :: String
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mancechan_receiveS = "?"
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian Maedersvar_sortS :: String
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian Maedersvar_sortS = "::"
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2Felix Gabriel MancedoubleSemis :: String
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancedoubleSemis = ";;"
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance-- | starting CSP-CASL keywords
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederstartCspKeywords :: [String]
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancestartCspKeywords =
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance , channelS ++ "s"
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance , processS ++ "es" ]
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance-- | Reserved keywords specific to CSP-CASL.
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel MancecspKeywords :: [String]
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancecspKeywords = startCspKeywords ++
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance [ -- sequentialS
852bd6145634dc2832b61c44678fe539bc1682d5Christian Maeder doubleSemis -- we add this as alternative sequential composition operator
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mance , interleavingS
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance , synchronousS
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance{- , genpar_openS
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance , genpar_closeS -}
852bd6145634dc2832b61c44678fe539bc1682d5Christian Maeder-- , alpar_sepS -- is identical to synchronousS
852bd6145634dc2832b61c44678fe539bc1682d5Christian Maeder , alpar_closeS
852bd6145634dc2832b61c44678fe539bc1682d5Christian Maeder-- , external_choiceS
ea3f858eb531d981df3ed00beeadd99cf025adecChristian Maeder , internal_choiceS
ea3f858eb531d981df3ed00beeadd99cf025adecChristian Maeder , prefix_procS
ea3f858eb531d981df3ed00beeadd99cf025adecChristian Maeder , hiding_procS
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mance{- , ren_proc_openS
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2Felix Gabriel Mance , ren_proc_closeS -}
52991d9b46a98ad6a9020421a3244950b0f8a522Felix Gabriel Mance , barS -- in case we want to use it within generialized parallel
75aaf82c430ad2a5cf159962b1c5c09255010fb4Felix Gabriel Mance{- , chan_sendS
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mance , chan_receiveS
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mance , svar_sortS -}