| 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
- 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
- data Flags = Flags {}
- getColor :: HetcatsOpts -> Colors -> Bool -> Bool -> String
- emptyGInfo :: IO GInfo
- copyGInfo :: GInfo -> LibName -> IO GInfo
- lockGlobal :: GInfo -> IO ()
- unlockGlobal :: GInfo -> IO ()
Documentation
data GInfo
Global datatype for all GUI functions
Constructors
| GInfo | |
Fields
| |
updateWindowCount :: GInfo -> (Int -> Int) -> IO ()
type ConvFunc = GInfo -> String -> LibFunc -> IO ()
Type of the convertGraph function. Used as type of a parameter of some functions in GraphMenu and GraphLogic.
type DaVinciGraphTypeSyn = Graph DaVinciGraph DaVinciGraphParms DaVinciNode DaVinciNodeType DaVinciNodeTypeParms DaVinciArc DaVinciArcType DaVinciArcTypeParms
data Colors
Colors to use.
data Flags
Constructors
| Flags | |
Fields
| |
Arguments
| :: HetcatsOpts | |
| -> Colors | Colorname |
| -> Bool | Colorvariant |
| -> Bool | Lightvariant |
| -> String |
Converts colors to grayscale if needed
emptyGInfo :: IO GInfo
Creates an empty GInfo
lockGlobal :: GInfo -> IO ()
Acquire the global lock. If already locked it waits till it is unlocked again.
unlockGlobal :: GInfo -> IO ()
Releases the global lock.