SymbItems.hs revision 3b48e17c1da54ee669e70b626d9fbc32ce495b2c
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannModule : $Header$
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannDescription : syntactic csp-casl symbols
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannCopyright : (c) Christian Maeder, DFKI GmbH 2011
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannLicense : GPLv2 or higher, see LICENSE.txt
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannMaintainer : Christian.Maeder@dfki.de
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannStability : provisional
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPortability : portable
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanndata SymbItems = SymbItems SymbKind [Symb] deriving (Show, Eq)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanndata SymbMapItems = SymbMapItems SymbKind [SymbMap] deriving (Show, Eq)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanndata SymbKind = CaslKind SYMB_KIND | ProcessKind | ChannelKind
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann deriving (Show, Eq, Ord)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanndata Symb = CspSymb Id (Maybe CspType)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann deriving (Show, Eq)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann-- for channels with sorts we may re-use A_type that is ambiguous
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanndata CspType = CaslType TYPE | ProcType ProcProfile deriving (Show, Eq)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanndata SymbMap = SymbMap Symb (Maybe Symb) deriving (Show, Eq)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanninstance Pretty SymbItems
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanninstance Pretty SymbMapItems