Merge "Revert "Support enumerated property types in UC interface""

[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 c68e561f43abd47687828347037378d3366de08f..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,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.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.DynamicIssueSource <T ISSUE.IssueSource
     >-- 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.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


@@ -42,21 +45,29 @@ ISSUE.Issue <T L0.Entity
     >-- 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.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"
     @L0.assert ISSUE.Issue.contexts
       ISSUE.Functions.standardIssueContexts : L0.Function
         L0.HasValueType "[Resource]"
       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."


@@ -78,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


@@ -93,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


@@ -100,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


@@ -111,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


@@ -123,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


@@ -156,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


@@ -190,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