Hets - the Heterogeneous Tool Set

Copyrightuni-bremen and DFKI
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerr.pascanu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CMDL.DataTypes

Description

CMDL.DataTypes describes the internal states(or datatypes) of the CMDL interface.

Synopsis

Documentation

data CmdlState Source #

CMDLState contains all information the CMDL interface might use at any time.

Constructors

CmdlState 

Fields

emptyCmdlState :: HetcatsOpts -> CmdlState Source #

Creates an empty CmdlState

data CmdlCmdDescription Source #

Description of a command in order to have a uniform access to any of the commands

Instances

data CmdlCmdPriority Source #

Some commands have different status, for example 'end-script' needs to be processed even though the interface is in reading script state. The same happens with '}%' even though the interface is in multi line comment state. In order not to treat this few commands separately from the other it is easy just to give to all commands different priorities

data CmdlCmdFnClasses Source #

Any command belongs to one of the following classes of functions, a) f :: s -> IO s b) f :: String -> s -> IO s

Constructors

CmdNoInput (CmdlState -> IO CmdlState) 
CmdWithInput (String -> CmdlState -> IO CmdlState) 

data CmdlCmdRequirements Source #

Datatype describing the types of commands according to what they expect as input

Constructors

ReqNodesOrEdges (Maybe Bool) (Maybe NodeOrEdgeFilter)

Nothing: Both, True: Nodes, False: Edges

ReqProvers 
ReqConsCheck 
ReqComorphism 
ReqLogic 
ReqFile 
ReqAxm Bool

True: Axioms, False: Goals

ReqNumber 
ReqNothing 
ReqUnknown 

data CmdlChannel Source #

CMDLSocket takes care of opened sockets for comunication with other application like the Broker in the case of PGIP

Constructors

CmdlChannel 

data CmdlChannelType Source #

Channel type describes different type of channel

Constructors

ChSocket 
ChFile 
ChStdin 
ChStdout 

data CmdlChannelProperties Source #

Channel properties describes what a channel can do

Constructors

ChRead 
ChWrite 
ChReadWrite 

data CmdlSocket Source #

Describes a socket

Constructors

CmdlSocket 

Fields

data CmdlPrompterState Source #

Constructors

CmdlPrompterState 

Fields

data CmdlMessage Source #

output message given by the interface

Constructors

CmdlMessage 

Fields

data CmdlListAction Source #

Datatype describing the list of possible action on a list of selected items