{- |

Module : ./GUI/GraphDisplay.hs

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, see LICENSE.txt

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)

import Control.Monad

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 title showLib = do

let ln = libName gInfo

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 -> do

initializeGraph gInfo title showLib

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

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