CurryInfo: call-analysis-3.2.0 / NondetAnalysis

 NondetAnalysis

 getNondetInfos

 
module NondetAnalysis where

import Nondeterminism
import FlatCurry.Types
import FlatCurry.Read
import FlatCurry.Goodies

getNondetInfos :: String -> IO [(String,Bool)]
getNondetInfos fname = do
  progs <- readFlatCurryWithImports fname
  let allfuns = analyseSetValued (concatMap progFuncs progs)
      mainfnames = map funcName (progFuncs (head progs))
  return (map (\ (qn,i) -> (snd qn,i))
              (filter (\ (qn,_) -> qn `elem` mainfnames) allfuns))

 safe