Copyright	(c) Thiemo Wiedemeyer Uni Bremen 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	raider@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	None

GUI.GtkConsistencyChecker

Description

This module provides a GUI for the consistency checker.

Synopsis

data Finder = Finder {
- fName :: String
- finder :: G_cons_checker
- comorphism :: [AnyComorphism]
- selected :: Int
}
data FNode = FNode {
- name :: String
- node :: LNode DGNodeLab
- sublogic :: G_sublogics
- cStatus :: ConsistencyStatus
}
showConsistencyChecker :: Maybe Int -> GInfo -> LibEnv -> IO (Result LibEnv)
showConsistencyCheckerMain :: Maybe Int -> GInfo -> LibEnv -> IO (Result LibEnv)
showConsistencyCheckerAux :: MVar LibEnv -> Maybe Int -> LibName -> LibEnv -> IO ()
sortNodes :: TreeView -> ListStore FNode -> IO ()
updateNodes :: TreeView -> ListStore FNode -> (Bool -> G_sublogics -> IO ()) -> IO () -> IO () -> IO ()
updateFinder :: TreeView -> ListStore Finder -> Bool -> G_sublogics -> IO ()
mergeFinder :: [Finder] -> [Finder] -> [Finder]
check :: Bool -> Bool -> LibName -> LibEnv -> DGraph -> Finder -> Int -> ListStore FNode -> (Double -> String -> IO ()) -> [(Int, FNode)] -> IO ()
updateComorphism :: TreeView -> ListStore Finder -> ComboBox -> ConnectId ComboBox -> IO ()
expand :: Finder -> [ComboBoxText]
setSelectedComorphism :: TreeView -> ListStore Finder -> ComboBox -> IO ()
showModelViewAux :: MVar (IO ()) -> String -> ListStore FNode -> [FNode] -> IO ()
showModelView :: MVar (IO ()) -> String -> ListStore FNode -> [FNode] -> IO ()

Documentation

Constructors

Finder
Fields fName :: String finder :: G_cons_checker comorphism :: [AnyComorphism] selected :: Int

Instances details

Eq Finder Source #
Instance details Defined in GUI.GtkConsistencyChecker Methods (==) :: Finder -> Finder -> Bool (/=) :: Finder -> Finder -> Bool

Constructors

FNode
Fields name :: String node :: LNode DGNodeLab sublogic :: G_sublogics cStatus :: ConsistencyStatus

Instances details

Eq FNode Source #
Instance details Defined in GUI.GtkConsistencyChecker Methods (==) :: FNode -> FNode -> Bool (/=) :: FNode -> FNode -> Bool
Ord FNode Source #
Instance details Defined in GUI.GtkConsistencyChecker Methods compare :: FNode -> FNode -> Ordering (<) :: FNode -> FNode -> Bool (<=) :: FNode -> FNode -> Bool (>) :: FNode -> FNode -> Bool (>=) :: FNode -> FNode -> Bool max :: FNode -> FNode -> FNode min :: FNode -> FNode -> FNode
Show FNode Source #	Get a markup string containing name and color
Instance details Defined in GUI.GtkConsistencyChecker Methods showsPrec :: Int -> FNode -> ShowS show :: FNode -> String showList :: [FNode] -> ShowS

Displays the consistency checker window

Displays the consistency checker window

Displays the consistency checker window

sortNodes :: TreeView -> ListStore FNode -> IO () Source #

updateNodes :: TreeView -> ListStore FNode -> (Bool -> G_sublogics -> IO ()) -> IO () -> IO () -> IO () Source #

Called when node selection is changed. Updates finder list

updateFinder :: TreeView -> ListStore Finder -> Bool -> G_sublogics -> IO () Source #

Update the list of finder

Try to select previous selected comorphism if possible

check :: Bool -> Bool -> LibName -> LibEnv -> DGraph -> Finder -> Int -> ListStore FNode -> (Double -> String -> IO ()) -> [(Int, FNode)] -> IO () Source #

updateComorphism :: TreeView -> ListStore Finder -> ComboBox -> ConnectId ComboBox -> IO () Source #

setSelectedComorphism :: TreeView -> ListStore Finder -> ComboBox -> IO () Source #

showModelViewAux :: MVar (IO ()) -> String -> ListStore FNode -> [FNode] -> IO () Source #

Displays the model view window

showModelView :: MVar (IO ()) -> String -> ListStore FNode -> [FNode] -> IO () Source #

Displays the model view window