[compute allowed calls from a CallDep
martin.hofmann@uni-bamberg.de**20090506151922] hunk ./src/Data/CallDependencies.hs 6
-        admissible, allowedCalls
+        admissible, allowedMaxCall
hunk ./src/Data/CallDependencies.hs 129
---getAdmissibles :: Name -> CallDep -> [[LNode l]] --[Call]
-allowedCalls :: Name -> CallDep -> Map Name [Ordering]
-allowedCalls n (CD cs ns) =
+
+allowedMaxCall :: Name                 
+                -- ^the name of the calling function
+                -> CallDep              
+                -- ^existing call dependencies 
+                -> Map Name (Maybe Ordering)
+                -- ^ name 'n' and ordering 'o' pairs, 'n' is the name of a 
+                --   function in the context of the given 'CalLDep' and 'o' is
+                --   its the maximal allowed change of the argument size. For
+                --   'o' values following chnages are allowed: 
+                --      Just GT --> GT, EQ, LT
+                --      Just EQ --> EQ, LT
+                --      Just LT --> LT
+                --      Nothing --> not allowed to call
+allowedMaxCall n (CD cs ns) =
hunk ./src/Data/CallDependencies.hs 154
-        (Just n,GT)  -> [(n, [])]
-        (Just n,EQ)  -> [(n, [LT])]
-        (Just n,LT)  -> [(n, [LT,EQ])]
+        (Just n,GT)  -> [(n, Nothing)]
+        (Just n,EQ)  -> [(n, Just LT)]
+        (Just n,LT)  -> [(n, Just EQ)]