| 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 |
CMDL.DgCommands
Description
CMDL.DgCommands contains all development graph commands that can be called from the CMDL interface
- commandDgAll :: (LibName -> LibEnv -> Result LibEnv) -> CmdlState -> IO CmdlState
- commandDg :: (LibName -> [LEdge DGLinkLab] -> LibEnv -> Result LibEnv) -> String -> CmdlState -> IO CmdlState
- cUse :: String -> CmdlState -> IO CmdlState
- cDgThmHideShift :: String -> CmdlState -> IO CmdlState
- cDgSelect :: String -> CmdlState -> IO CmdlState
- cDgSelectAll :: CmdlState -> IO CmdlState
- cExpand :: String -> CmdlState -> IO CmdlState
- cAddView :: String -> CmdlState -> IO CmdlState
- selectANode :: Int -> IntIState -> [Int_NodeInfo]
- wrapResultDg :: (LibName -> [LEdge DGLinkLab] -> LibEnv -> LibEnv) -> LibName -> [LEdge DGLinkLab] -> LibEnv -> Result LibEnv
- wrapResultDgAll :: (LibName -> LibEnv -> LibEnv) -> LibName -> LibEnv -> Result LibEnv
Documentation
commandDgAll :: (LibName -> LibEnv -> Result LibEnv) -> CmdlState -> IO CmdlState
General function for implementing dg all style commands
commandDg :: (LibName -> [LEdge DGLinkLab] -> LibEnv -> Result LibEnv) -> String -> CmdlState -> IO CmdlState
Generic function for a dg command, all other dg commands are derived from this command by simply specifing the function
cUse :: String -> CmdlState -> IO CmdlState
The function cUse implements the Use commands, i.e.
given a path it tries to load the library at that path
cDgThmHideShift :: String -> CmdlState -> IO CmdlState
cDgSelect :: String -> CmdlState -> IO CmdlState
function swithces interface in proving mode and also selects a list of nodes to be used inside this mode
cDgSelectAll :: CmdlState -> IO CmdlState
Function switches the interface in proving mode by selecting all nodes
selectANode :: Int -> IntIState -> [Int_NodeInfo]