|
definition:
|
analysisClientWithStore :: (Eq a, Show a, Read a, ReadWrite a)
=> CConfig -> IORef (ProgInfoStore a) -> Analysis a
-> String -> String -> IO ()
analysisClientWithStore cconfig store analysis fpmethod moduleName = do
prog <- readNewestFlatCurry moduleName
let progimports = progImports prog
importList = if withPrelude cconfig
then progimports
else filter (/="Prelude") progimports
ananame = analysisName analysis
importInfos <-
if isSimpleAnalysis analysis
then return emptyProgInfo
else getInterfaceInfosWS cconfig store (analysisName analysis) importList
let anaModName = ananame ++ "/" ++ moduleName
debugMessage dl 1 $ "Starting analysis for " ++ anaModName ++ "..."
starttime <- getCPUTime
startvals <- getStartValues analysis prog
let cirequest = maybe "" fst (find ((==ananame) . snd) curryInfoRequest2CASS)
curryInfoResult <-
if useCurryInfo cconfig && not (optAll (ccOptions cconfig)) &&
moduleName `notElem` optNoCurryInfo (ccOptions cconfig) &&
not (Prelude.null cirequest) &&
(isFunctionAnalysis analysis || isTypeAnalysis analysis)
then do -- try `curry-info` to get analysis results:
let entkind = if isTypeAnalysis analysis then CPMQuery.Type
else CPMQuery.Operation
withciweb = useCurryInfoWeb cconfig
debugMessage dl 1 $ "\nUse CURRYINFO" ++
(if withciweb then "/WEB" else "") ++ " for " ++
moduleName ++ " / " ++ cirequest
res <- askCurryInfoCmd withciweb (optVerb (ccOptions cconfig))
moduleName entkind cirequest
debugMessage dl 3 $ "Result received from CURRYINFO:\n" ++ show res
return res
else return Nothing
result <-
case curryInfoResult >>= mapM (\(qn, s) -> fmap ((,) qn) (safeRead s)) of
Nothing -> do
debugMessage dl 3 $ "Read error of CURRYINFO result!"
debugMessage dl 1 $
"\nAnalyze by CASS: " ++ moduleName ++ " / " ++ ananame
if isCombinedAnalysis analysis
then execCombinedAnalysis cconfig analysis prog importInfos
startvals moduleName fpmethod
else runAnalysis cconfig analysis prog importInfos startvals fpmethod
Just i -> return (lists2ProgInfo (i, []))
storeAnalysisResult dl ananame moduleName result
stoptime <- getCPUTime
debugMessage dl 1 $ "Analysis time for " ++ anaModName ++ ": " ++
show (stoptime - starttime) ++ " msecs"
loadinfos <- readIORef store
writeIORef store ((moduleName,publicProgInfo result):loadinfos)
where
dl = debugLevel cconfig
safeRead s = case readsPrec 0 s of [(x, "")] -> Just x
_ -> Nothing
|
|
iotype:
|
{(_,_,_,_,_,_,_,_,_) |-> _}
|
|
signature:
|
(Prelude.Eq a, Prelude.Show a, Prelude.Read a, RW.Base.ReadWrite a) => CASS.Configuration.CConfig
-> Data.IORef.IORef [(String, Analysis.ProgInfo.ProgInfo a)]
-> Analysis.Types.Analysis a -> String -> String -> Prelude.IO ()
|