Changeset 11231 for trunk/CspCASL/Morphism.hs

Timestamp:

07.01.2009 14:48:37 (11 months ago)

Author:

csliam

Message:

Static analysis of CspCASL now adds channel names and process names to the collected symbols (stored in the CASL signature)

Files:

• trunk/CspCASL/Morphism.hs (modified) (2 diffs)

trunk/CspCASL/Morphism.hs

@@ -12 +12 @@
 -}
 
-module CspCASL.Morphism where
+module CspCASL.Morphism ( symOf,
+                          makeChannelNameSymbol,
+                          makeProcNameSymbol
+                        ) where
 
 import CASL.Sign
-import CASL.Morphism as CASL_Morphism
+import qualified CASL.Morphism as CASL_Morphism
 import Common.Id(simpleIdToId)
+import CspCASL.AS_CspCASL_Process (CHANNEL_NAME, PROCESS_NAME)
 import CspCASL.SignCSP
 
 import qualified Data.Map as Map
 import qualified Data.Set as Set
+
+channelNameSymbType :: SymbType
+channelNameSymbType = OtherTypeKind "CHANNEL_KIND"
+
+processNameSymbType :: SymbType
+processNameSymbType = OtherTypeKind "PROC_NAME_KIND"
 
 -- | Calculate the set of symbols for a CspCASL signature
@@ -29 +39 @@
         chanNames = Set.fromList $ Map.keys (chans cspExt) -- Get the channel names
         procNames = Set.fromList $ Map.keys (procSet cspExt) -- Get the process names
-        mkChanSymbol c = Symbol {
-                           symName = simpleIdToId c,
-                           symbType = OtherTypeKind "CHANNEL_KIND"
-                         }
-        mkProcNameSymbol p = Symbol {
-                               symName = simpleIdToId p,
-                               symbType = OtherTypeKind "PROC_NAME_KIND"
-                             }
         -- Make channel symbols from names
-        chanSymbols = Set.map mkChanSymbol chanNames
+        chanNameSymbols = Set.map makeChannelNameSymbol chanNames
         -- Make process name symbols from names
-        procNameSymbols = Set.map mkProcNameSymbol procNames
-    in Set.unions [caslSymbols, chanSymbols, procNameSymbols]
+        procNameSymbols = Set.map makeProcNameSymbol procNames
+    in Set.unions [caslSymbols, chanNameSymbols, procNameSymbols]
+
+makeChannelNameSymbol :: CHANNEL_NAME -> Symbol
+makeChannelNameSymbol c =
+    Symbol {symName = simpleIdToId c, symbType = channelNameSymbType}
+
+makeProcNameSymbol :: PROCESS_NAME -> Symbol
+makeProcNameSymbol p =
+    Symbol {symName = simpleIdToId p, symbType = processNameSymbType}