| 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.
- data Finder = Finder {
- fName :: String
- finder :: G_cons_checker
- comorphism :: [AnyComorphism]
- selected :: Int
- data FNode = FNode {}
- 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 -> [String]
- setSelectedComorphism :: TreeView -> ListStore Finder -> ComboBox -> IO ()
- showModelViewAux :: MVar (IO ()) -> String -> ListStore FNode -> [FNode] -> IO ()
- showModelView :: MVar (IO ()) -> String -> ListStore FNode -> [FNode] -> IO ()
Documentation
data Finder
Constructors
| Finder | |
Fields
| |
data FNode
Constructors
| FNode | |
Fields
| |
showConsistencyChecker :: Maybe Int -> GInfo -> LibEnv -> IO (Result LibEnv)
Displays the consistency checker window
showConsistencyCheckerMain :: Maybe Int -> GInfo -> LibEnv -> IO (Result LibEnv)
Displays the consistency checker window
showConsistencyCheckerAux :: MVar LibEnv -> Maybe Int -> LibName -> LibEnv -> IO ()
Displays the consistency checker window
updateNodes :: TreeView -> ListStore FNode -> (Bool -> G_sublogics -> IO ()) -> IO () -> IO () -> IO ()
Called when node selection is changed. Updates finder list
updateFinder :: TreeView -> ListStore Finder -> Bool -> G_sublogics -> IO ()
Update the list of finder
mergeFinder :: [Finder] -> [Finder] -> [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 ()