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)
Safe Haskell	None

GUI.GraphTypes

Description

Synopsis

data GInfo = GInfo {
- intState :: IORef IntState
- hetcatsOpts :: HetcatsOpts
- windowCount :: MVar Int
- exitMVar :: MVar ()
- globalLock :: MVar ()
- functionLock :: MVar ()
- libGraphLock :: MVar ()
- openGraphs :: IORef (Map LibName GInfo)
- libName :: LibName
- graphInfo :: GraphInfo
- internalNames :: IORef [(String, (String -> String) -> IO ())]
- options :: IORef Flags
}
updateWindowCount :: GInfo -> (Int -> Int) -> IO ()
exitGInfo :: GInfo -> IO ()
type ConvFunc = GInfo -> String -> LibFunc -> IO ()
type LibFunc = GInfo -> IO ()
type DaVinciGraphTypeSyn = Graph DaVinciGraph DaVinciGraphParms DaVinciNode DaVinciNodeType DaVinciNodeTypeParms DaVinciArc DaVinciArcType DaVinciArcTypeParms
data Colors
- = Black
- | Blue
- | Coral
- | Green
- | Yellow
- | Purple
data Flags = Flags {
- flagHideNodes :: Bool
- flagHideEdges :: Bool
- flagHideNames :: Bool
}
getColor :: HetcatsOpts -> Colors -> Bool -> Bool -> String
emptyGInfo :: IO GInfo
copyGInfo :: GInfo -> LibName -> IO GInfo
lockGlobal :: GInfo -> IO ()
unlockGlobal :: GInfo -> IO ()

Documentation

data GInfo Source #

Global datatype for all GUI functions

Constructors

GInfo
Fields intState :: IORef IntState hetcatsOpts :: HetcatsOpts windowCount :: MVar Int exitMVar :: MVar () globalLock :: MVar () functionLock :: MVar () libGraphLock :: MVar () openGraphs :: IORef (Map LibName GInfo) libName :: LibName graphInfo :: GraphInfo internalNames :: IORef [(String, (String -> String) -> IO ())] options :: IORef Flags

updateWindowCount :: GInfo -> (Int -> Int) -> IO () Source #

exitGInfo :: GInfo -> IO () Source #

Returns the exit-function

type ConvFunc = GInfo -> String -> LibFunc -> IO () Source #

Type of the convertGraph function. Used as type of a parameter of some functions in GraphMenu and GraphLogic.

type LibFunc = GInfo -> IO () Source #

type DaVinciGraphTypeSyn = Graph DaVinciGraph DaVinciGraphParms DaVinciNode DaVinciNodeType DaVinciNodeTypeParms DaVinciArc DaVinciArcType DaVinciArcTypeParms Source #

data Colors Source #

Colors to use.

Constructors

Black
Blue
Coral
Green
Yellow
Purple

Instances

Instances details

Eq Colors Source #
Instance details Defined in GUI.GraphTypes Methods (==) :: Colors -> Colors -> Bool (/=) :: Colors -> Colors -> Bool
Ord Colors Source #
Instance details Defined in GUI.GraphTypes Methods compare :: Colors -> Colors -> Ordering (<) :: Colors -> Colors -> Bool (<=) :: Colors -> Colors -> Bool (>) :: Colors -> Colors -> Bool (>=) :: Colors -> Colors -> Bool max :: Colors -> Colors -> Colors min :: Colors -> Colors -> Colors
Show Colors Source #
Instance details Defined in GUI.GraphTypes Methods showsPrec :: Int -> Colors -> ShowS show :: Colors -> String showList :: [Colors] -> ShowS

data Flags Source #

Constructors

Flags
Fields flagHideNodes :: Bool flagHideEdges :: Bool flagHideNames :: Bool

getColor Source #

Arguments

:: HetcatsOpts
-> Colors	Colorname
-> Bool	Colorvariant
-> Bool	Lightvariant
-> String

Converts colors to grayscale if needed

emptyGInfo :: IO GInfo Source #

Creates an empty GInfo

copyGInfo :: GInfo -> LibName -> IO GInfo Source #

Creates an empty GInfo

lockGlobal :: GInfo -> IO () Source #

Acquire the global lock. If already locked it waits till it is unlocked again.

unlockGlobal :: GInfo -> IO () Source #

Releases the global lock.