]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.modeling/scl/Simantics/Issue.scl
Improvements to constraint-based issues
[simantics/platform.git] / bundles / org.simantics.modeling / scl / Simantics / Issue.scl
index e09297750d680e90d2bc55081e285d6d3f12fa45..ee7e51e0be85b398c2d2f96cb3cd3c6b01e7f95a 100644 (file)
@@ -1,20 +1,21 @@
 include "Simantics/Entity" hiding (nameOf)
 import "Simantics/Model"
+import "UI/Progress"
 import "http://www.simantics.org/Issue-1.2" as ISSUE
 
 type Issue = Resource
 type Severity = Resource
-    
+
 issuesOf :: Model -> <ReadGraph> [Issue]
 issuesOf model = recurse ISSUE.Issue model
   where
     recurse t r = do
-        cs = children r 
+        cs = children r
         issues = filter isIssue cs
         issueGrp = filter (not . isIssue) cs
         issues + concatMap (recurse t) issueGrp
     isIssue r = isInstanceOf r ISSUE.Issue
-    
+
 importJava "org.simantics.issues.common.IssueUtils" where
     @JavaName newUserIssueForModel
     newUserIssueForModel :: Model -> String -> Severity -> [Resource] -> <WriteGraph> Issue
@@ -25,4 +26,20 @@ userIssueAdvanced model label severity contexts = do
 
 importJava "org.simantics.issues.common.IssueUtils" where
     @JavaName newUserIssueForModel
-    userIssue :: () -> <WriteGraph> Issue
\ No newline at end of file
+    userIssue :: () -> <WriteGraph> Issue
+
+importJava "org.simantics.db" where
+    @JavaName Issue
+    data IssueI
+
+importJava "org.simantics.db.layer0.validation.ValidationUtils" where
+  @JavaName validateConstraintsForDomain
+  validateDomain :: Resource -> <ReadGraph> [IssueI]
+
+importJava "org.simantics.modeling.utils.BatchValidations" where
+  @JavaName runAll
+  runAllBatchValidations :: ProgressMonitor -> Resource -> Resource -> <Proc> ()
+
+importJava "org.simantics.issues.common.RunActiveValidations" where
+  @JavaName run
+  runActiveValidations :: ProgressMonitor -> Resource -> <Proc> ()
\ No newline at end of file