{- |

Module : $Id$

Description : Parser for CspCASL specifications

Copyright : (c)

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer : a.m.gimblett@swan.ac.uk

Stability : experimental

Portability :

Parser for CSP-CASL specifications.

-}

module CspCASL.Parse_CspCASL (

cspBasicSpec

) where

import Control.Monad (liftM)

import Text.ParserCombinators.Parsec (many1, (<|>))

import Common.AnnoState (AParser, asKey, equalT)

import Common.Id (Id, mkId, mkSimpleId)

import Common.Token (parseId)

import CspCASL.AS_CspCASL

import CspCASL.CspCASL_Keywords

import CspCASL.Parse_CspCASL_Process

cspBasicSpec :: AParser st CspBasicSpec

cspBasicSpec = do pp <- processPart

return (CspBasicSpec [] pp)

processPart :: AParser st [PROC_EQ]

processPart = do asKey processS

peqs <- procEqs <|> liftM toDummyEq csp_casl_process

return peqs

where toDummyEq p = [(ProcEq dummyName p)]

dummyName = ParmProcname singletonProcessName []

-- Default name allocated to unnamed singleton processes.

singletonProcessName :: Id

singletonProcessName = mkId [(mkSimpleId "P")]

procEqs :: AParser st [PROC_EQ]

procEqs = many1 procEq

procEq :: AParser st PROC_EQ

procEq = do pn <- parmProcname

equalT

p <- csp_casl_process

return (ProcEq pn p)

parmProcname :: AParser st PARM_PROCNAME

parmProcname = do pn <- process_name

pa <- procArgs

return (ParmProcname pn pa)