]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.issues.ontology/graph/Issue.pgraph
Exceptions for many functional objects are broken
[simantics/platform.git] / bundles / org.simantics.issues.ontology / graph / Issue.pgraph
1 // Converted from version 16895
2 L0 = <http://www.simantics.org/Layer0-1.1>
3 L0X = <http://www.simantics.org/Layer0X-1.1>
4
5 // Standard database structure
6
7 ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology
8     @L0.new
9     L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"
10
11 ISSUE.Functions : L0.Library
12
13 ISSUE.IssueSourceType <T L0.Type
14
15 ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
16     @L0.tag L0.Abstract
17     @L0.tag ISSUE.IssueSource.Selected
18     >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
19     >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
20       L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo
21     >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo
22     >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
23     @L0.assert  ISSUE.IssueSource.active true
24
25 ISSUE.ContinuousIssueSource <T ISSUE.IssueSource
26     @L0.tag L0.Abstract
27     >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
28
29 ISSUE.DynamicIssueSource <T ISSUE.IssueSource
30     @L0.tag L0.Abstract
31     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."
32
33 ISSUE.Issue.ContextList <T L0.List
34     @L0.assert L0.List.ElementPredicate
35       ISSUE.Issue.ContextList.Element <R L0.List.ElementWithInverse
36
37 ISSUE.Issue <T L0.Entity
38     L0.HasDescription "A notification of specified severity about an issue in the model."
39     >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo
40       L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo
41     >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation
42     >-- ISSUE.Issue.HasContexts --> ISSUE.Issue.ContextList <R L0.DependsOn
43     >-- ISSUE.Issue.contexts ==> "[Resource]" <R L0.HasProperty : L0.FunctionalRelation
44     >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation
45     >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation
46     >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation
47     >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation
48     >-- ISSUE.Issue.hider ==> "Maybe (Boolean -> <WriteGraph> Boolean)" <R L0.HasProperty : L0.FunctionalRelation
49     >-- ISSUE.Issue.hidden ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
50     @L0.assert L0.HasDescription
51       ISSUE.Functions.defaultDescription : L0.Function
52         L0.HasValueType "String"
53     @L0.assert ISSUE.Issue.severity
54       ISSUE.Functions.standardIssueSeverity : L0.Function
55         L0.HasValueType "String"
56     @L0.assert ISSUE.Issue.resource
57       ISSUE.Functions.standardIssueResource : L0.Function
58         L0.HasValueType "String"
59     @L0.assert ISSUE.Issue.path
60       ISSUE.Functions.standardIssuePath : L0.Function
61         L0.HasValueType "String"
62     @L0.assert ISSUE.Issue.contexts
63       ISSUE.Functions.standardIssueContexts : L0.Function
64         L0.HasValueType "[Resource]"
65     @L0.assert ISSUE.Issue.hider
66       ISSUE.Functions.standardIssueHider : L0.Function
67         L0.HasValueType "Maybe (Boolean -> <WriteGraph> Boolean)"
68     @L0.assert ISSUE.Issue.hidden
69       ISSUE.Functions.standardIssueHidden : L0.Function
70         L0.HasValueType "Boolean"
71
72 ISSUE.UserIssue
73     L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."
74     @L0.defTag
75     @L0.symmetric
76
77 ISSUE.Hidden
78     L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."
79     @L0.defTag
80     @L0.symmetric
81
82 ISSUE.Resolved
83     L0.HasDescription "A tag for marking issues as resolved."
84     @L0.defTag
85     @L0.symmetric
86
87 ISSUE.Severity <T L0.Value
88     L0.HasDescription "The severity level of an issue"
89     @L0.tag L0.Enumeration
90     @L0.assert L0.ConvertsToValueWith
91         L0.Functions.resourceAsValue
92
93 ISSUE.Severity.Note : ISSUE.Severity
94     L0.HasDescription "These issues are markers for documentation purposes"
95 ISSUE.Severity.Info : ISSUE.Severity
96     L0.HasDescription "These issues are good to know information"
97 ISSUE.Severity.Warning : ISSUE.Severity
98     L0.HasDescription "These issues point out a possible error"
99 ISSUE.Severity.Error : ISSUE.Severity
100     L0.HasDescription "These issues indicate a severe issue which blocks calculation"
101 ISSUE.Severity.Fatal : ISSUE.Severity
102     L0.HasDescription "These issues indicate situations which should not occur in normal operation"
103
104 ISSUE.Sources : L0.Library
105
106 ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
107   @L0.tag L0.Abstract
108   >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn  : L0.FunctionalRelation
109   >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn
110   >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function
111   >-- ISSUE.Sources.DependencyTracker.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation
112   >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation
113   @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction
114     ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function
115
116 ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
117   @L0.tag L0.Abstract
118
119 ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
120   @L0.assert ISSUE.Issue.resource
121     ISSUE.Functions.standardIssueResource
122   @L0.assert ISSUE.Issue.path
123     ISSUE.Functions.standardIssuePath
124
125 ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
126
127 ISSUE.Sources.ConstraintIssueSource <T ISSUE.IssueSource
128   @L0.tag L0.Abstract
129
130 // IssueSource template
131 ISSUE.constraint : L0.Template
132     @template %type %constraint %source %validator %baseFunction
133         %type
134             L0.HasConstraint %constraint : L0.Constraint
135                 L0.Constraint.Validator %validator
136         %source <T ISSUE.Sources.DependencyTracker
137             L0.Asserts _ : L0.Assertion
138                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
139                 L0.HasObject %type
140             L0.Asserts _ : L0.Assertion
141                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
142                 L0.HasObject %constraint
143             L0.Asserts _ : L0.Assertion
144                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
145                 L0.HasObject %baseFunction
146
147
148 ISSUE.listeningConstraint3 : L0.Template
149     @template %type %constraint %source %validator
150         %type
151             L0.HasConstraint %constraint : L0.Constraint
152                 L0.Constraint.Validator %validator
153         %source <T ISSUE.Sources.ListeningDependencyTracker
154             L0.Asserts _ : L0.Assertion
155                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
156                 L0.HasObject %type
157             L0.Asserts _ : L0.Assertion
158                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
159                 L0.HasObject %constraint
160
161 ISSUE.listeningConstraint : L0.Template
162     @template %type %constraint %source %validator %baseFunction
163         %type
164             L0.HasConstraint %constraint : L0.Constraint
165                 L0.Constraint.Validator %validator
166         %source <T ISSUE.Sources.ListeningDependencyTracker
167             L0.Asserts _ : L0.Assertion
168                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
169                 L0.HasObject %type
170             L0.Asserts _ : L0.Assertion
171                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
172                 L0.HasObject %constraint
173             L0.Asserts _ : L0.Assertion
174                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
175                 L0.HasObject %baseFunction
176
177 // Issue template
178 ISSUE.issue : L0.Template
179     @template %issue %severity %description
180         %issue <T ISSUE.Sources.DependencyTracker.Issue
181             L0.Asserts _ : L0.Assertion
182                 L0.HasPredicate ISSUE.Issue.HasSeverity
183                 L0.HasObject %severity
184             L0.Asserts _ : L0.Assertion
185                 L0.HasPredicate L0.HasDescription
186                 L0.HasObject %description
187
188 ISSUE.anonymousIssue : L0.Template
189     @template %issue %severity %description
190         %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue
191             L0.Asserts _ : L0.Assertion
192                 L0.HasPredicate ISSUE.Issue.HasSeverity
193                 L0.HasObject %severity
194             L0.Asserts _ : L0.Assertion
195                 L0.HasPredicate L0.HasDescription
196                 L0.HasObject %description
197
198 ISSUE.assignConstraint : L0.Template
199     @template %type %constraint %constraintType %source %sourceType
200         %type
201             L0.HasConstraint %constraint : %constraintType
202         %source <T %sourceType
203             L0.Asserts _ : L0.Assertion
204                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
205                 L0.HasObject %type
206             L0.Asserts _ : L0.Assertion
207                 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
208                 L0.HasObject %constraint