{- |

Module : $Header$

Description : Central GUI for Hets, with display of development graph

Copyright : (c) Jorina Freya Gerken, Till Mossakowski, Uni Bremen 2002-2006

License : GPLv2 or higher

Maintainer : till@informatik.uni-bremen.de

Stability : provisional

Portability : non-portable (imports Logic)

Conversion of development graphs from Logic.DevGraph

to abstract graphs of the graph display interface

A composition table is used when abstracting the graph and composing

multiple edges. It looks like this

@

[(\"normal\",\"normal\",\"normal\"),

(\"normal\",\"inclusion\",\"normal\"),

(\"inclusion\",\"normal\",\"normal\"),

(\"inclusion\",\"inclusion\",\"inclusion\")]

@

A ginfo can be created with initgraphs. The graph is then created with

addnode and addlink.

-}

module GUI.GraphDisplay

(convertGraph,initializeConverter)

where

import Static.DevGraph

import GUI.GraphMenu

import GUI.GraphTypes

import GUI.GraphLogic(updateGraph)

import GUI.GraphAbstraction

import qualified GUI.HTkUtils as HTk

import Data.IORef

import qualified Data.Map as Map(lookup, insert)

import Control.Concurrent.MVar

import Control.Monad (unless)

import Interfaces.DataTypes

initializeConverter :: IO (GInfo,HTk.HTk)

initializeConverter = do

wishInst <- HTk.initHTk [HTk.withdrawMainWin]

gInfo <- emptyGInfo

return (gInfo,wishInst)

{- | converts the development graph given by its libname into an

abstract graph and returns the descriptor of the latter, the

graphInfo it is contained in and the conversion maps. -}

convertGraph :: ConvFunc

convertGraph gInfo@(GInfo { windowCount = wc

, libName = ln

}) title showLib = do

ost <- readIORef $ intState gInfo

case i_state ost of

Nothing -> error "Something went wrong, no library loaded"

Just ist -> do

let libEnv = i_libEnv ist

case Map.lookup ln libEnv of

Just dgraph -> case openlock dgraph of

Just lock -> do

notopen <- tryPutMVar lock ()

if notopen then

do

count <- takeMVar wc

putMVar wc $ count + 1

initializeGraph gInfo title showLib

unless (isEmptyDG dgraph) $ updateGraph gInfo (convert dgraph)

else error $ "development graph with libname " ++ show ln

++ " is already open"

Nothing -> do

lock <- newEmptyMVar

let nwle = Map.insert ln dgraph{openlock = Just lock} libEnv

nwst = ost { i_state = Just $ ist { i_libEnv = nwle}}

writeIORef (intState gInfo) nwst

convertGraph gInfo title showLib

Nothing -> error $ "development graph with libname " ++ show ln

++" does not exist"

-- | initializes an empty abstract graph with the needed node and edge types,

-- return type equals the one of convertGraph

initializeGraph :: GInfo -> String -> LibFunc -> IO ()

initializeGraph gInfo title showLib = do

ost <- readIORef $ intState gInfo

case i_state ost of

Nothing -> return ()

Just _ -> do

let title' = title ++ " for " ++ show (libName gInfo)

createGraph gInfo title' convertGraph showLib