Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2002-2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerr.pascanu@gmail.com
Stabilityprovisional
Portabilitynon-portable (imports Logic)
Safe HaskellNone

Interfaces.DataTypes

Description

Different data structures that are (or should be) shared by all interfaces of Hets

Synopsis

Documentation

data IntState Source #

Internal state of the interface, it contains the development graph and a full history. While this in most cases describes the state of development graph at a given time for GUI it is not the same for the PGIP ( it does not describe selected nodes). If one switches from one interface to the other passing this informations should be sufficient with minimal loss of information ( like selected nodes, unfinished script .. and so on)

Constructors

IntState 

Fields

Instances

Show IntState Source # 

Methods

showsPrec :: Int -> IntState -> ShowS

show :: IntState -> String

showList :: [IntState] -> ShowS

data IntHistory Source #

Contains the detailed global history as two list, a list of actions for undo, and a list of action for redo commands

Constructors

IntHistory 

Instances

Show IntHistory Source # 

Methods

showsPrec :: Int -> IntHistory -> ShowS

show :: IntHistory -> String

showList :: [IntHistory] -> ShowS

data CmdHistory Source #

Contains command description needed for undo/redo actions and for displaying commands in the history

Constructors

CmdHistory 

Instances

Show CmdHistory Source # 

Methods

showsPrec :: Int -> CmdHistory -> ShowS

show :: CmdHistory -> String

showList :: [CmdHistory] -> ShowS

data IntIState Source #

full description of the internal state required by all interfaces

Constructors

IntIState 

Instances

Show IntIState Source # 

Methods

showsPrec :: Int -> IntIState -> ShowS

show :: IntIState -> String

showList :: [IntIState] -> ShowS

data Int_NodeInfo Source #

Constructors

Element ProofState Int 

Instances

Show Int_NodeInfo Source # 

Methods

showsPrec :: Int -> Int_NodeInfo -> ShowS

show :: Int_NodeInfo -> String

showList :: [Int_NodeInfo] -> ShowS

data UndoRedoElem Source #

History elements for the proof state, only LibName would be used by GUI because it keeps track only to changes to the development graph, the other are for PGIP but in order to integrate both they should use same structure

Instances

Show UndoRedoElem Source # 

Methods

showsPrec :: Int -> UndoRedoElem -> ShowS

show :: UndoRedoElem -> String

showList :: [UndoRedoElem] -> ShowS

data ListChange Source #

Constructors

AxiomsChange [String] Int 
GoalsChange [String] Int 
NodesChange [Int_NodeInfo] 

Instances

Show ListChange Source # 

Methods

showsPrec :: Int -> ListChange -> ShowS

show :: ListChange -> String

showList :: [ListChange] -> ShowS