Changeset 11231 for trunk/CspCASL/StatAnaCSP.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/StatAnaCSP.hs (modified) (4 diffs)

trunk/CspCASL/StatAnaCSP.hs

@@ -29 +29 @@
 import CASL.Overload (minExpFORMULA, oneExpTerm)
 import CASL.Sign
-import CASL.Morphism (RawSymbol)
 import CASL.StaticAna (allOpIds, allPredIds)
 import Common.AS_Annotation
@@ -45 +44 @@
 import CspCASL.Print_CspCASL ()
 import CspCASL.SignCSP
+import CspCASL.Morphism(makeChannelNameSymbol, makeProcNameSymbol)
 
 import qualified Data.Set as Set
@@ -121 +121 @@
               return m
       else case Map.lookup chanName m of
-             Nothing -> return (Map.insert chanName s m) -- insert new.
+             Nothing ->
+                 -- Add the channel name as a symbol to the list of
+                 -- newly defined symbols - which is stored in the CASL
+                 -- signature
+                 do addSymbol (makeChannelNameSymbol chanName)
+                    return (Map.insert chanName s m) -- insert new.
              Just e ->
                if e == s
@@ -160 +165 @@
                 alpha <- Monad.foldM (anaCommType sig) S.empty commTypes
                 let profile = (ProcProfile argSorts alpha)
+                -- Add the process name as a symbol to the list of
+                -- newly defined symbols - which is stored in the CASL
+                -- signature
+                addSymbol (makeProcNameSymbol name)
                 return (Map.insert name profile oldProcDecls)
     vds <- gets envDiags