X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.issues.ontology%2Fgraph%2FIssue.pgraph;h=a819028de94dc38b3a860edb753059b42235c0f9;hp=0aa27d38ab43bfd38acd4081002c1a0b1da88974;hb=a770d29c1cd08ec09aed5a988cb54c9aaf623f3f;hpb=969bd23cab98a79ca9101af33334000879fb60c5

diff --git a/bundles/org.simantics.issues.ontology/graph/Issue.pgraph b/bundles/org.simantics.issues.ontology/graph/Issue.pgraph
index 0aa27d38a..a819028de 100644
--- a/bundles/org.simantics.issues.ontology/graph/Issue.pgraph
+++ b/bundles/org.simantics.issues.ontology/graph/Issue.pgraph
@@ -1,72 +1,91 @@
-// Converted from version 16895
-L0 = <http://www.simantics.org/Layer0-1.1>
-L0X = <http://www.simantics.org/Layer0X-1.1>
-
-// Standard database structure
-
-ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology
-    @L0.new
-    L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"
-
-ISSUE.Functions : L0.Library
-
-ISSUE.IssueSourceType <T L0.Type
-
+// Converted from version 16895
+L0 = <http://www.simantics.org/Layer0-1.1>
+L0X = <http://www.simantics.org/Layer0X-1.1>
+
+// Standard database structure
+
+ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology
+    @L0.new
+    L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"
+
+ISSUE.Functions : L0.Library
+
+ISSUE.IssueSourceType <T L0.Type
+
 ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
-    @L0.tag ISSUE.IssueSource.Selected
-    >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
-    >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
-      L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo
-    >-- 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.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
+    @L0.tag ISSUE.IssueSource.Selected
+    >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
+    >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
+      L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo
+    >-- 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.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
+
+ISSUE.DynamicIssueSource <T ISSUE.IssueSource
+    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.HasContexts --> L0.List <R L0.DependsOn
-    >-- 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.Functions.defaultDescription : L0.Function
+    >-- 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 --> 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.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"
+    @L0.assert ISSUE.Issue.resource 
+      ISSUE.Functions.standardIssueResource : L0.Function
         L0.HasValueType "String"
-    @L0.assert ISSUE.Issue.severity
-      ISSUE.Functions.standardIssueSeverity : L0.Function
-        L0.HasValueType "String"
-    @L0.assert ISSUE.Issue.resource 
-      ISSUE.Functions.standardIssueResource : L0.Function
-        L0.HasValueType "String"
-    @L0.assert ISSUE.Issue.path 
-      ISSUE.Functions.standardIssuePath : L0.Function
-        L0.HasValueType "String"
-
-ISSUE.UserIssue
-    L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."
-    @L0.defTag
-    @L0.symmetric
-
-ISSUE.Hidden
-    L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."
-    @L0.defTag
-    @L0.symmetric
-
-ISSUE.Resolved
-    L0.HasDescription "A tag for marking issues as resolved."
-    @L0.defTag
-    @L0.symmetric
+    @L0.assert ISSUE.Issue.path 
+      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."
+    @L0.defTag
+    @L0.symmetric
+
+ISSUE.Hidden
+    L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."
+    @L0.defTag
+    @L0.symmetric
+
+ISSUE.Resolved
+    L0.HasDescription "A tag for marking issues as resolved."
+    @L0.defTag
+    @L0.symmetric
 
 ISSUE.Severity <T L0.Value
     L0.HasDescription "The severity level of an issue"
-    @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"
@@ -79,105 +98,105 @@ ISSUE.Severity.Error : ISSUE.Severity
 ISSUE.Severity.Fatal : ISSUE.Severity
     L0.HasDescription "These issues indicate situations which should not occur in normal operation"
 
