AS_CspCASL.der.hs revision fbc0c2baf563fe5b664f0152674a8d3acecca58c
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederDescription : Abstract syntax fo CspCASL
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederCopyright : (c) Markus Roggenbach and Till Mossakowski and Uni Bremen 2004
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuMaintainer : a.m.gimblett@swan.ac.uk
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederStability : provisional
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederPortability : portable
351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian MaederAbstract syntax of CSP-CASL processes.
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederimport CASL.AS_Basic_CASL (SORT, VAR)
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederimport CspCASL.AS_CspCASL_Process (CHANNEL_NAME, PROCESS, PROCESS_NAME)
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder-- DrIFT command
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder{-! global: UpPos !-}
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederdata CspBasicSpec = CspBasicSpec
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder { channels :: [CHANNEL_DECL]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder , proc_items :: [PROC_ITEM]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder } deriving Show
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederdata CHANNEL_DECL = ChannelDecl [CHANNEL_NAME] SORT
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder deriving Show
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederdata PROC_ITEM = ProcDecl PROCESS_NAME PROC_ARGS PROC_ALPHABET
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder | ProcEq PARM_PROCNAME PROCESS
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder deriving Show
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maedertype PROC_ARGS = [SORT]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederdata PARM_PROCNAME = ParmProcname PROCESS_NAME [VAR]
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder deriving Show
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maederdata PROC_ALPHABET = ProcAlphabet [SORT] [CHANNEL_NAME] Range
351391e0e3226210e7ffb183b334da9f96de36eaChristian Maeder deriving Show