AS_CspCASL.der.hs revision 90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b
{- |
Module : $Id$
Description : Abstract syntax fo CspCASL
Copyright : (c) Markus Roggenbach and Till Mossakowski and Uni Bremen 2004
License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
Maintainer : a.m.gimblett@swan.ac.uk
Stability : provisional
Portability : portable
Abstract syntax of CSP-CASL processes.
-}
module CspCASL.AS_CspCASL where
import Common.Id
import CASL.AS_Basic_CASL (SORT, VAR)
import CspCASL.AS_CspCASL_Process (CHANNEL_NAME, COMM_TYPE, PROCESS(..),
PROCESS_NAME)
import Common.Id
-- DrIFT command
{-! global: GetRange !-}
data CspBasicSpec = CspBasicSpec
{ channels :: [CHANNEL_DECL]
, proc_items :: [PROC_ITEM]
} deriving Show
data CHANNEL_DECL = ChannelDecl [CHANNEL_NAME] SORT
deriving Show
data PROC_ITEM = Proc_Decl PROCESS_NAME PROC_ARGS PROC_ALPHABET
| Proc_Eq PARM_PROCNAME PROCESS
deriving Show
type PROC_ARGS = [SORT]
data PARM_PROCNAME = ParmProcname PROCESS_NAME [VAR]
deriving Show
data PROC_ALPHABET = ProcAlphabet [COMM_TYPE] Range
deriving Show
-- Sentences
data CspCASLSentence = CspCASLSentence PROCESS_NAME [VAR] PROCESS
deriving (Show, Eq, Ord)
emptyProcName :: PROCESS_NAME
emptyProcName = mkSimpleId "empty"
emptyCCSentence :: CspCASLSentence
emptyCCSentence = CspCASLSentence emptyProcName [] (NamedProcess emptyProcName [] nullRange)