| Copyright | uni-bremen and DFKI |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | r.pascanu@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
PGIP.XMLstate
Description
PGIP.XMLstate contains the description of the XMLstate and a function that produces such a state
Synopsis
- genProofStep :: String -> Element
- addPGIPMarkup :: String -> Element
- genPgipElem :: String -> Element
- genNormalResponse :: Node t => String -> t -> Element
- genErrorResponse :: Bool -> String -> Element
- addPGIPAnswer :: String -> String -> CmdlPgipState -> CmdlPgipState
- addPGIPError :: String -> CmdlPgipState -> CmdlPgipState
- addPGIPAttributes :: CmdlPgipState -> Element -> Element
- addPGIPElement :: CmdlPgipState -> Element -> CmdlPgipState
- addPGIPReady :: CmdlPgipState -> CmdlPgipState
- data CmdlPgipState = CmdlPgipState {
- pgipId :: String
- name :: String
- seqNb :: Int
- refSeqNb :: Maybe String
- msgs :: [String]
- xmlElements :: [Element]
- hout :: Handle
- hin :: Handle
- stop :: Bool
- resendMsgIfTimeout :: Bool
- useXML :: Bool
- maxWaitTime :: Int
- genCMDLPgipState :: Bool -> Handle -> Handle -> Int -> IO CmdlPgipState
- genPgipID :: IO String
- addToMsg :: String -> CmdlPgipState -> CmdlPgipState
- resetPGIPData :: CmdlPgipState -> CmdlPgipState
- convertPGIPDataToString :: CmdlPgipState -> String
- isRemote :: HetcatsOpts -> Bool
- sendPGIPData :: HetcatsOpts -> CmdlPgipState -> IO CmdlPgipState
- sendMSGData :: HetcatsOpts -> CmdlPgipState -> IO CmdlPgipState
- data CmdlXMLcommands
- = XmlExecute String
- | XmlExit
- | XmlProverInit
- | XmlAskpgip
- | XmlStartQuiet
- | XmlStopQuiet
- | XmlOpenGoal String
- | XmlCloseGoal String
- | XmlGiveUpGoal String
- | XmlUnknown String
- | XmlParseScript String
- | XmlUndo
- | XmlRedo
- | XmlForget String
- | XmlOpenTheory String
- | XmlCloseTheory String
- | XmlCloseFile String
- | XmlLoadFile String
- getRefseqNb :: String -> Maybe String
- parseXMLTree :: [Content] -> [CmdlXMLcommands] -> [CmdlXMLcommands]
- parseXMLElement :: Element -> Maybe CmdlXMLcommands
- parseMsg :: CmdlPgipState -> String -> [CmdlXMLcommands]
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 #
addPGIPElement :: CmdlPgipState -> Element -> CmdlPgipState 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
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
convertPGIPDataToString :: CmdlPgipState -> String Source #
isRemote :: HetcatsOpts -> Bool Source #
sendPGIPData :: HetcatsOpts -> CmdlPgipState -> IO CmdlPgipState Source #
sendMSGData :: HetcatsOpts -> CmdlPgipState -> IO CmdlPgipState Source #
data CmdlXMLcommands Source #
List of all possible commands inside an XML packet
Constructors
| XmlExecute String | |
| XmlExit | |
| XmlProverInit | |
| XmlAskpgip | |
| XmlStartQuiet | |
| XmlStopQuiet | |
| XmlOpenGoal String | |
| XmlCloseGoal String | |
| XmlGiveUpGoal String | |
| XmlUnknown String | |
| XmlParseScript String | |
| XmlUndo | |
| XmlRedo | |
| XmlForget String | |
| XmlOpenTheory String | |
| XmlCloseTheory String | |
| XmlCloseFile String | |
| XmlLoadFile String |
Instances
| Eq CmdlXMLcommands Source # | |
Defined in PGIP.XMLstate Methods (==) :: CmdlXMLcommands -> CmdlXMLcommands -> Bool (/=) :: CmdlXMLcommands -> CmdlXMLcommands -> Bool | |
| Show CmdlXMLcommands Source # | |
Defined in PGIP.XMLstate Methods showsPrec :: Int -> CmdlXMLcommands -> ShowS show :: CmdlXMLcommands -> String showList :: [CmdlXMLcommands] -> ShowS | |
getRefseqNb :: String -> Maybe String Source #
parseXMLTree :: [Content] -> [CmdlXMLcommands] -> [CmdlXMLcommands] Source #
parses the xml message creating a list of commands that it needs to execute
parseXMLElement :: Element -> Maybe CmdlXMLcommands Source #
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