Module Simantics/Issue
This module is undocumented. This is a list of its definitions.
issueSources :: Resource -> <ReadGraph> [(String, Resource)]
Lists issue sources that are included in the provided index root (e.g. model).
issuesOf :: Resource -> <ReadGraph> [Resource]
runActiveValidations :: ProgressMonitor -> Resource -> <Proc> ()
runAllBatchValidations :: ProgressMonitor -> Resource -> Resource -> <Proc> ()
setIssueSourceActivity :: Boolean -> Resource -> String -> <WriteGraph> ()
setIssueSourceActivity True root "issue source name"
activates the specified issue source or fails if the issue source does not exist in the provided root.
Use False as the first parameter to deactivate the specified issue source.
userIssue :: () -> <WriteGraph> Resource
userIssueAdvanced :: Resource -> String -> Resource -> [Resource] -> <WriteGraph> Resource
validateDomain :: Resource -> <ReadGraph> [IssueI]
|