Migrated source code from Simantics SVN

[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
new file mode 100644 (file)
index 0000000..0aa27d3
--- /dev/null
+++ b/bundles/org.simantics.issues.ontology/graph/Issue.pgraph
@@ -0,0 +1,183 @@
+// Converted from version 16895\r
+L0 = <http://www.simantics.org/Layer0-1.1>\r
+L0X = <http://www.simantics.org/Layer0X-1.1>\r
+\r
+// Standard database structure\r
+\r
+ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology\r
+    @L0.new\r
+    L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"\r
+\r
+ISSUE.Functions : L0.Library\r
+
+ISSUE.IssueSourceType <T L0.Type\r
+\r
+ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
+    @L0.tag ISSUE.IssueSource.Selected\r
+    >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn\r
+    >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo\r
+      L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo\r
+    >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo\r
+    >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation\r
+    @L0.assert  ISSUE.IssueSource.active true\r
+        \r
+ISSUE.ContinuousIssueSource <T ISSUE.IssueSource\r
+    >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation\r
+
+ISSUE.Issue <T L0.Entity
+    L0.HasDescription "A notification of specified severity about an issue in the model."
+    >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo\r
+      L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo\r
+    >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation\r
+    >-- ISSUE.Issue.HasContexts --> L0.List <R L0.DependsOn\r
+    >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation\r
+    >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation\r
+    >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation\r
+    >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation\r
+    @L0.assert L0.HasDescription \r
+      ISSUE.Functions.defaultDescription : L0.Function\r
+        L0.HasValueType "String"
+    @L0.assert ISSUE.Issue.severity\r
+      ISSUE.Functions.standardIssueSeverity : L0.Function\r
+        L0.HasValueType "String"\r
+    @L0.assert ISSUE.Issue.resource \r
+      ISSUE.Functions.standardIssueResource : L0.Function\r
+        L0.HasValueType "String"\r
+    @L0.assert ISSUE.Issue.path \r
+      ISSUE.Functions.standardIssuePath : L0.Function\r
+        L0.HasValueType "String"\r
+\r
+ISSUE.UserIssue\r
+    L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."\r
+    @L0.defTag\r
+    @L0.symmetric\r
+\r
+ISSUE.Hidden\r
+    L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."\r
+    @L0.defTag\r
+    @L0.symmetric\r
+\r
+ISSUE.Resolved\r
+    L0.HasDescription "A tag for marking issues as resolved."\r
+    @L0.defTag\r
+    @L0.symmetric\r
+
+ISSUE.Severity <T L0.Value
+    L0.HasDescription "The severity level of an issue"
+    @L0.tag L0.Enumeration\r
+    @L0.assert L0.ConvertsToValueWith\r
+        L0.Functions.resourceAsValue\r
+    
+ISSUE.Severity.Note : ISSUE.Severity
+    L0.HasDescription "These issues are markers for documentation purposes"
+ISSUE.Severity.Info : ISSUE.Severity
+    L0.HasDescription "These issues are good to know information"
+ISSUE.Severity.Warning : ISSUE.Severity
+    L0.HasDescription "These issues point out a possible error"
+ISSUE.Severity.Error : ISSUE.Severity
+    L0.HasDescription "These issues indicate a severe issue which blocks calculation"
+ISSUE.Severity.Fatal : ISSUE.Severity
+    L0.HasDescription "These issues indicate situations which should not occur in normal operation"
+
+ISSUE.Sources : L0.Library\r
+\r
+ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource\r
+  >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn  : L0.FunctionalRelation\r
+  >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn\r
+  >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function\r
+  >-- ISSUE.Sources.DependencyTracker.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation\r
+  >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation\r
+  @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction\r
+    ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function\r
+  \r
+ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker\r
+  \r
+ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue\r
+  @L0.assert ISSUE.Issue.resource\r
+    ISSUE.Functions.standardIssueResource\r
+  @L0.assert ISSUE.Issue.path\r
+    ISSUE.Functions.standardIssuePath\r
+\r
+ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue\r
+\r
+// IssueSource template\r
+ISSUE.constraint : L0.Template\r
+    @template %type %constraint %source %validator %baseFunction\r
+        %type\r
+            L0.HasConstraint %constraint : L0.Constraint\r
+                L0.Constraint.Validator %validator\r
+        %source <T ISSUE.Sources.DependencyTracker\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
+                L0.HasObject %type\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
+                L0.HasObject %constraint     \r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction\r
+                L0.HasObject %baseFunction                          \r
+            \r
+\r
+ISSUE.listeningConstraint3 : L0.Template\r
+    @template %type %constraint %source %validator\r
+        %type\r
+            L0.HasConstraint %constraint : L0.Constraint\r
+                L0.Constraint.Validator %validator\r
+        %source <T ISSUE.Sources.ListeningDependencyTracker\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
+                L0.HasObject %type\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
+                L0.HasObject %constraint\r
+\r
+ISSUE.listeningConstraint : L0.Template\r
+    @template %type %constraint %source %validator %baseFunction\r
+        %type\r
+            L0.HasConstraint %constraint : L0.Constraint\r
+                L0.Constraint.Validator %validator\r
+        %source <T ISSUE.Sources.ListeningDependencyTracker\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
+                L0.HasObject %type\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
+                L0.HasObject %constraint\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction\r
+                L0.HasObject %baseFunction                \r
+\r
+// Issue template\r
+ISSUE.issue : L0.Template\r
+    @template %issue %severity %description\r
+        %issue <T ISSUE.Sources.DependencyTracker.Issue\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Issue.HasSeverity\r
+                L0.HasObject %severity\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate L0.HasDescription\r
+                L0.HasObject %description\r
+\r
+ISSUE.anonymousIssue : L0.Template\r
+    @template %issue %severity %description\r
+        %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Issue.HasSeverity\r
+                L0.HasObject %severity\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate L0.HasDescription\r
+                L0.HasObject %description\r
+\r
+ISSUE.assignConstraint : L0.Template\r
+    @template %type %constraint %constraintType %source %sourceType\r
+        %type\r
+            L0.HasConstraint %constraint : %constraintType\r
+        %source <T %sourceType\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType\r
+                L0.HasObject %type\r
+            L0.Asserts _ : L0.Assertion\r
+                L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint\r
+                L0.HasObject %constraint\r
+                \r
+                
\ No newline at end of file