Hets - the Heterogeneous Tool Set

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

PGIP.XMLstate

Description

PGIP.XMLstate contains the description of the XMLstate and a function that produces such a state

Synopsis

Documentation

genProofStep :: String -> Element Source #

addPGIPMarkup :: String -> Element Source #

adds xml structure to unstructured code

genPgipElem :: String -> Element Source #

genNormalResponse :: Node t => String -> t -> Element Source #

genErrorResponse :: Bool -> String -> Element Source #

addPGIPAnswer :: String -> String -> CmdlPgipState -> CmdlPgipState Source #

It inserts a given string into the XML packet as normal output

addPGIPError :: String -> CmdlPgipState -> CmdlPgipState Source #

It inserts a given string into the XML packet as error output

addPGIPAttributes :: CmdlPgipState -> Element -> Element Source #

data CmdlPgipState Source #

State that keeps track of the comunication between Hets and the Broker

Constructors

CmdlPgipState 

Fields

genCMDLPgipState :: Bool -> Handle -> Handle -> Int -> IO CmdlPgipState Source #

Generates an empty CmdlPgipState

genPgipID :: IO String Source #

Generates the id of the session between Hets and the Broker

addToMsg :: String -> CmdlPgipState -> CmdlPgipState Source #

Concatenates the input string to the message stored in the state

resetPGIPData :: CmdlPgipState -> CmdlPgipState Source #

Resets the content of the message stored in the state

data CmdlXMLcommands Source #

List of all possible commands inside an XML packet

Instances

getRefseqNb :: String -> Maybe String Source #

parseXMLTree :: [Content] -> [CmdlXMLcommands] -> [CmdlXMLcommands] Source #

parses the xml message creating a list of commands that it needs to execute

parseMsg :: CmdlPgipState -> String -> [CmdlXMLcommands] Source #

Given a packet (a normal string or a xml formated string), the function converts it into a list of commands