{- |

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 CASL.AS_Basic_CASL (SORT, VAR)

import CspCASL.AS_CspCASL_Process (CHANNEL_NAME, PROCESS, PROCESS_NAME)

-- DrIFT command

{-! global: UpPos !-}

data CspBasicSpec = CspBasicSpec

{ channels :: [CHANNEL_DECL]

, proc_items :: [PROC_ITEM]

} deriving Show

data CHANNEL_DECL = ChannelDecl

{ channelNames :: [CHANNEL_NAME],

channelSort :: SORT

} deriving Show

data PROC_ITEM = ProcDecl PROCESS_NAME PROC_ARGS PROC_ALPHABET

| ProcEq PARM_PROCNAME PROCESS

deriving Show

type PROC_ARGS = [SORT]

data PARM_PROCNAME = ParmProcname PROCESS_NAME [VAR]

deriving Show

data PROC_ALPHABET = ProcAlphabet

{ commSorts :: [SORT]

, commChans :: [CHANNEL_NAME]

} deriving Show