Symbol.hs revision 3b48e17c1da54ee669e70b626d9fbc32ce495b2c
7abd0c58a5ce51db13f93de82407b2188d55d298Christian MaederModule : $Header$
94ceeb2edbd25b4697ddd9f63c94377924352cf4Christian MaederDescription : semantic csp-casl symbols
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCopyright : (c) Christian Maeder, DFKI GmbH 2011
7abd0c58a5ce51db13f93de82407b2188d55d298Christian MaederLicense : GPLv2 or higher, see LICENSE.txt
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiMaintainer : Christian.Maeder@dfki.de
7abd0c58a5ce51db13f93de82407b2188d55d298Christian MaederStability : provisional
7abd0c58a5ce51db13f93de82407b2188d55d298Christian MaederPortability : portable
7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maederdata CspSymbType
94ceeb2edbd25b4697ddd9f63c94377924352cf4Christian Maeder = CaslSymbType SymbType
94ceeb2edbd25b4697ddd9f63c94377924352cf4Christian Maeder | ProcAsItemType ProcProfile
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder | ChanAsItemType Id -- the SORT
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder deriving (Show, Eq, Ord)
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederdata CspSymbol = CspSymbol {cspSymName :: Id, cspSymbType :: CspSymbType}
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder deriving (Show, Eq, Ord)
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederdata CspRawSymbol = ACspSymbol CspSymbol | CspKindedSymb SymbKind Id
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder deriving (Show, Eq, Ord)
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederinstance Pretty CspSymbol
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederinstance GetRange CspSymbol
94ceeb2edbd25b4697ddd9f63c94377924352cf4Christian Maederinstance Pretty CspRawSymbol
94ceeb2edbd25b4697ddd9f63c94377924352cf4Christian Maederinstance GetRange CspRawSymbol