SymbItems.hs revision 9d0567bda351efa4286f38e85fb3e41ecd3683ea
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederModule : $Header$
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian MaederDescription : syntactic csp-casl symbols
c092fcac4b8f5c524c22ca579189c4487c13edf7Christian MaederCopyright : (c) Christian Maeder, DFKI GmbH 2011
54ed6a6b1a6c7d27fadb39ec5b59d0806c81f7c8Christian MaederLicense : GPLv2 or higher, see LICENSE.txt
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiMaintainer : Christian.Maeder@dfki.de
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederStability : provisional
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiPortability : portable
0799b5dc3f06d2640e66e9ab54b8b217348fd719Christian Maederdata SymbItems = SymbItems SymbKind [Symb] deriving (Show, Eq)
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maederdata SymbMapItems = SymbMapItems SymbKind [SymbMap] deriving (Show, Eq)
fbc4f8708092d571a45cb483f37cc6b674da45a7Christian Maederdata SymbKind = CaslKind SYMB_KIND | ProcessKind | ChannelKind
fbc4f8708092d571a45cb483f37cc6b674da45a7Christian Maeder deriving (Show, Eq, Ord)
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till Mossakowskidata Symb = Symb Id (Maybe CspType)
c4451dc7da4a15726ba96179aecf046a5df5cae1Christian Maeder deriving (Show, Eq)
fa388aea9cef5f9734fec346159899a74432ce26Christian Maeder-- for channels with sorts we may re-use A_type that is ambiguous
0799b5dc3f06d2640e66e9ab54b8b217348fd719Christian Maederdata CspType = CaslType TYPE | ProcType ProcProfile deriving (Show, Eq)
dda5ab793f1615c1ba1dcaa97a4346b0878da6b1Christian Maederdata SymbMap = SymbMap Symb (Maybe Symb) deriving (Show, Eq)