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 a819028de94dc38b3a860edb753059b42235c0f9..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
+    @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
@@ -20,11 +21,13 @@ 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.ContinuousIssueSource <T ISSUE.IssueSource
+    @L0.tag L0.Abstract
     >-- 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
@@ -44,16 +47,16 @@ ISSUE.Issue <T L0.Entity
     >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation
     >-- 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 
+    @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"
-    @L0.assert ISSUE.Issue.resource 
+    @L0.assert ISSUE.Issue.resource
       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"
     @L0.assert ISSUE.Issue.contexts
@@ -86,7 +89,7 @@ ISSUE.Severity <T L0.Value
     @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
@@ -101,6 +104,7 @@ ISSUE.Severity.Fatal : ISSUE.Severity
 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
@@ -108,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.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
-  
+  @L0.tag L0.Abstract
+
 ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
   @L0.assert ISSUE.Issue.resource
     ISSUE.Functions.standardIssueResource
@@ -119,6 +124,9 @@ ISSUE.Sources.DependencyTracker.Issue <T ISSUE.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
@@ -131,11 +139,11 @@ ISSUE.constraint : L0.Template
                 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.HasObject %baseFunction                          
-            
+                L0.HasObject %baseFunction
+
 
 ISSUE.listeningConstraint3 : L0.Template
     @template %type %constraint %source %validator
@@ -164,7 +172,7 @@ ISSUE.listeningConstraint : L0.Template
                 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
@@ -198,5 +206,3 @@ ISSUE.assignConstraint : L0.Template
             L0.Asserts _ : L0.Assertion
                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
                 L0.HasObject %constraint
-                
-                
\ No newline at end of file