Hets - the Heterogeneous Tool Set

Copyright(c) Thiemo Wiedemeyer Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerraider@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

GUI.GtkConsistencyChecker

Description

This module provides a GUI for the consistency checker.

Synopsis

Documentation

data Finder Source #

Constructors

Finder 

Fields

Instances

Eq Finder Source # 

Methods

(==) :: Finder -> Finder -> Bool

(/=) :: Finder -> Finder -> Bool

data FNode Source #

Constructors

FNode 

Fields

Instances

Eq FNode Source # 

Methods

(==) :: FNode -> FNode -> Bool

(/=) :: FNode -> FNode -> Bool

Ord FNode Source # 

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

Methods

showsPrec :: Int -> FNode -> ShowS

show :: FNode -> String

showList :: [FNode] -> ShowS

showConsistencyChecker :: Maybe Int -> GInfo -> LibEnv -> IO (Result LibEnv) Source #

Displays the consistency checker window

showConsistencyCheckerMain :: Maybe Int -> GInfo -> LibEnv -> IO (Result LibEnv) Source #

Displays the consistency checker window

showConsistencyCheckerAux :: MVar LibEnv -> Maybe Int -> LibName -> LibEnv -> IO () Source #

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

mergeFinder :: [Finder] -> [Finder] -> [Finder] Source #

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