Improvements to constraint-based issues

[simantics/platform.git] / bundles / org.simantics.issues.ontology / graph / Issue.pgraph

diff --git a/bundles/org.simantics.issues.ontology/graph/Issue.pgraph b/bundles/org.simantics.issues.ontology/graph/Issue.pgraph
index f97f68240f1a57faf44ed825ab613b23220235cd..e96923119907180732dee0438fac734897043d4e 100644 (file)
--- a/bundles/org.simantics.issues.ontology/graph/Issue.pgraph
+++ b/bundles/org.simantics.issues.ontology/graph/Issue.pgraph
@@ -13,6 +13,7 @@ ISSUE.Functions : L0.Library
 ISSUE.IssueSourceType <T L0.Type
 
 ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
 ISSUE.IssueSourceType <T L0.Type
 
 ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType

+    @L0.tag L0.Abstract

     @L0.tag ISSUE.IssueSource.Selected
     >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
     >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
     @L0.tag ISSUE.IssueSource.Selected
     >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
     >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo


@@ -20,32 +21,53 @@ ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
     >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo
     >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
     @L0.assert  ISSUE.IssueSource.active true
     >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo
     >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
     @L0.assert  ISSUE.IssueSource.active true

-        
+

 ISSUE.ContinuousIssueSource <T ISSUE.IssueSource
 ISSUE.ContinuousIssueSource <T ISSUE.IssueSource

+    @L0.tag L0.Abstract

     >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
 
     >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
 

+ISSUE.DynamicIssueSource <T ISSUE.IssueSource
+    @L0.tag L0.Abstract
+    L0.HasDescription "A dynamic issue source is a source that is browsed purely through the Variable interface to produce a single subtree to represent issues. The issues do not have to have a database resource representation backing them."
+
+ISSUE.Issue.ContextList <T L0.List
+    @L0.assert L0.List.ElementPredicate
+      ISSUE.Issue.ContextList.Element <R L0.List.ElementWithInverse
+

 ISSUE.Issue <T L0.Entity
     L0.HasDescription "A notification of specified severity about an issue in the model."
     >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo
       L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo
     >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation
 ISSUE.Issue <T L0.Entity
     L0.HasDescription "A notification of specified severity about an issue in the model."
     >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo
       L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo
     >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation

-    >-- ISSUE.Issue.HasContexts --> L0.List <R L0.DependsOn
+    >-- ISSUE.Issue.HasContexts --> ISSUE.Issue.ContextList <R L0.DependsOn
+    >-- ISSUE.Issue.contexts ==> "[Resource]" <R L0.HasProperty : L0.FunctionalRelation

     >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation
     >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation
     >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation
     >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation
     >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation
     >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation
     >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation
     >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation

-    @L0.assert L0.HasDescription 
+    >-- ISSUE.Issue.hider ==> "Maybe (Boolean -> <WriteGraph> Boolean)" <R L0.HasProperty : L0.FunctionalRelation
+    >-- ISSUE.Issue.hidden ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+    @L0.assert L0.HasDescription

       ISSUE.Functions.defaultDescription : L0.Function
         L0.HasValueType "String"
     @L0.assert ISSUE.Issue.severity
       ISSUE.Functions.standardIssueSeverity : L0.Function
         L0.HasValueType "String"
       ISSUE.Functions.defaultDescription : L0.Function
         L0.HasValueType "String"
     @L0.assert ISSUE.Issue.severity
       ISSUE.Functions.standardIssueSeverity : L0.Function
         L0.HasValueType "String"

-    @L0.assert ISSUE.Issue.resource 
+    @L0.assert ISSUE.Issue.resource

       ISSUE.Functions.standardIssueResource : L0.Function
         L0.HasValueType "String"
       ISSUE.Functions.standardIssueResource : L0.Function
         L0.HasValueType "String"

