CurryInfo: ertools-3.0.0 / Database.ERD.Goodies.readERDFromProgram

 
readERDFromProgram :: String -> IO ERD
readERDFromProgram progfile = do
  putStr $ "Processing ERD in program `" ++ progfile ++ "'..."
  let progname = stripCurrySuffix progfile
  prog <- runModuleActionQuiet readFlatCurry progname
  let funcs = progFuncs prog
      erdfuncs = filter hasERDType funcs
  case erdfuncs of
    []   -> error $ "No definition of ER model found in program " ++ progfile
    [fd] -> do currypath <- getEnv "CURRYPATH"
               pid <- getPID
               let tmpfile = "/tmp/ERD2CURRY_tmp_" ++ show pid
               let cmd = installDir </> "bin" </> "curry"
                   args  = [ "--nocypm"
                           , ":set","v0" ]
                   input = unlines $
                            (if null currypath
                               then []
                               else [":set path " ++ currypath] ) ++
                            [ ":load " ++ progname
                            , ":add " ++ "Database.ERD"
                            , ":eval writeFileWithERDTerm " ++
                                     show tmpfile ++ snd (funcName fd)
                            , ":quit"]
               (ecode,_,errstr) <- evalCmd cmd args input
               putStrLn "done"
               if ecode > 0
                 then error $ "ERROR in program defining ERD:\n" ++ errstr
                 else do erdtermfile <- readCompleteFile tmpfile
                         removeFile tmpfile
                         return (read erdtermfile)
    _ -> error $ "Multiple ER model definitions found in program " ++ progfile

 no demanded arguments

 deterministic operation

 
Reads the ERD defined in a Curry program (as a top-level operation
of type `Database.ERD.ERD`).
This is done by compiling the Curry program with an auxiliary
operation and processing the output of the program.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_) |-> _}

 readERDFromProgram

 no precedence defined

 _

 String -> Prelude.IO Database.ERD.ERD

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term