CspCASL_Keywords.hs revision e071fb22ea9923a2a4ff41184d80ca46b55ee932
e071fb22ea9923a2a4ff41184d80ca46b55ee932Till MossakowskiDescription : CspCASL keywords to be used for parsing and printing
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettCopyright : (c) Andy Gimblett and Swansea University 2006
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettMaintainer : a.m.gimblett@swan.ac.uk
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettStability : provisional
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettPortability : portable
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettString constants for CspCASL keywords to be used for parsing and
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettimport Common.Token (casl_reserved_words)
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Keyword identifying beginning of data part of CSP-CASL spec.
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettdataS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettdataS = "data"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Keyword identifying beginning of process part of CSP-CASL spec.
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettprocessS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettprocessS = "process"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | interleaving parallel operator
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettinterleavingS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettinterleavingS = "|||"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | synchronous parallel operator
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettsynchronousS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettsynchronousS = "||"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Open generalised parallel
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettgeneral_parallel_openS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettgeneral_parallel_openS = "[|"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Close generalised parallel
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettgeneral_parallel_closeS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettgeneral_parallel_closeS = "|]"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Open alpabetised parallel
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettalpha_parallel_openS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettalpha_parallel_openS = "["
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Separator in alpabetised parallel
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettalpha_parallel_sepS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettalpha_parallel_sepS = "||"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Close alpabetised parallel
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettalpha_parallel_closeS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettalpha_parallel_closeS = "]"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | External choice
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettexternal_choiceS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettexternal_choiceS = "[]"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Internal choice
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettinternal_choiceS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettinternal_choiceS = "|~|"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Semicolon (sequences of processes)
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettsemicolonS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettsemicolonS = ";"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Prefix processes
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettprefixS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettprefixS = "->"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | External prefix opener
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettexternal_prefixS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettexternal_prefixS = "[]"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Internal prefix opener
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettinternal_prefixS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettinternal_prefixS = "|~|"
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimbletthidingS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimbletthidingS = "\\"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Open a renaming
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettrenaming_openS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettrenaming_openS = "[["
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Close a renaming
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettrenaming_closeS :: String
29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4Andy Gimblettrenaming_closeS = "]]"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Open parentheses
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettparens_openS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettparens_openS = "("
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Close parentheses
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettparens_closeS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettparens_closeS = ")"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "RUN" primitive process
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettrunS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "CHAOS" primitive process
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettchaosS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettchaosS = "CHAOS"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "div" primitive process
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettdivS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "SKIP" primitive process
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettskipS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettskipS = "SKIP"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | "STOP" primitive process
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettstopS :: String
020cdb5dad6b871aba61136a0e1567c00426de87Andy GimblettstopS = "STOP"
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett-- | Reserved keywords specific to CSP-CASL.
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettcsp_casl_keywords :: [String]
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblettcsp_casl_keywords = casl_reserved_words ++
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett interleavingS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett synchronousS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett general_parallel_openS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett general_parallel_closeS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett alpha_parallel_openS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett alpha_parallel_sepS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett alpha_parallel_closeS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett external_choiceS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett internal_choiceS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett external_prefixS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett internal_prefixS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett renaming_openS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett renaming_closeS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett parens_openS,
020cdb5dad6b871aba61136a0e1567c00426de87Andy Gimblett parens_closeS,