-ISSUE.Sources : L0.Library
-
-ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
-  >-- 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.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation
-  >-- 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.DependencyTracker.Issue <T ISSUE.Issue
-  @L0.assert ISSUE.Issue.resource
-    ISSUE.Functions.standardIssueResource
-  @L0.assert ISSUE.Issue.path
-    ISSUE.Functions.standardIssuePath
-
-ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
-
-// IssueSource template
-ISSUE.constraint : L0.Template
-    @template %type %constraint %source %validator %baseFunction
-        %type
-            L0.HasConstraint %constraint : L0.Constraint
-                L0.Constraint.Validator %validator
-        %source <T ISSUE.Sources.DependencyTracker
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
-                L0.HasObject %type
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
-                L0.HasObject %constraint     
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
-                L0.HasObject %baseFunction                          
-            
-
-ISSUE.listeningConstraint3 : L0.Template
-    @template %type %constraint %source %validator
-        %type
-            L0.HasConstraint %constraint : L0.Constraint
-                L0.Constraint.Validator %validator
-        %source <T ISSUE.Sources.ListeningDependencyTracker
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
-                L0.HasObject %type
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
-                L0.HasObject %constraint
-
-ISSUE.listeningConstraint : L0.Template
-    @template %type %constraint %source %validator %baseFunction
-        %type
-            L0.HasConstraint %constraint : L0.Constraint
-                L0.Constraint.Validator %validator
-        %source <T ISSUE.Sources.ListeningDependencyTracker
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
-                L0.HasObject %type
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
-                L0.HasObject %constraint
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
-                L0.HasObject %baseFunction                
-
-// Issue template
-ISSUE.issue : L0.Template
-    @template %issue %severity %description
-        %issue <T ISSUE.Sources.DependencyTracker.Issue
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Issue.HasSeverity
-                L0.HasObject %severity
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate L0.HasDescription
-                L0.HasObject %description
-
-ISSUE.anonymousIssue : L0.Template
-    @template %issue %severity %description
-        %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Issue.HasSeverity
-                L0.HasObject %severity
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate L0.HasDescription
-                L0.HasObject %description
-
-ISSUE.assignConstraint : L0.Template
-    @template %type %constraint %constraintType %source %sourceType
-        %type
-            L0.HasConstraint %constraint : %constraintType
-        %source <T %sourceType
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
-                L0.HasObject %type
-            L0.Asserts _ : L0.Assertion
-                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
-                L0.HasObject %constraint
-                
+ISSUE.Sources : L0.Library
+
+ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
+  >-- 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.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation
+  >-- 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.DependencyTracker.Issue <T ISSUE.Issue
+  @L0.assert ISSUE.Issue.resource
+    ISSUE.Functions.standardIssueResource
+  @L0.assert ISSUE.Issue.path
+    ISSUE.Functions.standardIssuePath
+
+ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
+
+// IssueSource template
+ISSUE.constraint : L0.Template
+    @template %type %constraint %source %validator %baseFunction
+        %type
+            L0.HasConstraint %constraint : L0.Constraint
+                L0.Constraint.Validator %validator
+        %source <T ISSUE.Sources.DependencyTracker
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+                L0.HasObject %type
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+                L0.HasObject %constraint     
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
+                L0.HasObject %baseFunction                          
+            
+
+ISSUE.listeningConstraint3 : L0.Template
+    @template %type %constraint %source %validator
+        %type
+            L0.HasConstraint %constraint : L0.Constraint
+                L0.Constraint.Validator %validator
+        %source <T ISSUE.Sources.ListeningDependencyTracker
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+                L0.HasObject %type
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+                L0.HasObject %constraint
+
+ISSUE.listeningConstraint : L0.Template
+    @template %type %constraint %source %validator %baseFunction
+        %type
+            L0.HasConstraint %constraint : L0.Constraint
+                L0.Constraint.Validator %validator
+        %source <T ISSUE.Sources.ListeningDependencyTracker
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+                L0.HasObject %type
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+                L0.HasObject %constraint
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
+                L0.HasObject %baseFunction                
+
+// Issue template
+ISSUE.issue : L0.Template
+    @template %issue %severity %description
+        %issue <T ISSUE.Sources.DependencyTracker.Issue
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Issue.HasSeverity
+                L0.HasObject %severity
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate L0.HasDescription
+                L0.HasObject %description
+
+ISSUE.anonymousIssue : L0.Template
+    @template %issue %severity %description
+        %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Issue.HasSeverity
+                L0.HasObject %severity
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate L0.HasDescription
+                L0.HasObject %description
+
+ISSUE.assignConstraint : L0.Template
+    @template %type %constraint %constraintType %source %sourceType
+        %type
+            L0.HasConstraint %constraint : %constraintType
+        %source <T %sourceType
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
+                L0.HasObject %type
+            L0.Asserts _ : L0.Assertion
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
+                L0.HasObject %constraint
+                
                 
\ No newline at end of file