[CallDependencies propagated to Hypotheses
martin.hofmann@uni-bamberg.de**20081121125730] hunk ./src/Data/Hypotheses.hs 29
-import Data.Fragments (RuleFrag, RuleFrags,name, frag, covr, opos, isOpen)
+import Data.Fragments (RuleFrag, RuleFrags,name, frag, covr, opos)
hunk ./src/Data/Hypotheses.hs 32
+import Data.CallDependencies (CallDep)
+import qualified Data.CallDependencies as D
hunk ./src/Data/Hypotheses.hs 41
-                , clsd :: Map Name Rules
+                , clsd :: Map Name Rules -- function name and names of dependent functions
+                , callings :: CallDep
hunk ./src/Data/Hypotheses.hs 51
-    show (HH o c) = showString "Hypo(o" .
+    show (HH o c cs) = showString "Hypo(o" .
hunk ./src/Data/Hypotheses.hs 71
-hypo ro  = HH ro M.empty
+hypo ro  = HH ro M.empty D.empty
hunk ./src/Data/Hypotheses.hs 76
-extend rf (HH open clsd) 
-    | isOpen rf  = HH (F.insert rf open) clsd
-    | otherwise  = HH open $ M.alter (R.insertM (frag rf)) (name rf) clsd
+extend rf (HH open clsd clls) 
+    | F.isOpen rf  = HH (F.insert rf open) clsd clls
+    | otherwise  = HH open (M.alter (R.insertM (frag rf)) (name rf) clsd) clls
hunk ./src/Data/Hypotheses.hs 81
-shrink rf (HH open clsd) 
-    | isOpen rf  = HH (F.delete rf open) clsd
-    | otherwise  = HH open $ M.alter (R.deleteM (frag rf)) (name rf) clsd
-    
+shrink rf (HH open clsd clls) 
+    | F.isOpen rf  = HH (F.delete rf open) clsd clls
+    | otherwise  = HH open (M.alter (R.deleteM (frag rf)) (name rf) clsd) clls
hunk ./src/Data/Hypotheses.hs 113
-
hunk ./src/Data/Hypotheses.hs 116
-
hunk ./src/Data/Hypotheses.hs 122
-