| definition: |
loadAnalysisWithImports ::
(Read a, Show a, ReadWrite a, Eq a) => Analysis a -> TAProg -> IO (ProgInfo a)
loadAnalysisWithImports analysis prog = do
maininfo <- analyzeGeneric analysis (progName prog)
>>= return . either id error
impinfos <- mapM (\m -> analyzePublic analysis m >>=
return . either id error)
(progImports prog)
return $ foldr combineProgInfo maininfo impinfos
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Loads CASS analysis results for a module and its imported entities. |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_,_) |-> _}
|
| name: |
loadAnalysisWithImports |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
(Prelude.Read a, Prelude.Show a, RW.Base.ReadWrite a, Prelude.Eq a) => Analysis.Types.Analysis a -> FlatCurry.Annotated.Types.AProg FlatCurry.Types.TypeExpr -> Prelude.IO (Analysis.ProgInfo.ProgInfo a) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |