CspCASL_Keywords.hs revision 2f06b54890375b6cac90394b80b07bd451d728fc
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder{- |
eb483f2216949400bfef8f6deb5320f071445626Christian MaederModule : $Id$
eb483f2216949400bfef8f6deb5320f071445626Christian MaederDescription : CspCASL keywords to be used for parsing and printing
eb483f2216949400bfef8f6deb5320f071445626Christian MaederCopyright : (c) Andy Gimblett and Swansea University 2006
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiMaintainer : a.m.gimblett@swan.ac.uk
eb483f2216949400bfef8f6deb5320f071445626Christian MaederStability : provisional
eb483f2216949400bfef8f6deb5320f071445626Christian MaederPortability : portable
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederString constants for CspCASL keywords to be used for parsing and
eb483f2216949400bfef8f6deb5320f071445626Christian Maederprinting.
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder-}
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedermodule CspCASL.CspCASL_Keywords where
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederimport Common.Token (casl_reserved_words)
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Keywords identifying beginning of channel declaration part.
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederchannelS, channelsS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederchannelS = "channel"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederchannelsS = "channels"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Keyword identifying beginning of process equation part.
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederprocessS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederprocessS = "process"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | interleaving parallel operator
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederinterleavingS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederinterleavingS = "|||"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | synchronous parallel operator
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaedersynchronousS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaedersynchronousS = "||"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Open generalised parallel
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedergeneral_parallel_openS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedergeneral_parallel_openS = "[|"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Close generalised parallel
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedergeneral_parallel_closeS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedergeneral_parallel_closeS = "|]"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Open alpabetised parallel
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederalpha_parallel_openS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederalpha_parallel_openS = "["
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Separator in alpabetised parallel
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederalpha_parallel_sepS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederalpha_parallel_sepS = "||"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Close alpabetised parallel
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederalpha_parallel_closeS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederalpha_parallel_closeS = "]"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | External choice
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederexternal_choiceS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederexternal_choiceS = "[]"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Internal choice
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederinternal_choiceS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederinternal_choiceS = "|~|"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Prefix processes
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederprefixS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederprefixS = "->"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | External prefix opener
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bbChristian Maederexternal_prefixS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederexternal_prefixS = "[]"
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bbChristian Maeder
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bbChristian Maeder-- | Internal prefix opener
42c01284bba8d7c8d995c8dfb96ace57d28ed1bcTill Mossakowskiinternal_prefixS :: String
35db0960aa2e2a13652381c756fae5fb2b27213bChristian Maederinternal_prefixS = "|~|"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
42c01284bba8d7c8d995c8dfb96ace57d28ed1bcTill Mossakowski-- | Hiding
9929f81562adecc8aafaefb14a0159afcf4a3351Christian MaederhidingS :: String
eb483f2216949400bfef8f6deb5320f071445626Christian MaederhidingS = "\\"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Open a renaming
eb483f2216949400bfef8f6deb5320f071445626Christian Maederrenaming_openS :: String
eb483f2216949400bfef8f6deb5320f071445626Christian Maederrenaming_openS = "[["
7325bbe03797fd413af504fb3fac109b2c652a7bChristian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | Close a renaming
eb483f2216949400bfef8f6deb5320f071445626Christian Maederrenaming_closeS :: String
eb483f2216949400bfef8f6deb5320f071445626Christian Maederrenaming_closeS = "]]"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder-- | "RUN" primitive process
eb483f2216949400bfef8f6deb5320f071445626Christian MaederrunS :: String
eb483f2216949400bfef8f6deb5320f071445626Christian MaederrunS = "RUN"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder-- | "CHAOS" primitive process
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till MossakowskichaosS :: String
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till MossakowskichaosS = "CHAOS"
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till Mossakowski
e33e3b425e953236b4617870f995d263ac35b883Christian Maeder-- | "div" primitive process
e33e3b425e953236b4617870f995d263ac35b883Christian MaederdivS :: String
e33e3b425e953236b4617870f995d263ac35b883Christian MaederdivS = "div"
3a3bbc51abf804d91bc9d8e0f2ce745cfae4c9c7Christian Maeder
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till Mossakowski-- | "SKIP" primitive process
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till MossakowskiskipS :: String
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till MossakowskiskipS = "SKIP"
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till Mossakowski
f624c6980131e5b0598e00e7d8b4acb9720f8996Christian Maeder-- | "STOP" primitive process
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till MossakowskistopS :: String
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till MossakowskistopS = "STOP"
f624c6980131e5b0598e00e7d8b4acb9720f8996Christian Maeder
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till Mossakowskichan_event_openS :: String
3a3bbc51abf804d91bc9d8e0f2ce745cfae4c9c7Christian Maederchan_event_openS = "{|"
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till Mossakowski
eb483f2216949400bfef8f6deb5320f071445626Christian Maederchan_event_closeS :: String
eb483f2216949400bfef8f6deb5320f071445626Christian Maederchan_event_closeS = "|}"
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder
083679daeba30fce9d60f7170a2cfd9f9c80bfb2Till Mossakowskichan_sendS :: String
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maederchan_sendS = "!"
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder
eb483f2216949400bfef8f6deb5320f071445626Christian Maederchan_receiveS :: String
1865083b72c1307e9040d78c2743abd5a54ee260Christian Maederchan_receiveS = "?"
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder-- | Reserved keywords specific to CSP-CASL.
eb483f2216949400bfef8f6deb5320f071445626Christian Maedercsp_casl_keywords :: [String]
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maedercsp_casl_keywords = casl_reserved_words ++
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder [ channelS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder channelsS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder processS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder interleavingS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder synchronousS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder general_parallel_openS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder general_parallel_closeS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder alpha_parallel_openS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder alpha_parallel_sepS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder alpha_parallel_closeS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder external_choiceS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder internal_choiceS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder prefixS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder external_prefixS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder internal_prefixS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder hidingS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder renaming_openS,
1509ea46b471bef1c5e70864fb1cfc0a5280266bChristian Maeder renaming_closeS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder runS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder chaosS,
afbd86903151121381e4e9d22862136817d7f0f0Christian Maeder divS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder skipS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder stopS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder chan_event_openS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder chan_event_closeS,
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder chan_sendS,
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder chan_receiveS
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder ]
eb483f2216949400bfef8f6deb5320f071445626Christian Maeder