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.DataTypesUtils

Description

CMDL.Utils contains different basic functions that are used throughout the CMDL interface and could not be found in Prelude

Synopsis

Documentation

parseSublogics :: String -> Maybe G_sublogics Source #

getInputDGNodes :: String -> IntIState -> (String, [LNode DGNodeLab]) Source #

getInputNodes :: String -> IntIState -> (String, [Node]) Source #

baseChannels :: [CmdlChannel] Source #

Generates the base channels to be used (stdin and stdout)

genMessage :: String -> String -> CmdlState -> CmdlState Source #

genAddMessage :: String -> String -> CmdlState -> CmdlState Source #

generatePrompter :: CmdlState -> String Source #

Generates the string containing the prompter

getIdComorphism :: [Int_NodeInfo] -> Maybe AnyComorphism Source #

Given a list of selected theory generate an Id comorphism to the first selected theory

genMsgAndCode :: String -> Int -> CmdlState -> CmdlState Source #

getExitCode :: CmdlState -> ExitCode Source #