|
definition:
|
findFunctionsToCompare :: Config
-> Repository
-> GC.GlobalCache
-> String
-> String
-> Bool
-> Maybe [String]
-> ErrorLogger (ACYCache, [String],
[(Bool,CFuncDecl)], [(CFuncDecl, FilterReason)])
findFunctionsToCompare cfg repo gc dirA dirB useanalysis onlymods = do
pkgA <- loadPackageSpec dirA
pkgB <- loadPackageSpec dirB
depsA <- resolveAndCopyDependencies cfg repo gc dirA
let cmods = intersect (exportedModules pkgA) (exportedModules pkgB)
let mods = maybe cmods (intersect cmods) onlymods
if null mods
then logInfo "No exported modules to compare" >>
return (emptyACYCache,[],[],[])
else do
logInfo ("Comparing modules: "++ intercalate " " mods)
diffs <- APIDiff.compareModulesInDirs cfg repo gc dirA dirB (Just mods)
(acy, allFuncs) <- findAllFunctions dirA dirB pkgA depsA emptyACYCache mods
logDebug ("All public functions: " ++ showFuncNames allFuncs)
let areDiffThenFilter = thenFilter allFuncs Diffing
let areHighArityThenFilter = thenFilter allFuncs HighArity
let areIOActionThenFilter = thenFilter allFuncs IOAction
let areNoCompareThenFilter = thenFilter allFuncs NoCompare
let areNonMatchingThenFilter = thenFilter allFuncs NonMatchingTypes
let haveFuncArgThenFilter = thenFilter allFuncs FuncArg
(emptyFilter ((liftFilter $ filterDiffingFunctions diffs) acy allFuncs)
`areDiffThenFilter`
liftFilter filterHighArity `areHighArityThenFilter`
liftFilter filterIOAction `areIOActionThenFilter`
filterNoCompare dirA dirB depsA `areNoCompareThenFilter`
filterNonMatchingTypes dirA dirB depsA `areNonMatchingThenFilter`
filterFuncArg dirA dirB depsA `haveFuncArgThenFilter`
liftFilter id ) >>= terminationFilter pkgA dirA depsA useanalysis
|
|
documentation:
|
------------------------------------------------------------------------------
--- Finds a list of functions that can be compared. At the moment, this uses the
--- functionality from `CPM.Diff.API` to compare the public interfaces of both
--- module versions and find the functions that have not changed between
--- versions.
---
--- @param cfg the CPM configuration
--- @param repo the current repository
--- @param gc the global package cache
--- @param dirA the directory of the A version of the package
--- @param dirB the directory of the B version of the package
--- @param useanalysis - use program analysis to filter non-term. operations?
--- @param mods - the modules to compare (if Nothing, compare exported modules)
--- @return a tuple consisting of an ACYCache, a list of functions to
--- be compared (with a flag which is true if they are productive,
--- might be non-terminating but can be compared level-wise),
--- and a list of non-comparable functions with a reason
|
|
signature:
|
CPM.Config.Config -> CPM.Repository.Repository
-> CPM.PackageCache.Global.GlobalCache -> String -> String -> Prelude.Bool
-> Prelude.Maybe [String]
-> CPM.ErrorLogger.ErrorLogger (ACYCache, [String], [(Prelude.Bool, AbstractCurry.Types.CFuncDecl)], [(AbstractCurry.Types.CFuncDecl, FilterReason)])
|