-    @L0.assert ISSUE.Issue.path 
+    @L0.assert ISSUE.Issue.path

       ISSUE.Functions.standardIssuePath : L0.Function
         L0.HasValueType "String"
       ISSUE.Functions.standardIssuePath : L0.Function
         L0.HasValueType "String"

+    @L0.assert ISSUE.Issue.contexts
+      ISSUE.Functions.standardIssueContexts : L0.Function
+        L0.HasValueType "[Resource]"
+    @L0.assert ISSUE.Issue.hider
+      ISSUE.Functions.standardIssueHider : L0.Function
+        L0.HasValueType "Maybe (Boolean -> <WriteGraph> Boolean)"
+    @L0.assert ISSUE.Issue.hidden
+      ISSUE.Functions.standardIssueHidden : L0.Function
+        L0.HasValueType "Boolean"

 
 ISSUE.UserIssue
     L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."
 
 ISSUE.UserIssue
     L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."


@@ -67,7 +89,7 @@ ISSUE.Severity <T L0.Value
     @L0.tag L0.Enumeration
     @L0.assert L0.ConvertsToValueWith
         L0.Functions.resourceAsValue
     @L0.tag L0.Enumeration
     @L0.assert L0.ConvertsToValueWith
         L0.Functions.resourceAsValue

-    
+

 ISSUE.Severity.Note : ISSUE.Severity
     L0.HasDescription "These issues are markers for documentation purposes"
 ISSUE.Severity.Info : ISSUE.Severity
 ISSUE.Severity.Note : ISSUE.Severity
     L0.HasDescription "These issues are markers for documentation purposes"
 ISSUE.Severity.Info : ISSUE.Severity


@@ -82,6 +104,7 @@ ISSUE.Severity.Fatal : ISSUE.Severity
 ISSUE.Sources : L0.Library
 
 ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
 ISSUE.Sources : L0.Library
 
 ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource

+  @L0.tag L0.Abstract

   >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn  : L0.FunctionalRelation
   >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn
   >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function
   >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn  : L0.FunctionalRelation
   >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn
   >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function


@@ -89,9 +112,10 @@ ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
   >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation
   @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction
     ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function
   >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation
   @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction
     ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function

-  
+

 ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
 ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker

-  
+  @L0.tag L0.Abstract
+

 ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
   @L0.assert ISSUE.Issue.resource
     ISSUE.Functions.standardIssueResource
 ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
   @L0.assert ISSUE.Issue.resource
     ISSUE.Functions.standardIssueResource


@@ -100,6 +124,9 @@ ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
 
 ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
 
 
 ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
 

+ISSUE.Sources.ConstraintIssueSource <T ISSUE.IssueSource
+  @L0.tag L0.Abstract
+

 // IssueSource template
 ISSUE.constraint : L0.Template
     @template %type %constraint %source %validator %baseFunction
 // IssueSource template
 ISSUE.constraint : L0.Template
     @template %type %constraint %source %validator %baseFunction


@@ -112,11 +139,11 @@ ISSUE.constraint : L0.Template
                 L0.HasObject %type
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                 L0.HasObject %type
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint

-                L0.HasObject %constraint     
+                L0.HasObject %constraint

             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction

-                L0.HasObject %baseFunction                          
-            
+                L0.HasObject %baseFunction
+

 
 ISSUE.listeningConstraint3 : L0.Template
     @template %type %constraint %source %validator
 
 ISSUE.listeningConstraint3 : L0.Template
     @template %type %constraint %source %validator


@@ -145,7 +172,7 @@ ISSUE.listeningConstraint : L0.Template
                 L0.HasObject %constraint
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
                 L0.HasObject %constraint
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction

-                L0.HasObject %baseFunction                
+                L0.HasObject %baseFunction

 
 // Issue template
 ISSUE.issue : L0.Template
 
 // Issue template
 ISSUE.issue : L0.Template


@@ -179,5 +206,3 @@ ISSUE.assignConstraint : L0.Template
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                 L0.HasObject %constraint
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                 L0.HasObject %constraint

-                
-                
\ No newline at end of file