| definition: |
readAnalysisFiles :: (Read a, ReadWrite a) => DLevel -> String
-> IO (ProgInfo a)
readAnalysisFiles dl basefname = do
debugMessage dl 3 $ "Reading analysis files '" ++ basefname ++ "'..."
let pubcontfile = basefname <.> "pub"
privcontfile = basefname <.> "priv"
pubinfo <- readTermFile (fromEnum dl > 2) pubcontfile
privinfo <- readTermFile (fromEnum dl > 2) privcontfile
let pinfo = ProgInfo pubinfo privinfo
catch (return $!! pinfo)
(\err -> do
putStrLn $ "Buggy analysis files detected and removed:\n" ++
basefname
mapM_ removeFile [pubcontfile,privcontfile]
putStrLn "Please try to re-run the analysis!"
ioError err)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Reads a ProgInfo from the analysis files where the base file name is given. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_) |-> _}
|
| name: |
readAnalysisFiles |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
(Prelude.Read a, RW.Base.ReadWrite a) => Analysis.Logging.DLevel -> String -> Prelude.IO (ProgInfo a) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |