SymbItems.hs revision 20bd79f8844604c145510c616fecdaf47eba2fdb
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maederdata SymbItems = SymbItems SymbKind [Symb] deriving (Show, Eq)
9f87aabedf02d74917d94fe1ac0300e07d3d4bc2Christian Maederdata SymbMapItems = SymbMapItems SymbKind [SymbMap] deriving (Show, Eq)
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskidata SymbKind = CaslKind SYMB_KIND | ProcessKind | ChannelKind
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maeder deriving (Show, Eq, Ord)
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maederdata Symb = Symb Id (Maybe SymbType)
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowski deriving (Show, Eq)
5c602504f85bbac7ddf0226064452bdc7d4a8cd8Till Mossakowski-- for channels with sorts we may re-use A_type that is ambiguous
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskidata SymbType = CaslType TYPE | ProcType ProcProfile deriving (Show, Eq)
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskidata SymbMap = SymbMap Symb (Maybe Symb) deriving (Show, Eq)