Playground for Antti.

[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..cd46d178352c1c4c50df7260706d2876b7440200 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


@@ -22,18 +23,30 @@ ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
     @L0.assert  ISSUE.IssueSource.active true
         
 ISSUE.ContinuousIssueSource <T ISSUE.IssueSource
     @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.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

+    >-- 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 L0.HasDescription 
       ISSUE.Functions.defaultDescription : L0.Function
         L0.HasValueType "String"


@@ -46,6 +59,15 @@ ISSUE.Issue <T L0.Entity
     @L0.assert ISSUE.Issue.path 
       ISSUE.Functions.standardIssuePath : L0.Function
         L0.HasValueType "String"
     @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."
 
 ISSUE.UserIssue
     L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."


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


@@ -91,6 +114,7 @@ ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
     ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function
   
 ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
     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.Sources.DependencyTracker.Issue <T ISSUE.Issue
   @L0.assert ISSUE.Issue.resource


@@ -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,10 +139,10 @@ 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
             
 
 ISSUE.listeningConstraint3 : 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