{-# LANGUAGE CPP #-}

{- |

Module : $Header$

Copyright : (c) Uni Bremen 2002-2005

License : GPLv2 or higher

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : non-portable (Logic)

display the final graph

-}

module GUI.ShowGraph

(showGraph)

where

import Driver.Options (HetcatsOpts, putIfVerbose)

import Static.DevGraph

import Common.LibName

import GUI.GraphDisplay

import GUI.GraphTypes

import GUI.ShowLibGraph (showLibGraph, mShowGraph)

#ifdef GTKGLADE

import Graphics.UI.Gtk

#endif

import Reactor.InfoBus (shutdown)

import HTk.Toolkit.DialogWin (useHTk)

import Util.WBFiles

import Common.UniUtils

import Data.IORef

import Control.Concurrent

import Control.Exception

import Common.ProverTools

import Interfaces.DataTypes

-- | show development graph of a given library name in a window

showGraph :: FilePath -> HetcatsOpts -> Maybe (LibName, LibEnv) -> IO ()

showGraph file opts env = case env of

Just (ln, le) -> do

ws <- getWishPath

putIfVerbose opts 3 $ "wish is: " ++ ws

noWish <- missingExecutableInPath ws

dv <- getDaVinciPath

putIfVerbose opts 3 $ "uDrawGraph is: " ++ dv

noUDrawGraph <- missingExecutableInPath dv

if noWish || noUDrawGraph then

error $ (if noWish then "wish" else "uDrawGraph") ++ " is missing"

else do

putIfVerbose opts 2 $ "Displaying " ++ file ++ " in a graphical window"

putIfVerbose opts 3 "Initializing Converter"

let thr = workThread file opts ln le

#ifdef GTKGLADE

eitherGTK <- try unsafeInitGUIForThreadedRTS

case eitherGTK of

Right _ -> return ()

Left e -> do

putIfVerbose opts 5 $ "Error: " ++ show (e :: SomeException)

error $ "Can't initialize GTK."

_ <- forkIO thr

mainGUI

#else

thr

#endif

Nothing -> putIfVerbose opts 0

"missing development graph to display in a window"

workThread :: FilePath -> HetcatsOpts -> LibName -> LibEnv -> IO ()

workThread file opts ln le = do

eitherHTK <- try initializeConverter

(gInfo, wishInst) <- case eitherHTK of

Right a -> return a

Left e -> do

putIfVerbose opts 5 $ "Error: " ++ show (e :: SomeException)

error "Can't initialize GUI (wish)."

useHTk -- use TK from this point on

ost <- readIORef $ intState gInfo

let nwst = case i_state ost of

Nothing -> ost

Just ist -> ost

{ i_state = Just ist

{ i_libEnv = le

, i_ln = ln }

, filename = file }

writeIORef (intState gInfo) nwst

let gInfo' = gInfo

{ hetcatsOpts = opts

, libName = ln }

showLibGraph gInfo'

mShowGraph gInfo' ln

takeMVar $ exitMVar gInfo'

#ifdef GTKGLADE

postGUISync mainQuit

#endif

destroy wishInst

shutdown