1 // Converted from version 16895
\r
2 L0 = <http://www.simantics.org/Layer0-1.1>
\r
3 L0X = <http://www.simantics.org/Layer0X-1.1>
\r
5 // Standard database structure
\r
7 ISSUE = <http://www.simantics.org/Issue-1.2> : L0.Ontology
\r
9 L0.HasResourceClass "org.simantics.issues.ontology.IssueResource"
\r
11 ISSUE.Functions : L0.Library
\r
13 ISSUE.IssueSourceType <T L0.Type
\r
15 ISSUE.IssueSource <T L0.Entity : ISSUE.IssueSourceType
16 @L0.tag ISSUE.IssueSource.Selected
\r
17 >-- ISSUE.IssueSource.HasConstraint --> L0.Constraint <R L0.DependsOn
\r
18 >-- ISSUE.IssueSource.Manages --> ISSUE.Issue <R L0.IsRelatedTo
\r
19 L0.InverseOf ISSUE.IssueSource.Manages.Inverse <R L0.IsRelatedTo
\r
20 >-- ISSUE.IssueSource.Selected --> ISSUE.IssueSource <R L0.IsRelatedTo
\r
21 >-- ISSUE.IssueSource.active ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
\r
22 @L0.assert ISSUE.IssueSource.active true
\r
24 ISSUE.ContinuousIssueSource <T ISSUE.IssueSource
\r
25 >-- ISSUE.ContinuousIssueSource.lastUpdateRevision --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
\r
27 ISSUE.Issue <T L0.Entity
28 L0.HasDescription "A notification of specified severity about an issue in the model."
29 >-- ISSUE.Issue.HasContext <R L0.IsRelatedTo
\r
30 L0.InverseOf ISSUE.Issue.HasContext.Inverse <R L0.IsRelatedTo
\r
31 >-- ISSUE.Issue.HasSeverity --> ISSUE.Severity <R L0.DependsOn : L0.FunctionalRelation
\r
32 >-- ISSUE.Issue.HasContexts --> L0.List <R L0.DependsOn
\r
33 >-- ISSUE.Issue.severity ==> "String" <R L0.HasProperty : L0.FunctionalRelation
\r
34 >-- ISSUE.Issue.resource ==> "String" <R L0.HasProperty : L0.FunctionalRelation
\r
35 >-- ISSUE.Issue.path ==> "String" <R L0.HasProperty : L0.FunctionalRelation
\r
36 >-- ISSUE.Issue.creationTime --> L0.String <R L0.HasProperty : L0.FunctionalRelation
\r
37 @L0.assert L0.HasDescription
\r
38 ISSUE.Functions.defaultDescription : L0.Function
\r
39 L0.HasValueType "String"
40 @L0.assert ISSUE.Issue.severity
\r
41 ISSUE.Functions.standardIssueSeverity : L0.Function
\r
42 L0.HasValueType "String"
\r
43 @L0.assert ISSUE.Issue.resource
\r
44 ISSUE.Functions.standardIssueResource : L0.Function
\r
45 L0.HasValueType "String"
\r
46 @L0.assert ISSUE.Issue.path
\r
47 ISSUE.Functions.standardIssuePath : L0.Function
\r
48 L0.HasValueType "String"
\r
51 L0.HasDescription "A tag for marking issues as manually added, i.e. so called user issues."
\r
56 L0.HasDescription "A tag for marking issues hidden. This can be used as a hint for user interfaces."
\r
61 L0.HasDescription "A tag for marking issues as resolved."
\r
65 ISSUE.Severity <T L0.Value
66 L0.HasDescription "The severity level of an issue"
67 @L0.tag L0.Enumeration
\r
68 @L0.assert L0.ConvertsToValueWith
\r
69 L0.Functions.resourceAsValue
\r
71 ISSUE.Severity.Note : ISSUE.Severity
72 L0.HasDescription "These issues are markers for documentation purposes"
73 ISSUE.Severity.Info : ISSUE.Severity
74 L0.HasDescription "These issues are good to know information"
75 ISSUE.Severity.Warning : ISSUE.Severity
76 L0.HasDescription "These issues point out a possible error"
77 ISSUE.Severity.Error : ISSUE.Severity
78 L0.HasDescription "These issues indicate a severe issue which blocks calculation"
79 ISSUE.Severity.Fatal : ISSUE.Severity
80 L0.HasDescription "These issues indicate situations which should not occur in normal operation"
82 ISSUE.Sources : L0.Library
\r
84 ISSUE.Sources.DependencyTracker <T ISSUE.ContinuousIssueSource
\r
85 >-- ISSUE.Sources.DependencyTracker.HasType --> L0.Entity <R L0.DependsOn : L0.FunctionalRelation
\r
86 >-- ISSUE.Sources.DependencyTracker.HasSearchType --> L0.Entity <R L0.DependsOn
\r
87 >-- ISSUE.Sources.DependencyTracker.HasExtension --> L0.Function <R L0.DependsOn : L0.Function
\r
88 >-- ISSUE.Sources.DependencyTracker.HasBaseFunction --> L0.Function <R L0.DependsOn : L0.FunctionalRelation
\r
89 >-- ISSUE.Sources.DependencyTracker.HasConstraint --> L0.Constraint <R ISSUE.IssueSource.HasConstraint : L0.FunctionalRelation
\r
90 @L0.assert ISSUE.Sources.DependencyTracker.HasBaseFunction
\r
91 ISSUE.Functions.dependencyBaseRealizationFunction : L0.Function
\r
93 ISSUE.Sources.ListeningDependencyTracker <T ISSUE.Sources.DependencyTracker
\r
95 ISSUE.Sources.DependencyTracker.Issue <T ISSUE.Issue
\r
96 @L0.assert ISSUE.Issue.resource
\r
97 ISSUE.Functions.standardIssueResource
\r
98 @L0.assert ISSUE.Issue.path
\r
99 ISSUE.Functions.standardIssuePath
\r
101 ISSUE.Sources.DependencyTracker.AnonymousIssue <T ISSUE.Sources.DependencyTracker.Issue
\r
103 // IssueSource template
\r
104 ISSUE.constraint : L0.Template
\r
105 @template %type %constraint %source %validator %baseFunction
\r
107 L0.HasConstraint %constraint : L0.Constraint
\r
108 L0.Constraint.Validator %validator
\r
109 %source <T ISSUE.Sources.DependencyTracker
\r
110 L0.Asserts _ : L0.Assertion
\r
111 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
\r
113 L0.Asserts _ : L0.Assertion
\r
114 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
\r
115 L0.HasObject %constraint
\r
116 L0.Asserts _ : L0.Assertion
\r
117 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
\r
118 L0.HasObject %baseFunction
\r
121 ISSUE.listeningConstraint3 : L0.Template
\r
122 @template %type %constraint %source %validator
\r
124 L0.HasConstraint %constraint : L0.Constraint
\r
125 L0.Constraint.Validator %validator
\r
126 %source <T ISSUE.Sources.ListeningDependencyTracker
\r
127 L0.Asserts _ : L0.Assertion
\r
128 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
\r
130 L0.Asserts _ : L0.Assertion
\r
131 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
\r
132 L0.HasObject %constraint
\r
134 ISSUE.listeningConstraint : L0.Template
\r
135 @template %type %constraint %source %validator %baseFunction
\r
137 L0.HasConstraint %constraint : L0.Constraint
\r
138 L0.Constraint.Validator %validator
\r
139 %source <T ISSUE.Sources.ListeningDependencyTracker
\r
140 L0.Asserts _ : L0.Assertion
\r
141 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
\r
143 L0.Asserts _ : L0.Assertion
\r
144 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
\r
145 L0.HasObject %constraint
\r
146 L0.Asserts _ : L0.Assertion
\r
147 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasBaseFunction
\r
148 L0.HasObject %baseFunction
\r
151 ISSUE.issue : L0.Template
\r
152 @template %issue %severity %description
\r
153 %issue <T ISSUE.Sources.DependencyTracker.Issue
\r
154 L0.Asserts _ : L0.Assertion
\r
155 L0.HasPredicate ISSUE.Issue.HasSeverity
\r
156 L0.HasObject %severity
\r
157 L0.Asserts _ : L0.Assertion
\r
158 L0.HasPredicate L0.HasDescription
\r
159 L0.HasObject %description
\r
161 ISSUE.anonymousIssue : L0.Template
\r
162 @template %issue %severity %description
\r
163 %issue <T ISSUE.Sources.DependencyTracker.AnonymousIssue
\r
164 L0.Asserts _ : L0.Assertion
\r
165 L0.HasPredicate ISSUE.Issue.HasSeverity
\r
166 L0.HasObject %severity
\r
167 L0.Asserts _ : L0.Assertion
\r
168 L0.HasPredicate L0.HasDescription
\r
169 L0.HasObject %description
\r
171 ISSUE.assignConstraint : L0.Template
\r
172 @template %type %constraint %constraintType %source %sourceType
\r
174 L0.HasConstraint %constraint : %constraintType
\r
175 %source <T %sourceType
\r
176 L0.Asserts _ : L0.Assertion
\r
177 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasType
\r
179 L0.Asserts _ : L0.Assertion
\r
180 L0.HasPredicate ISSUE.Sources.DependencyTracker.HasConstraint
\r
181 L0.HasObject %constraint
\r