@oml/language 0.7.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (91) hide show
  1. package/README.md +44 -0
  2. package/out/oml/generated/ast.d.ts +2109 -0
  3. package/out/oml/generated/ast.js +1807 -0
  4. package/out/oml/generated/ast.js.map +1 -0
  5. package/out/oml/generated/grammar.d.ts +6 -0
  6. package/out/oml/generated/grammar.js +6885 -0
  7. package/out/oml/generated/grammar.js.map +1 -0
  8. package/out/oml/generated/module.d.ts +13 -0
  9. package/out/oml/generated/module.js +21 -0
  10. package/out/oml/generated/module.js.map +1 -0
  11. package/out/oml/index.d.ts +17 -0
  12. package/out/oml/index.js +19 -0
  13. package/out/oml/index.js.map +1 -0
  14. package/out/oml/oml-candidates.d.ts +27 -0
  15. package/out/oml/oml-candidates.js +146 -0
  16. package/out/oml/oml-candidates.js.map +1 -0
  17. package/out/oml/oml-code-actions.d.ts +6 -0
  18. package/out/oml/oml-code-actions.js +79 -0
  19. package/out/oml/oml-code-actions.js.map +1 -0
  20. package/out/oml/oml-completion.d.ts +50 -0
  21. package/out/oml/oml-completion.js +188 -0
  22. package/out/oml/oml-completion.js.map +1 -0
  23. package/out/oml/oml-converter.d.ts +10 -0
  24. package/out/oml/oml-converter.js +62 -0
  25. package/out/oml/oml-converter.js.map +1 -0
  26. package/out/oml/oml-document-validator.d.ts +10 -0
  27. package/out/oml/oml-document-validator.js +31 -0
  28. package/out/oml/oml-document-validator.js.map +1 -0
  29. package/out/oml/oml-document.d.ts +9 -0
  30. package/out/oml/oml-document.js +18 -0
  31. package/out/oml/oml-document.js.map +1 -0
  32. package/out/oml/oml-edit.d.ts +72 -0
  33. package/out/oml/oml-edit.js +1155 -0
  34. package/out/oml/oml-edit.js.map +1 -0
  35. package/out/oml/oml-formatter.d.ts +22 -0
  36. package/out/oml/oml-formatter.js +357 -0
  37. package/out/oml/oml-formatter.js.map +1 -0
  38. package/out/oml/oml-hover.d.ts +13 -0
  39. package/out/oml/oml-hover.js +71 -0
  40. package/out/oml/oml-hover.js.map +1 -0
  41. package/out/oml/oml-index-manager.d.ts +10 -0
  42. package/out/oml/oml-index-manager.js +48 -0
  43. package/out/oml/oml-index-manager.js.map +1 -0
  44. package/out/oml/oml-index.d.ts +20 -0
  45. package/out/oml/oml-index.js +133 -0
  46. package/out/oml/oml-index.js.map +1 -0
  47. package/out/oml/oml-module.d.ts +42 -0
  48. package/out/oml/oml-module.js +76 -0
  49. package/out/oml/oml-module.js.map +1 -0
  50. package/out/oml/oml-rename.d.ts +14 -0
  51. package/out/oml/oml-rename.js +114 -0
  52. package/out/oml/oml-rename.js.map +1 -0
  53. package/out/oml/oml-scope.d.ts +30 -0
  54. package/out/oml/oml-scope.js +225 -0
  55. package/out/oml/oml-scope.js.map +1 -0
  56. package/out/oml/oml-serializer.d.ts +2 -0
  57. package/out/oml/oml-serializer.js +883 -0
  58. package/out/oml/oml-serializer.js.map +1 -0
  59. package/out/oml/oml-utils.d.ts +53 -0
  60. package/out/oml/oml-utils.js +241 -0
  61. package/out/oml/oml-utils.js.map +1 -0
  62. package/out/oml/oml-validator.d.ts +49 -0
  63. package/out/oml/oml-validator.js +668 -0
  64. package/out/oml/oml-validator.js.map +1 -0
  65. package/out/oml/oml-workspace.d.ts +23 -0
  66. package/out/oml/oml-workspace.js +68 -0
  67. package/out/oml/oml-workspace.js.map +1 -0
  68. package/package.json +50 -0
  69. package/src/oml/generated/ast.ts +2641 -0
  70. package/src/oml/generated/grammar.ts +6887 -0
  71. package/src/oml/generated/module.ts +25 -0
  72. package/src/oml/index.ts +19 -0
  73. package/src/oml/oml-candidates.ts +176 -0
  74. package/src/oml/oml-code-actions.ts +120 -0
  75. package/src/oml/oml-completion.ts +222 -0
  76. package/src/oml/oml-converter.ts +66 -0
  77. package/src/oml/oml-document-validator.ts +39 -0
  78. package/src/oml/oml-document.ts +24 -0
  79. package/src/oml/oml-edit.ts +1292 -0
  80. package/src/oml/oml-formatter.ts +390 -0
  81. package/src/oml/oml-hover.ts +93 -0
  82. package/src/oml/oml-index-manager.ts +56 -0
  83. package/src/oml/oml-index.ts +145 -0
  84. package/src/oml/oml-module.ts +105 -0
  85. package/src/oml/oml-rename.ts +140 -0
  86. package/src/oml/oml-scope.ts +279 -0
  87. package/src/oml/oml-serializer.ts +1080 -0
  88. package/src/oml/oml-utils.ts +294 -0
  89. package/src/oml/oml-validator.ts +725 -0
  90. package/src/oml/oml-workspace.ts +81 -0
  91. package/src/oml/oml.langium +594 -0
@@ -0,0 +1,1807 @@
1
+ /******************************************************************************
2
+ * This file was generated by langium-cli 4.1.0.
3
+ * DO NOT EDIT MANUALLY!
4
+ ******************************************************************************/
5
+ /* eslint-disable */
6
+ import * as langium from 'langium';
7
+ export const OmlTerminals = {
8
+ ML_COMMENT: /\/\*[\s\S]*?\*\//,
9
+ SL_COMMENT: /\/\/[^\n\r]*/,
10
+ WS: /\s+/,
11
+ BOOLEAN: /(false|true)/,
12
+ DOUBLE: /((\+|-)?((?:[0-9])+(\.(?:[0-9])*)?|(\.(?:[0-9])+))(e|E)(\+|-)?(?:[0-9])+)(?!(?:[a-zA-Z])|(?:[-_.~%]))/,
13
+ DECIMAL: /((\+|-)?((?:[0-9])+(\.(?:[0-9])*))|(\.(?:[0-9])+))(?!(?:[a-zA-Z])|(?:[-_.~%]))/,
14
+ INTEGER: /((\+|-)(?:[0-9])+)(?!(?:[a-zA-Z])|(?:[-_.~%]))/,
15
+ UNSIGNED_INTEGER: /([0-9])+(?!(?:[a-zA-Z])|(?:[-_.~%]))/,
16
+ STRING: /("""(?:[\s\S]*?"""))|('''(?:[\s\S]*?'''))|('(?:[\s\S]*?'))|("(?:[\s\S]*?"))/,
17
+ NAMESPACE: /<[^#>\s]*[#/]>/,
18
+ IRI: /<[^>\s]*>/,
19
+ QNAME: /(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*):(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*)/,
20
+ ID: /\^?(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*)/,
21
+ };
22
+ export const Annotation = {
23
+ $type: 'Annotation',
24
+ literalValues: 'literalValues',
25
+ property: 'property',
26
+ referencedValues: 'referencedValues'
27
+ };
28
+ export function isAnnotation(item) {
29
+ return reflection.isInstance(item, Annotation.$type);
30
+ }
31
+ export const AnnotationProperty = {
32
+ $type: 'AnnotationProperty',
33
+ name: 'name',
34
+ ownedAnnotations: 'ownedAnnotations',
35
+ ownedEquivalences: 'ownedEquivalences',
36
+ ownedSpecializations: 'ownedSpecializations',
37
+ ref: 'ref'
38
+ };
39
+ export function isAnnotationProperty(item) {
40
+ return reflection.isInstance(item, AnnotationProperty.$type);
41
+ }
42
+ export const AnonymousConceptInstance = {
43
+ $type: 'AnonymousConceptInstance',
44
+ ownedPropertyValues: 'ownedPropertyValues',
45
+ type: 'type'
46
+ };
47
+ export function isAnonymousConceptInstance(item) {
48
+ return reflection.isInstance(item, AnonymousConceptInstance.$type);
49
+ }
50
+ export const AnonymousInstance = {
51
+ $type: 'AnonymousInstance'
52
+ };
53
+ export function isAnonymousInstance(item) {
54
+ return reflection.isInstance(item, AnonymousInstance.$type);
55
+ }
56
+ export const AnonymousRelationInstance = {
57
+ $type: 'AnonymousRelationInstance',
58
+ ownedPropertyValues: 'ownedPropertyValues',
59
+ target: 'target'
60
+ };
61
+ export function isAnonymousRelationInstance(item) {
62
+ return reflection.isInstance(item, AnonymousRelationInstance.$type);
63
+ }
64
+ export const Argument = {
65
+ $type: 'Argument',
66
+ instance: 'instance',
67
+ literal: 'literal',
68
+ variable: 'variable'
69
+ };
70
+ export function isArgument(item) {
71
+ return reflection.isInstance(item, Argument.$type);
72
+ }
73
+ export const Aspect = {
74
+ $type: 'Aspect',
75
+ name: 'name',
76
+ ownedAnnotations: 'ownedAnnotations',
77
+ ownedEquivalences: 'ownedEquivalences',
78
+ ownedKeys: 'ownedKeys',
79
+ ownedPropertyRestrictions: 'ownedPropertyRestrictions',
80
+ ownedSpecializations: 'ownedSpecializations',
81
+ ref: 'ref'
82
+ };
83
+ export function isAspect(item) {
84
+ return reflection.isInstance(item, Aspect.$type);
85
+ }
86
+ export const Assertion = {
87
+ $type: 'Assertion'
88
+ };
89
+ export function isAssertion(item) {
90
+ return reflection.isInstance(item, Assertion.$type);
91
+ }
92
+ export const Axiom = {
93
+ $type: 'Axiom'
94
+ };
95
+ export function isAxiom(item) {
96
+ return reflection.isInstance(item, Axiom.$type);
97
+ }
98
+ export const BinaryPredicate = {
99
+ $type: 'BinaryPredicate'
100
+ };
101
+ export function isBinaryPredicate(item) {
102
+ return reflection.isInstance(item, BinaryPredicate.$type);
103
+ }
104
+ export function isBoolean(item) {
105
+ return typeof item === 'boolean';
106
+ }
107
+ export const BooleanLiteral = {
108
+ $type: 'BooleanLiteral',
109
+ value: 'value'
110
+ };
111
+ export function isBooleanLiteral(item) {
112
+ return reflection.isInstance(item, BooleanLiteral.$type);
113
+ }
114
+ export const BuiltIn = {
115
+ $type: 'BuiltIn',
116
+ name: 'name',
117
+ ownedAnnotations: 'ownedAnnotations',
118
+ ref: 'ref'
119
+ };
120
+ export function isBuiltIn(item) {
121
+ return reflection.isInstance(item, BuiltIn.$type);
122
+ }
123
+ export const BuiltInPredicate = {
124
+ $type: 'BuiltInPredicate',
125
+ arguments: 'arguments',
126
+ builtIn: 'builtIn'
127
+ };
128
+ export function isBuiltInPredicate(item) {
129
+ return reflection.isInstance(item, BuiltInPredicate.$type);
130
+ }
131
+ export function isCardinalityRestrictionKind(item) {
132
+ return item === 'exactly' || item === 'min' || item === 'max';
133
+ }
134
+ export const Concept = {
135
+ $type: 'Concept',
136
+ name: 'name',
137
+ ownedAnnotations: 'ownedAnnotations',
138
+ ownedEnumeration: 'ownedEnumeration',
139
+ ownedEquivalences: 'ownedEquivalences',
140
+ ownedKeys: 'ownedKeys',
141
+ ownedPropertyRestrictions: 'ownedPropertyRestrictions',
142
+ ownedSpecializations: 'ownedSpecializations',
143
+ ref: 'ref'
144
+ };
145
+ export function isConcept(item) {
146
+ return reflection.isInstance(item, Concept.$type);
147
+ }
148
+ export const ConceptInstance = {
149
+ $type: 'ConceptInstance',
150
+ name: 'name',
151
+ ownedAnnotations: 'ownedAnnotations',
152
+ ownedPropertyValues: 'ownedPropertyValues',
153
+ ownedTypes: 'ownedTypes',
154
+ ref: 'ref'
155
+ };
156
+ export function isConceptInstance(item) {
157
+ return reflection.isInstance(item, ConceptInstance.$type);
158
+ }
159
+ export function isCrossRef(item) {
160
+ return (typeof item === 'string' && (/(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*):(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*)/.test(item) || /<[^>\s]*>/.test(item)));
161
+ }
162
+ export function isDecimal(item) {
163
+ return typeof item === 'number';
164
+ }
165
+ export const DecimalLiteral = {
166
+ $type: 'DecimalLiteral',
167
+ value: 'value'
168
+ };
169
+ export function isDecimalLiteral(item) {
170
+ return reflection.isInstance(item, DecimalLiteral.$type);
171
+ }
172
+ export const Description = {
173
+ $type: 'Description',
174
+ namespace: 'namespace',
175
+ ownedAnnotations: 'ownedAnnotations',
176
+ ownedImports: 'ownedImports',
177
+ ownedStatements: 'ownedStatements',
178
+ prefix: 'prefix'
179
+ };
180
+ export function isDescription(item) {
181
+ return reflection.isInstance(item, Description.$type);
182
+ }
183
+ export const DescriptionBox = {
184
+ $type: 'DescriptionBox'
185
+ };
186
+ export function isDescriptionBox(item) {
187
+ return reflection.isInstance(item, DescriptionBox.$type);
188
+ }
189
+ export const DescriptionBundle = {
190
+ $type: 'DescriptionBundle',
191
+ namespace: 'namespace',
192
+ ownedAnnotations: 'ownedAnnotations',
193
+ ownedImports: 'ownedImports',
194
+ prefix: 'prefix'
195
+ };
196
+ export function isDescriptionBundle(item) {
197
+ return reflection.isInstance(item, DescriptionBundle.$type);
198
+ }
199
+ export const DescriptionMember = {
200
+ $type: 'DescriptionMember'
201
+ };
202
+ export function isDescriptionMember(item) {
203
+ return reflection.isInstance(item, DescriptionMember.$type);
204
+ }
205
+ export const DescriptionStatement = {
206
+ $type: 'DescriptionStatement'
207
+ };
208
+ export function isDescriptionStatement(item) {
209
+ return reflection.isInstance(item, DescriptionStatement.$type);
210
+ }
211
+ export const DifferentFromPredicate = {
212
+ $type: 'DifferentFromPredicate',
213
+ argument1: 'argument1',
214
+ argument2: 'argument2'
215
+ };
216
+ export function isDifferentFromPredicate(item) {
217
+ return reflection.isInstance(item, DifferentFromPredicate.$type);
218
+ }
219
+ export function isDouble(item) {
220
+ return typeof item === 'number';
221
+ }
222
+ export const DoubleLiteral = {
223
+ $type: 'DoubleLiteral',
224
+ value: 'value'
225
+ };
226
+ export function isDoubleLiteral(item) {
227
+ return reflection.isInstance(item, DoubleLiteral.$type);
228
+ }
229
+ export const Element = {
230
+ $type: 'Element'
231
+ };
232
+ export function isElement(item) {
233
+ return reflection.isInstance(item, Element.$type);
234
+ }
235
+ export const Entity = {
236
+ $type: 'Entity'
237
+ };
238
+ export function isEntity(item) {
239
+ return reflection.isInstance(item, Entity.$type);
240
+ }
241
+ export const EntityEquivalenceAxiom = {
242
+ $type: 'EntityEquivalenceAxiom',
243
+ ownedPropertyRestrictions: 'ownedPropertyRestrictions',
244
+ superTerms: 'superTerms'
245
+ };
246
+ export function isEntityEquivalenceAxiom(item) {
247
+ return reflection.isInstance(item, EntityEquivalenceAxiom.$type);
248
+ }
249
+ export const EquivalenceAxiom = {
250
+ $type: 'EquivalenceAxiom'
251
+ };
252
+ export function isEquivalenceAxiom(item) {
253
+ return reflection.isInstance(item, EquivalenceAxiom.$type);
254
+ }
255
+ export const ForwardRelation = {
256
+ $type: 'ForwardRelation',
257
+ name: 'name',
258
+ ownedAnnotations: 'ownedAnnotations'
259
+ };
260
+ export function isForwardRelation(item) {
261
+ return reflection.isInstance(item, ForwardRelation.$type);
262
+ }
263
+ export const IdentifiedElement = {
264
+ $type: 'IdentifiedElement'
265
+ };
266
+ export function isIdentifiedElement(item) {
267
+ return reflection.isInstance(item, IdentifiedElement.$type);
268
+ }
269
+ export const Import = {
270
+ $type: 'Import',
271
+ imported: 'imported',
272
+ kind: 'kind',
273
+ prefix: 'prefix'
274
+ };
275
+ export function isImport(item) {
276
+ return reflection.isInstance(item, Import.$type);
277
+ }
278
+ export function isImportKind(item) {
279
+ return item === 'extends' || item === 'uses' || item === 'includes';
280
+ }
281
+ export const Instance = {
282
+ $type: 'Instance'
283
+ };
284
+ export function isInstance(item) {
285
+ return reflection.isInstance(item, Instance.$type);
286
+ }
287
+ export const InstanceEnumerationAxiom = {
288
+ $type: 'InstanceEnumerationAxiom',
289
+ instances: 'instances'
290
+ };
291
+ export function isInstanceEnumerationAxiom(item) {
292
+ return reflection.isInstance(item, InstanceEnumerationAxiom.$type);
293
+ }
294
+ export function isInteger(item) {
295
+ return typeof item === 'number';
296
+ }
297
+ export const IntegerLiteral = {
298
+ $type: 'IntegerLiteral',
299
+ value: 'value'
300
+ };
301
+ export function isIntegerLiteral(item) {
302
+ return reflection.isInstance(item, IntegerLiteral.$type);
303
+ }
304
+ export const KeyAxiom = {
305
+ $type: 'KeyAxiom',
306
+ properties: 'properties'
307
+ };
308
+ export function isKeyAxiom(item) {
309
+ return reflection.isInstance(item, KeyAxiom.$type);
310
+ }
311
+ export const Literal = {
312
+ $type: 'Literal'
313
+ };
314
+ export function isLiteral(item) {
315
+ return reflection.isInstance(item, Literal.$type);
316
+ }
317
+ export const LiteralEnumerationAxiom = {
318
+ $type: 'LiteralEnumerationAxiom',
319
+ literals: 'literals'
320
+ };
321
+ export function isLiteralEnumerationAxiom(item) {
322
+ return reflection.isInstance(item, LiteralEnumerationAxiom.$type);
323
+ }
324
+ export const Member = {
325
+ $type: 'Member'
326
+ };
327
+ export function isMember(item) {
328
+ return reflection.isInstance(item, Member.$type);
329
+ }
330
+ export const NamedInstance = {
331
+ $type: 'NamedInstance'
332
+ };
333
+ export function isNamedInstance(item) {
334
+ return reflection.isInstance(item, NamedInstance.$type);
335
+ }
336
+ export const Ontology = {
337
+ $type: 'Ontology'
338
+ };
339
+ export function isOntology(item) {
340
+ return reflection.isInstance(item, Ontology.$type);
341
+ }
342
+ export const Predicate = {
343
+ $type: 'Predicate'
344
+ };
345
+ export function isPredicate(item) {
346
+ return reflection.isInstance(item, Predicate.$type);
347
+ }
348
+ export const Property = {
349
+ $type: 'Property'
350
+ };
351
+ export function isProperty(item) {
352
+ return reflection.isInstance(item, Property.$type);
353
+ }
354
+ export const PropertyCardinalityRestrictionAxiom = {
355
+ $type: 'PropertyCardinalityRestrictionAxiom',
356
+ cardinality: 'cardinality',
357
+ kind: 'kind',
358
+ property: 'property',
359
+ range: 'range'
360
+ };
361
+ export function isPropertyCardinalityRestrictionAxiom(item) {
362
+ return reflection.isInstance(item, PropertyCardinalityRestrictionAxiom.$type);
363
+ }
364
+ export const PropertyEquivalenceAxiom = {
365
+ $type: 'PropertyEquivalenceAxiom',
366
+ superTerms: 'superTerms'
367
+ };
368
+ export function isPropertyEquivalenceAxiom(item) {
369
+ return reflection.isInstance(item, PropertyEquivalenceAxiom.$type);
370
+ }
371
+ export const PropertyPredicate = {
372
+ $type: 'PropertyPredicate',
373
+ argument1: 'argument1',
374
+ argument2: 'argument2',
375
+ property: 'property'
376
+ };
377
+ export function isPropertyPredicate(item) {
378
+ return reflection.isInstance(item, PropertyPredicate.$type);
379
+ }
380
+ export const PropertyRangeRestrictionAxiom = {
381
+ $type: 'PropertyRangeRestrictionAxiom',
382
+ kind: 'kind',
383
+ property: 'property',
384
+ range: 'range'
385
+ };
386
+ export function isPropertyRangeRestrictionAxiom(item) {
387
+ return reflection.isInstance(item, PropertyRangeRestrictionAxiom.$type);
388
+ }
389
+ export const PropertyRestrictionAxiom = {
390
+ $type: 'PropertyRestrictionAxiom'
391
+ };
392
+ export function isPropertyRestrictionAxiom(item) {
393
+ return reflection.isInstance(item, PropertyRestrictionAxiom.$type);
394
+ }
395
+ export const PropertySelfRestrictionAxiom = {
396
+ $type: 'PropertySelfRestrictionAxiom',
397
+ property: 'property'
398
+ };
399
+ export function isPropertySelfRestrictionAxiom(item) {
400
+ return reflection.isInstance(item, PropertySelfRestrictionAxiom.$type);
401
+ }
402
+ export const PropertyValueAssertion = {
403
+ $type: 'PropertyValueAssertion',
404
+ containedValues: 'containedValues',
405
+ literalValues: 'literalValues',
406
+ property: 'property',
407
+ referencedValues: 'referencedValues'
408
+ };
409
+ export function isPropertyValueAssertion(item) {
410
+ return reflection.isInstance(item, PropertyValueAssertion.$type);
411
+ }
412
+ export const PropertyValueRestrictionAxiom = {
413
+ $type: 'PropertyValueRestrictionAxiom',
414
+ containedValue: 'containedValue',
415
+ literalValue: 'literalValue',
416
+ property: 'property',
417
+ referencedValue: 'referencedValue'
418
+ };
419
+ export function isPropertyValueRestrictionAxiom(item) {
420
+ return reflection.isInstance(item, PropertyValueRestrictionAxiom.$type);
421
+ }
422
+ export const QuotedLiteral = {
423
+ $type: 'QuotedLiteral',
424
+ langTag: 'langTag',
425
+ type: 'type',
426
+ value: 'value'
427
+ };
428
+ export function isQuotedLiteral(item) {
429
+ return reflection.isInstance(item, QuotedLiteral.$type);
430
+ }
431
+ export function isRangeRestrictionKind(item) {
432
+ return item === 'all' || item === 'some';
433
+ }
434
+ export function isRef(item) {
435
+ return (typeof item === 'string' && (/(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*):(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*)/.test(item) || /\^?(?:((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%]))((?:[a-zA-Z])|(?:[0-9])|(?:[-_.~%])|\$)*)/.test(item) || /<[^>\s]*>/.test(item)));
436
+ }
437
+ export const Relation = {
438
+ $type: 'Relation'
439
+ };
440
+ export function isRelation(item) {
441
+ return reflection.isInstance(item, Relation.$type);
442
+ }
443
+ export const RelationBase = {
444
+ $type: 'RelationBase'
445
+ };
446
+ export function isRelationBase(item) {
447
+ return reflection.isInstance(item, RelationBase.$type);
448
+ }
449
+ export const RelationEntity = {
450
+ $type: 'RelationEntity',
451
+ asymmetric: 'asymmetric',
452
+ forwardRelation: 'forwardRelation',
453
+ functional: 'functional',
454
+ inverseFunctional: 'inverseFunctional',
455
+ irreflexive: 'irreflexive',
456
+ name: 'name',
457
+ ownedAnnotations: 'ownedAnnotations',
458
+ ownedEquivalences: 'ownedEquivalences',
459
+ ownedKeys: 'ownedKeys',
460
+ ownedPropertyRestrictions: 'ownedPropertyRestrictions',
461
+ ownedSpecializations: 'ownedSpecializations',
462
+ ref: 'ref',
463
+ reflexive: 'reflexive',
464
+ reverseRelation: 'reverseRelation',
465
+ sources: 'sources',
466
+ symmetric: 'symmetric',
467
+ targets: 'targets',
468
+ transitive: 'transitive'
469
+ };
470
+ export function isRelationEntity(item) {
471
+ return reflection.isInstance(item, RelationEntity.$type);
472
+ }
473
+ export const RelationEntityPredicate = {
474
+ $type: 'RelationEntityPredicate',
475
+ argument: 'argument',
476
+ argument1: 'argument1',
477
+ argument2: 'argument2',
478
+ type: 'type'
479
+ };
480
+ export function isRelationEntityPredicate(item) {
481
+ return reflection.isInstance(item, RelationEntityPredicate.$type);
482
+ }
483
+ export const RelationInstance = {
484
+ $type: 'RelationInstance',
485
+ name: 'name',
486
+ ownedAnnotations: 'ownedAnnotations',
487
+ ownedPropertyValues: 'ownedPropertyValues',
488
+ ownedTypes: 'ownedTypes',
489
+ ref: 'ref',
490
+ sources: 'sources',
491
+ targets: 'targets'
492
+ };
493
+ export function isRelationInstance(item) {
494
+ return reflection.isInstance(item, RelationInstance.$type);
495
+ }
496
+ export const ReverseRelation = {
497
+ $type: 'ReverseRelation',
498
+ name: 'name',
499
+ ownedAnnotations: 'ownedAnnotations'
500
+ };
501
+ export function isReverseRelation(item) {
502
+ return reflection.isInstance(item, ReverseRelation.$type);
503
+ }
504
+ export const Rule = {
505
+ $type: 'Rule',
506
+ antecedent: 'antecedent',
507
+ consequent: 'consequent',
508
+ name: 'name',
509
+ ownedAnnotations: 'ownedAnnotations',
510
+ ref: 'ref'
511
+ };
512
+ export function isRule(item) {
513
+ return reflection.isInstance(item, Rule.$type);
514
+ }
515
+ export const SameAsPredicate = {
516
+ $type: 'SameAsPredicate',
517
+ argument1: 'argument1',
518
+ argument2: 'argument2'
519
+ };
520
+ export function isSameAsPredicate(item) {
521
+ return reflection.isInstance(item, SameAsPredicate.$type);
522
+ }
523
+ export const Scalar = {
524
+ $type: 'Scalar',
525
+ name: 'name',
526
+ ownedAnnotations: 'ownedAnnotations',
527
+ ownedEnumeration: 'ownedEnumeration',
528
+ ownedEquivalences: 'ownedEquivalences',
529
+ ownedSpecializations: 'ownedSpecializations',
530
+ ref: 'ref'
531
+ };
532
+ export function isScalar(item) {
533
+ return reflection.isInstance(item, Scalar.$type);
534
+ }
535
+ export const ScalarEquivalenceAxiom = {
536
+ $type: 'ScalarEquivalenceAxiom',
537
+ language: 'language',
538
+ length: 'length',
539
+ maxExclusive: 'maxExclusive',
540
+ maxInclusive: 'maxInclusive',
541
+ maxLength: 'maxLength',
542
+ minExclusive: 'minExclusive',
543
+ minInclusive: 'minInclusive',
544
+ minLength: 'minLength',
545
+ pattern: 'pattern',
546
+ superTerms: 'superTerms'
547
+ };
548
+ export function isScalarEquivalenceAxiom(item) {
549
+ return reflection.isInstance(item, ScalarEquivalenceAxiom.$type);
550
+ }
551
+ export const ScalarProperty = {
552
+ $type: 'ScalarProperty',
553
+ domains: 'domains',
554
+ functional: 'functional',
555
+ name: 'name',
556
+ ownedAnnotations: 'ownedAnnotations',
557
+ ownedEquivalences: 'ownedEquivalences',
558
+ ownedSpecializations: 'ownedSpecializations',
559
+ ranges: 'ranges',
560
+ ref: 'ref'
561
+ };
562
+ export function isScalarProperty(item) {
563
+ return reflection.isInstance(item, ScalarProperty.$type);
564
+ }
565
+ export const SemanticProperty = {
566
+ $type: 'SemanticProperty'
567
+ };
568
+ export function isSemanticProperty(item) {
569
+ return reflection.isInstance(item, SemanticProperty.$type);
570
+ }
571
+ export const SpecializableProperty = {
572
+ $type: 'SpecializableProperty'
573
+ };
574
+ export function isSpecializableProperty(item) {
575
+ return reflection.isInstance(item, SpecializableProperty.$type);
576
+ }
577
+ export const SpecializableTerm = {
578
+ $type: 'SpecializableTerm'
579
+ };
580
+ export function isSpecializableTerm(item) {
581
+ return reflection.isInstance(item, SpecializableTerm.$type);
582
+ }
583
+ export const SpecializationAxiom = {
584
+ $type: 'SpecializationAxiom',
585
+ superTerm: 'superTerm'
586
+ };
587
+ export function isSpecializationAxiom(item) {
588
+ return reflection.isInstance(item, SpecializationAxiom.$type);
589
+ }
590
+ export const Statement = {
591
+ $type: 'Statement'
592
+ };
593
+ export function isStatement(item) {
594
+ return reflection.isInstance(item, Statement.$type);
595
+ }
596
+ export const Term = {
597
+ $type: 'Term'
598
+ };
599
+ export function isTerm(item) {
600
+ return reflection.isInstance(item, Term.$type);
601
+ }
602
+ export const Type = {
603
+ $type: 'Type'
604
+ };
605
+ export function isType(item) {
606
+ return reflection.isInstance(item, Type.$type);
607
+ }
608
+ export const TypeAssertion = {
609
+ $type: 'TypeAssertion',
610
+ type: 'type'
611
+ };
612
+ export function isTypeAssertion(item) {
613
+ return reflection.isInstance(item, TypeAssertion.$type);
614
+ }
615
+ export const TypePredicate = {
616
+ $type: 'TypePredicate',
617
+ argument: 'argument',
618
+ type: 'type'
619
+ };
620
+ export function isTypePredicate(item) {
621
+ return reflection.isInstance(item, TypePredicate.$type);
622
+ }
623
+ export const UnaryPredicate = {
624
+ $type: 'UnaryPredicate'
625
+ };
626
+ export function isUnaryPredicate(item) {
627
+ return reflection.isInstance(item, UnaryPredicate.$type);
628
+ }
629
+ export const UnreifiedRelation = {
630
+ $type: 'UnreifiedRelation',
631
+ asymmetric: 'asymmetric',
632
+ functional: 'functional',
633
+ inverseFunctional: 'inverseFunctional',
634
+ irreflexive: 'irreflexive',
635
+ name: 'name',
636
+ ownedAnnotations: 'ownedAnnotations',
637
+ ownedEquivalences: 'ownedEquivalences',
638
+ ownedSpecializations: 'ownedSpecializations',
639
+ ref: 'ref',
640
+ reflexive: 'reflexive',
641
+ reverseRelation: 'reverseRelation',
642
+ sources: 'sources',
643
+ symmetric: 'symmetric',
644
+ targets: 'targets',
645
+ transitive: 'transitive'
646
+ };
647
+ export function isUnreifiedRelation(item) {
648
+ return reflection.isInstance(item, UnreifiedRelation.$type);
649
+ }
650
+ export function isUnsignedInteger(item) {
651
+ return typeof item === 'number';
652
+ }
653
+ export const Vocabulary = {
654
+ $type: 'Vocabulary',
655
+ namespace: 'namespace',
656
+ ownedAnnotations: 'ownedAnnotations',
657
+ ownedImports: 'ownedImports',
658
+ ownedStatements: 'ownedStatements',
659
+ prefix: 'prefix'
660
+ };
661
+ export function isVocabulary(item) {
662
+ return reflection.isInstance(item, Vocabulary.$type);
663
+ }
664
+ export const VocabularyBox = {
665
+ $type: 'VocabularyBox'
666
+ };
667
+ export function isVocabularyBox(item) {
668
+ return reflection.isInstance(item, VocabularyBox.$type);
669
+ }
670
+ export const VocabularyBundle = {
671
+ $type: 'VocabularyBundle',
672
+ namespace: 'namespace',
673
+ ownedAnnotations: 'ownedAnnotations',
674
+ ownedImports: 'ownedImports',
675
+ prefix: 'prefix'
676
+ };
677
+ export function isVocabularyBundle(item) {
678
+ return reflection.isInstance(item, VocabularyBundle.$type);
679
+ }
680
+ export const VocabularyMember = {
681
+ $type: 'VocabularyMember'
682
+ };
683
+ export function isVocabularyMember(item) {
684
+ return reflection.isInstance(item, VocabularyMember.$type);
685
+ }
686
+ export const VocabularyStatement = {
687
+ $type: 'VocabularyStatement'
688
+ };
689
+ export function isVocabularyStatement(item) {
690
+ return reflection.isInstance(item, VocabularyStatement.$type);
691
+ }
692
+ export class OmlAstReflection extends langium.AbstractAstReflection {
693
+ constructor() {
694
+ super(...arguments);
695
+ this.types = {
696
+ Annotation: {
697
+ name: Annotation.$type,
698
+ properties: {
699
+ literalValues: {
700
+ name: Annotation.literalValues,
701
+ defaultValue: []
702
+ },
703
+ property: {
704
+ name: Annotation.property,
705
+ referenceType: AnnotationProperty.$type
706
+ },
707
+ referencedValues: {
708
+ name: Annotation.referencedValues,
709
+ defaultValue: [],
710
+ referenceType: Member.$type
711
+ }
712
+ },
713
+ superTypes: [Element.$type]
714
+ },
715
+ AnnotationProperty: {
716
+ name: AnnotationProperty.$type,
717
+ properties: {
718
+ name: {
719
+ name: AnnotationProperty.name
720
+ },
721
+ ownedAnnotations: {
722
+ name: AnnotationProperty.ownedAnnotations,
723
+ defaultValue: []
724
+ },
725
+ ownedEquivalences: {
726
+ name: AnnotationProperty.ownedEquivalences,
727
+ defaultValue: []
728
+ },
729
+ ownedSpecializations: {
730
+ name: AnnotationProperty.ownedSpecializations,
731
+ defaultValue: []
732
+ },
733
+ ref: {
734
+ name: AnnotationProperty.ref,
735
+ referenceType: AnnotationProperty.$type
736
+ }
737
+ },
738
+ superTypes: [SpecializableProperty.$type]
739
+ },
740
+ AnonymousConceptInstance: {
741
+ name: AnonymousConceptInstance.$type,
742
+ properties: {
743
+ ownedPropertyValues: {
744
+ name: AnonymousConceptInstance.ownedPropertyValues,
745
+ defaultValue: []
746
+ },
747
+ type: {
748
+ name: AnonymousConceptInstance.type,
749
+ referenceType: Concept.$type
750
+ }
751
+ },
752
+ superTypes: [AnonymousInstance.$type]
753
+ },
754
+ AnonymousInstance: {
755
+ name: AnonymousInstance.$type,
756
+ properties: {},
757
+ superTypes: [Instance.$type]
758
+ },
759
+ AnonymousRelationInstance: {
760
+ name: AnonymousRelationInstance.$type,
761
+ properties: {
762
+ ownedPropertyValues: {
763
+ name: AnonymousRelationInstance.ownedPropertyValues,
764
+ defaultValue: []
765
+ },
766
+ target: {
767
+ name: AnonymousRelationInstance.target,
768
+ referenceType: NamedInstance.$type
769
+ }
770
+ },
771
+ superTypes: [AnonymousInstance.$type]
772
+ },
773
+ Argument: {
774
+ name: Argument.$type,
775
+ properties: {
776
+ instance: {
777
+ name: Argument.instance,
778
+ referenceType: NamedInstance.$type
779
+ },
780
+ literal: {
781
+ name: Argument.literal
782
+ },
783
+ variable: {
784
+ name: Argument.variable
785
+ }
786
+ },
787
+ superTypes: [Element.$type]
788
+ },
789
+ Aspect: {
790
+ name: Aspect.$type,
791
+ properties: {
792
+ name: {
793
+ name: Aspect.name
794
+ },
795
+ ownedAnnotations: {
796
+ name: Aspect.ownedAnnotations,
797
+ defaultValue: []
798
+ },
799
+ ownedEquivalences: {
800
+ name: Aspect.ownedEquivalences,
801
+ defaultValue: []
802
+ },
803
+ ownedKeys: {
804
+ name: Aspect.ownedKeys,
805
+ defaultValue: []
806
+ },
807
+ ownedPropertyRestrictions: {
808
+ name: Aspect.ownedPropertyRestrictions,
809
+ defaultValue: []
810
+ },
811
+ ownedSpecializations: {
812
+ name: Aspect.ownedSpecializations,
813
+ defaultValue: []
814
+ },
815
+ ref: {
816
+ name: Aspect.ref,
817
+ referenceType: Aspect.$type
818
+ }
819
+ },
820
+ superTypes: [Entity.$type]
821
+ },
822
+ Assertion: {
823
+ name: Assertion.$type,
824
+ properties: {},
825
+ superTypes: [Element.$type]
826
+ },
827
+ Axiom: {
828
+ name: Axiom.$type,
829
+ properties: {},
830
+ superTypes: [Element.$type]
831
+ },
832
+ BinaryPredicate: {
833
+ name: BinaryPredicate.$type,
834
+ properties: {},
835
+ superTypes: [Predicate.$type]
836
+ },
837
+ BooleanLiteral: {
838
+ name: BooleanLiteral.$type,
839
+ properties: {
840
+ value: {
841
+ name: BooleanLiteral.value
842
+ }
843
+ },
844
+ superTypes: [Literal.$type]
845
+ },
846
+ BuiltIn: {
847
+ name: BuiltIn.$type,
848
+ properties: {
849
+ name: {
850
+ name: BuiltIn.name
851
+ },
852
+ ownedAnnotations: {
853
+ name: BuiltIn.ownedAnnotations,
854
+ defaultValue: []
855
+ },
856
+ ref: {
857
+ name: BuiltIn.ref,
858
+ referenceType: BuiltIn.$type
859
+ }
860
+ },
861
+ superTypes: [VocabularyStatement.$type]
862
+ },
863
+ BuiltInPredicate: {
864
+ name: BuiltInPredicate.$type,
865
+ properties: {
866
+ arguments: {
867
+ name: BuiltInPredicate.arguments,
868
+ defaultValue: []
869
+ },
870
+ builtIn: {
871
+ name: BuiltInPredicate.builtIn,
872
+ referenceType: BuiltIn.$type
873
+ }
874
+ },
875
+ superTypes: [Predicate.$type]
876
+ },
877
+ Concept: {
878
+ name: Concept.$type,
879
+ properties: {
880
+ name: {
881
+ name: Concept.name
882
+ },
883
+ ownedAnnotations: {
884
+ name: Concept.ownedAnnotations,
885
+ defaultValue: []
886
+ },
887
+ ownedEnumeration: {
888
+ name: Concept.ownedEnumeration
889
+ },
890
+ ownedEquivalences: {
891
+ name: Concept.ownedEquivalences,
892
+ defaultValue: []
893
+ },
894
+ ownedKeys: {
895
+ name: Concept.ownedKeys,
896
+ defaultValue: []
897
+ },
898
+ ownedPropertyRestrictions: {
899
+ name: Concept.ownedPropertyRestrictions,
900
+ defaultValue: []
901
+ },
902
+ ownedSpecializations: {
903
+ name: Concept.ownedSpecializations,
904
+ defaultValue: []
905
+ },
906
+ ref: {
907
+ name: Concept.ref,
908
+ referenceType: Concept.$type
909
+ }
910
+ },
911
+ superTypes: [Entity.$type]
912
+ },
913
+ ConceptInstance: {
914
+ name: ConceptInstance.$type,
915
+ properties: {
916
+ name: {
917
+ name: ConceptInstance.name
918
+ },
919
+ ownedAnnotations: {
920
+ name: ConceptInstance.ownedAnnotations,
921
+ defaultValue: []
922
+ },
923
+ ownedPropertyValues: {
924
+ name: ConceptInstance.ownedPropertyValues,
925
+ defaultValue: []
926
+ },
927
+ ownedTypes: {
928
+ name: ConceptInstance.ownedTypes,
929
+ defaultValue: []
930
+ },
931
+ ref: {
932
+ name: ConceptInstance.ref,
933
+ referenceType: ConceptInstance.$type
934
+ }
935
+ },
936
+ superTypes: [NamedInstance.$type]
937
+ },
938
+ DecimalLiteral: {
939
+ name: DecimalLiteral.$type,
940
+ properties: {
941
+ value: {
942
+ name: DecimalLiteral.value
943
+ }
944
+ },
945
+ superTypes: [Literal.$type]
946
+ },
947
+ Description: {
948
+ name: Description.$type,
949
+ properties: {
950
+ namespace: {
951
+ name: Description.namespace
952
+ },
953
+ ownedAnnotations: {
954
+ name: Description.ownedAnnotations,
955
+ defaultValue: []
956
+ },
957
+ ownedImports: {
958
+ name: Description.ownedImports,
959
+ defaultValue: []
960
+ },
961
+ ownedStatements: {
962
+ name: Description.ownedStatements,
963
+ defaultValue: []
964
+ },
965
+ prefix: {
966
+ name: Description.prefix
967
+ }
968
+ },
969
+ superTypes: [DescriptionBox.$type]
970
+ },
971
+ DescriptionBox: {
972
+ name: DescriptionBox.$type,
973
+ properties: {},
974
+ superTypes: [Ontology.$type]
975
+ },
976
+ DescriptionBundle: {
977
+ name: DescriptionBundle.$type,
978
+ properties: {
979
+ namespace: {
980
+ name: DescriptionBundle.namespace
981
+ },
982
+ ownedAnnotations: {
983
+ name: DescriptionBundle.ownedAnnotations,
984
+ defaultValue: []
985
+ },
986
+ ownedImports: {
987
+ name: DescriptionBundle.ownedImports,
988
+ defaultValue: []
989
+ },
990
+ prefix: {
991
+ name: DescriptionBundle.prefix
992
+ }
993
+ },
994
+ superTypes: [DescriptionBox.$type]
995
+ },
996
+ DescriptionMember: {
997
+ name: DescriptionMember.$type,
998
+ properties: {},
999
+ superTypes: [Member.$type]
1000
+ },
1001
+ DescriptionStatement: {
1002
+ name: DescriptionStatement.$type,
1003
+ properties: {},
1004
+ superTypes: [DescriptionMember.$type, Statement.$type]
1005
+ },
1006
+ DifferentFromPredicate: {
1007
+ name: DifferentFromPredicate.$type,
1008
+ properties: {
1009
+ argument1: {
1010
+ name: DifferentFromPredicate.argument1
1011
+ },
1012
+ argument2: {
1013
+ name: DifferentFromPredicate.argument2
1014
+ }
1015
+ },
1016
+ superTypes: [BinaryPredicate.$type]
1017
+ },
1018
+ DoubleLiteral: {
1019
+ name: DoubleLiteral.$type,
1020
+ properties: {
1021
+ value: {
1022
+ name: DoubleLiteral.value
1023
+ }
1024
+ },
1025
+ superTypes: [Literal.$type]
1026
+ },
1027
+ Element: {
1028
+ name: Element.$type,
1029
+ properties: {},
1030
+ superTypes: []
1031
+ },
1032
+ Entity: {
1033
+ name: Entity.$type,
1034
+ properties: {},
1035
+ superTypes: [Type.$type]
1036
+ },
1037
+ EntityEquivalenceAxiom: {
1038
+ name: EntityEquivalenceAxiom.$type,
1039
+ properties: {
1040
+ ownedPropertyRestrictions: {
1041
+ name: EntityEquivalenceAxiom.ownedPropertyRestrictions,
1042
+ defaultValue: []
1043
+ },
1044
+ superTerms: {
1045
+ name: EntityEquivalenceAxiom.superTerms,
1046
+ defaultValue: [],
1047
+ referenceType: Entity.$type
1048
+ }
1049
+ },
1050
+ superTypes: [Axiom.$type, EquivalenceAxiom.$type]
1051
+ },
1052
+ EquivalenceAxiom: {
1053
+ name: EquivalenceAxiom.$type,
1054
+ properties: {},
1055
+ superTypes: []
1056
+ },
1057
+ ForwardRelation: {
1058
+ name: ForwardRelation.$type,
1059
+ properties: {
1060
+ name: {
1061
+ name: ForwardRelation.name
1062
+ },
1063
+ ownedAnnotations: {
1064
+ name: ForwardRelation.ownedAnnotations,
1065
+ defaultValue: []
1066
+ }
1067
+ },
1068
+ superTypes: [Relation.$type]
1069
+ },
1070
+ IdentifiedElement: {
1071
+ name: IdentifiedElement.$type,
1072
+ properties: {},
1073
+ superTypes: [Element.$type]
1074
+ },
1075
+ Import: {
1076
+ name: Import.$type,
1077
+ properties: {
1078
+ imported: {
1079
+ name: Import.imported,
1080
+ referenceType: Ontology.$type
1081
+ },
1082
+ kind: {
1083
+ name: Import.kind
1084
+ },
1085
+ prefix: {
1086
+ name: Import.prefix
1087
+ }
1088
+ },
1089
+ superTypes: [Element.$type]
1090
+ },
1091
+ Instance: {
1092
+ name: Instance.$type,
1093
+ properties: {},
1094
+ superTypes: [Element.$type]
1095
+ },
1096
+ InstanceEnumerationAxiom: {
1097
+ name: InstanceEnumerationAxiom.$type,
1098
+ properties: {
1099
+ instances: {
1100
+ name: InstanceEnumerationAxiom.instances,
1101
+ defaultValue: [],
1102
+ referenceType: ConceptInstance.$type
1103
+ }
1104
+ },
1105
+ superTypes: [Axiom.$type]
1106
+ },
1107
+ IntegerLiteral: {
1108
+ name: IntegerLiteral.$type,
1109
+ properties: {
1110
+ value: {
1111
+ name: IntegerLiteral.value
1112
+ }
1113
+ },
1114
+ superTypes: [Literal.$type]
1115
+ },
1116
+ KeyAxiom: {
1117
+ name: KeyAxiom.$type,
1118
+ properties: {
1119
+ properties: {
1120
+ name: KeyAxiom.properties,
1121
+ defaultValue: [],
1122
+ referenceType: Property.$type
1123
+ }
1124
+ },
1125
+ superTypes: [Axiom.$type]
1126
+ },
1127
+ Literal: {
1128
+ name: Literal.$type,
1129
+ properties: {},
1130
+ superTypes: [Element.$type]
1131
+ },
1132
+ LiteralEnumerationAxiom: {
1133
+ name: LiteralEnumerationAxiom.$type,
1134
+ properties: {
1135
+ literals: {
1136
+ name: LiteralEnumerationAxiom.literals,
1137
+ defaultValue: []
1138
+ }
1139
+ },
1140
+ superTypes: [Axiom.$type]
1141
+ },
1142
+ Member: {
1143
+ name: Member.$type,
1144
+ properties: {},
1145
+ superTypes: [IdentifiedElement.$type]
1146
+ },
1147
+ NamedInstance: {
1148
+ name: NamedInstance.$type,
1149
+ properties: {},
1150
+ superTypes: [DescriptionStatement.$type, Instance.$type]
1151
+ },
1152
+ Ontology: {
1153
+ name: Ontology.$type,
1154
+ properties: {},
1155
+ superTypes: [IdentifiedElement.$type]
1156
+ },
1157
+ Predicate: {
1158
+ name: Predicate.$type,
1159
+ properties: {},
1160
+ superTypes: [Element.$type]
1161
+ },
1162
+ Property: {
1163
+ name: Property.$type,
1164
+ properties: {},
1165
+ superTypes: [Term.$type]
1166
+ },
1167
+ PropertyCardinalityRestrictionAxiom: {
1168
+ name: PropertyCardinalityRestrictionAxiom.$type,
1169
+ properties: {
1170
+ cardinality: {
1171
+ name: PropertyCardinalityRestrictionAxiom.cardinality
1172
+ },
1173
+ kind: {
1174
+ name: PropertyCardinalityRestrictionAxiom.kind
1175
+ },
1176
+ property: {
1177
+ name: PropertyCardinalityRestrictionAxiom.property,
1178
+ referenceType: SemanticProperty.$type
1179
+ },
1180
+ range: {
1181
+ name: PropertyCardinalityRestrictionAxiom.range,
1182
+ referenceType: Type.$type
1183
+ }
1184
+ },
1185
+ superTypes: [PropertyRestrictionAxiom.$type]
1186
+ },
1187
+ PropertyEquivalenceAxiom: {
1188
+ name: PropertyEquivalenceAxiom.$type,
1189
+ properties: {
1190
+ superTerms: {
1191
+ name: PropertyEquivalenceAxiom.superTerms,
1192
+ defaultValue: [],
1193
+ referenceType: Property.$type
1194
+ }
1195
+ },
1196
+ superTypes: [Axiom.$type, EquivalenceAxiom.$type]
1197
+ },
1198
+ PropertyPredicate: {
1199
+ name: PropertyPredicate.$type,
1200
+ properties: {
1201
+ argument1: {
1202
+ name: PropertyPredicate.argument1
1203
+ },
1204
+ argument2: {
1205
+ name: PropertyPredicate.argument2
1206
+ },
1207
+ property: {
1208
+ name: PropertyPredicate.property,
1209
+ referenceType: Property.$type
1210
+ }
1211
+ },
1212
+ superTypes: [BinaryPredicate.$type]
1213
+ },
1214
+ PropertyRangeRestrictionAxiom: {
1215
+ name: PropertyRangeRestrictionAxiom.$type,
1216
+ properties: {
1217
+ kind: {
1218
+ name: PropertyRangeRestrictionAxiom.kind
1219
+ },
1220
+ property: {
1221
+ name: PropertyRangeRestrictionAxiom.property,
1222
+ referenceType: SemanticProperty.$type
1223
+ },
1224
+ range: {
1225
+ name: PropertyRangeRestrictionAxiom.range,
1226
+ referenceType: Type.$type
1227
+ }
1228
+ },
1229
+ superTypes: [PropertyRestrictionAxiom.$type]
1230
+ },
1231
+ PropertyRestrictionAxiom: {
1232
+ name: PropertyRestrictionAxiom.$type,
1233
+ properties: {},
1234
+ superTypes: [Axiom.$type]
1235
+ },
1236
+ PropertySelfRestrictionAxiom: {
1237
+ name: PropertySelfRestrictionAxiom.$type,
1238
+ properties: {
1239
+ property: {
1240
+ name: PropertySelfRestrictionAxiom.property,
1241
+ referenceType: SemanticProperty.$type
1242
+ }
1243
+ },
1244
+ superTypes: [PropertyRestrictionAxiom.$type]
1245
+ },
1246
+ PropertyValueAssertion: {
1247
+ name: PropertyValueAssertion.$type,
1248
+ properties: {
1249
+ containedValues: {
1250
+ name: PropertyValueAssertion.containedValues,
1251
+ defaultValue: []
1252
+ },
1253
+ literalValues: {
1254
+ name: PropertyValueAssertion.literalValues,
1255
+ defaultValue: []
1256
+ },
1257
+ property: {
1258
+ name: PropertyValueAssertion.property,
1259
+ referenceType: SemanticProperty.$type
1260
+ },
1261
+ referencedValues: {
1262
+ name: PropertyValueAssertion.referencedValues,
1263
+ defaultValue: [],
1264
+ referenceType: NamedInstance.$type
1265
+ }
1266
+ },
1267
+ superTypes: [Assertion.$type]
1268
+ },
1269
+ PropertyValueRestrictionAxiom: {
1270
+ name: PropertyValueRestrictionAxiom.$type,
1271
+ properties: {
1272
+ containedValue: {
1273
+ name: PropertyValueRestrictionAxiom.containedValue
1274
+ },
1275
+ literalValue: {
1276
+ name: PropertyValueRestrictionAxiom.literalValue
1277
+ },
1278
+ property: {
1279
+ name: PropertyValueRestrictionAxiom.property,
1280
+ referenceType: SemanticProperty.$type
1281
+ },
1282
+ referencedValue: {
1283
+ name: PropertyValueRestrictionAxiom.referencedValue,
1284
+ referenceType: NamedInstance.$type
1285
+ }
1286
+ },
1287
+ superTypes: [PropertyRestrictionAxiom.$type]
1288
+ },
1289
+ QuotedLiteral: {
1290
+ name: QuotedLiteral.$type,
1291
+ properties: {
1292
+ langTag: {
1293
+ name: QuotedLiteral.langTag
1294
+ },
1295
+ type: {
1296
+ name: QuotedLiteral.type,
1297
+ referenceType: Scalar.$type
1298
+ },
1299
+ value: {
1300
+ name: QuotedLiteral.value
1301
+ }
1302
+ },
1303
+ superTypes: [Literal.$type]
1304
+ },
1305
+ Relation: {
1306
+ name: Relation.$type,
1307
+ properties: {},
1308
+ superTypes: [SemanticProperty.$type]
1309
+ },
1310
+ RelationBase: {
1311
+ name: RelationBase.$type,
1312
+ properties: {},
1313
+ superTypes: [Term.$type]
1314
+ },
1315
+ RelationEntity: {
1316
+ name: RelationEntity.$type,
1317
+ properties: {
1318
+ asymmetric: {
1319
+ name: RelationEntity.asymmetric,
1320
+ defaultValue: false
1321
+ },
1322
+ forwardRelation: {
1323
+ name: RelationEntity.forwardRelation
1324
+ },
1325
+ functional: {
1326
+ name: RelationEntity.functional,
1327
+ defaultValue: false
1328
+ },
1329
+ inverseFunctional: {
1330
+ name: RelationEntity.inverseFunctional,
1331
+ defaultValue: false
1332
+ },
1333
+ irreflexive: {
1334
+ name: RelationEntity.irreflexive,
1335
+ defaultValue: false
1336
+ },
1337
+ name: {
1338
+ name: RelationEntity.name
1339
+ },
1340
+ ownedAnnotations: {
1341
+ name: RelationEntity.ownedAnnotations,
1342
+ defaultValue: []
1343
+ },
1344
+ ownedEquivalences: {
1345
+ name: RelationEntity.ownedEquivalences,
1346
+ defaultValue: []
1347
+ },
1348
+ ownedKeys: {
1349
+ name: RelationEntity.ownedKeys,
1350
+ defaultValue: []
1351
+ },
1352
+ ownedPropertyRestrictions: {
1353
+ name: RelationEntity.ownedPropertyRestrictions,
1354
+ defaultValue: []
1355
+ },
1356
+ ownedSpecializations: {
1357
+ name: RelationEntity.ownedSpecializations,
1358
+ defaultValue: []
1359
+ },
1360
+ ref: {
1361
+ name: RelationEntity.ref,
1362
+ referenceType: RelationEntity.$type
1363
+ },
1364
+ reflexive: {
1365
+ name: RelationEntity.reflexive,
1366
+ defaultValue: false
1367
+ },
1368
+ reverseRelation: {
1369
+ name: RelationEntity.reverseRelation
1370
+ },
1371
+ sources: {
1372
+ name: RelationEntity.sources,
1373
+ defaultValue: [],
1374
+ referenceType: Entity.$type
1375
+ },
1376
+ symmetric: {
1377
+ name: RelationEntity.symmetric,
1378
+ defaultValue: false
1379
+ },
1380
+ targets: {
1381
+ name: RelationEntity.targets,
1382
+ defaultValue: [],
1383
+ referenceType: Entity.$type
1384
+ },
1385
+ transitive: {
1386
+ name: RelationEntity.transitive,
1387
+ defaultValue: false
1388
+ }
1389
+ },
1390
+ superTypes: [Entity.$type, RelationBase.$type]
1391
+ },
1392
+ RelationEntityPredicate: {
1393
+ name: RelationEntityPredicate.$type,
1394
+ properties: {
1395
+ argument: {
1396
+ name: RelationEntityPredicate.argument
1397
+ },
1398
+ argument1: {
1399
+ name: RelationEntityPredicate.argument1
1400
+ },
1401
+ argument2: {
1402
+ name: RelationEntityPredicate.argument2
1403
+ },
1404
+ type: {
1405
+ name: RelationEntityPredicate.type,
1406
+ referenceType: RelationEntity.$type
1407
+ }
1408
+ },
1409
+ superTypes: [UnaryPredicate.$type]
1410
+ },
1411
+ RelationInstance: {
1412
+ name: RelationInstance.$type,
1413
+ properties: {
1414
+ name: {
1415
+ name: RelationInstance.name
1416
+ },
1417
+ ownedAnnotations: {
1418
+ name: RelationInstance.ownedAnnotations,
1419
+ defaultValue: []
1420
+ },
1421
+ ownedPropertyValues: {
1422
+ name: RelationInstance.ownedPropertyValues,
1423
+ defaultValue: []
1424
+ },
1425
+ ownedTypes: {
1426
+ name: RelationInstance.ownedTypes,
1427
+ defaultValue: []
1428
+ },
1429
+ ref: {
1430
+ name: RelationInstance.ref,
1431
+ referenceType: RelationInstance.$type
1432
+ },
1433
+ sources: {
1434
+ name: RelationInstance.sources,
1435
+ defaultValue: [],
1436
+ referenceType: NamedInstance.$type
1437
+ },
1438
+ targets: {
1439
+ name: RelationInstance.targets,
1440
+ defaultValue: [],
1441
+ referenceType: NamedInstance.$type
1442
+ }
1443
+ },
1444
+ superTypes: [NamedInstance.$type]
1445
+ },
1446
+ ReverseRelation: {
1447
+ name: ReverseRelation.$type,
1448
+ properties: {
1449
+ name: {
1450
+ name: ReverseRelation.name
1451
+ },
1452
+ ownedAnnotations: {
1453
+ name: ReverseRelation.ownedAnnotations,
1454
+ defaultValue: []
1455
+ }
1456
+ },
1457
+ superTypes: [Relation.$type]
1458
+ },
1459
+ Rule: {
1460
+ name: Rule.$type,
1461
+ properties: {
1462
+ antecedent: {
1463
+ name: Rule.antecedent,
1464
+ defaultValue: []
1465
+ },
1466
+ consequent: {
1467
+ name: Rule.consequent,
1468
+ defaultValue: []
1469
+ },
1470
+ name: {
1471
+ name: Rule.name
1472
+ },
1473
+ ownedAnnotations: {
1474
+ name: Rule.ownedAnnotations,
1475
+ defaultValue: []
1476
+ },
1477
+ ref: {
1478
+ name: Rule.ref,
1479
+ referenceType: Rule.$type
1480
+ }
1481
+ },
1482
+ superTypes: [VocabularyStatement.$type]
1483
+ },
1484
+ SameAsPredicate: {
1485
+ name: SameAsPredicate.$type,
1486
+ properties: {
1487
+ argument1: {
1488
+ name: SameAsPredicate.argument1
1489
+ },
1490
+ argument2: {
1491
+ name: SameAsPredicate.argument2
1492
+ }
1493
+ },
1494
+ superTypes: [BinaryPredicate.$type]
1495
+ },
1496
+ Scalar: {
1497
+ name: Scalar.$type,
1498
+ properties: {
1499
+ name: {
1500
+ name: Scalar.name
1501
+ },
1502
+ ownedAnnotations: {
1503
+ name: Scalar.ownedAnnotations,
1504
+ defaultValue: []
1505
+ },
1506
+ ownedEnumeration: {
1507
+ name: Scalar.ownedEnumeration
1508
+ },
1509
+ ownedEquivalences: {
1510
+ name: Scalar.ownedEquivalences,
1511
+ defaultValue: []
1512
+ },
1513
+ ownedSpecializations: {
1514
+ name: Scalar.ownedSpecializations,
1515
+ defaultValue: []
1516
+ },
1517
+ ref: {
1518
+ name: Scalar.ref,
1519
+ referenceType: Scalar.$type
1520
+ }
1521
+ },
1522
+ superTypes: [Type.$type]
1523
+ },
1524
+ ScalarEquivalenceAxiom: {
1525
+ name: ScalarEquivalenceAxiom.$type,
1526
+ properties: {
1527
+ language: {
1528
+ name: ScalarEquivalenceAxiom.language,
1529
+ defaultValue: []
1530
+ },
1531
+ length: {
1532
+ name: ScalarEquivalenceAxiom.length,
1533
+ defaultValue: []
1534
+ },
1535
+ maxExclusive: {
1536
+ name: ScalarEquivalenceAxiom.maxExclusive,
1537
+ defaultValue: []
1538
+ },
1539
+ maxInclusive: {
1540
+ name: ScalarEquivalenceAxiom.maxInclusive,
1541
+ defaultValue: []
1542
+ },
1543
+ maxLength: {
1544
+ name: ScalarEquivalenceAxiom.maxLength,
1545
+ defaultValue: []
1546
+ },
1547
+ minExclusive: {
1548
+ name: ScalarEquivalenceAxiom.minExclusive,
1549
+ defaultValue: []
1550
+ },
1551
+ minInclusive: {
1552
+ name: ScalarEquivalenceAxiom.minInclusive,
1553
+ defaultValue: []
1554
+ },
1555
+ minLength: {
1556
+ name: ScalarEquivalenceAxiom.minLength,
1557
+ defaultValue: []
1558
+ },
1559
+ pattern: {
1560
+ name: ScalarEquivalenceAxiom.pattern,
1561
+ defaultValue: []
1562
+ },
1563
+ superTerms: {
1564
+ name: ScalarEquivalenceAxiom.superTerms,
1565
+ defaultValue: [],
1566
+ referenceType: Scalar.$type
1567
+ }
1568
+ },
1569
+ superTypes: [Axiom.$type, EquivalenceAxiom.$type]
1570
+ },
1571
+ ScalarProperty: {
1572
+ name: ScalarProperty.$type,
1573
+ properties: {
1574
+ domains: {
1575
+ name: ScalarProperty.domains,
1576
+ defaultValue: [],
1577
+ referenceType: Entity.$type
1578
+ },
1579
+ functional: {
1580
+ name: ScalarProperty.functional,
1581
+ defaultValue: false
1582
+ },
1583
+ name: {
1584
+ name: ScalarProperty.name
1585
+ },
1586
+ ownedAnnotations: {
1587
+ name: ScalarProperty.ownedAnnotations,
1588
+ defaultValue: []
1589
+ },
1590
+ ownedEquivalences: {
1591
+ name: ScalarProperty.ownedEquivalences,
1592
+ defaultValue: []
1593
+ },
1594
+ ownedSpecializations: {
1595
+ name: ScalarProperty.ownedSpecializations,
1596
+ defaultValue: []
1597
+ },
1598
+ ranges: {
1599
+ name: ScalarProperty.ranges,
1600
+ defaultValue: [],
1601
+ referenceType: Scalar.$type
1602
+ },
1603
+ ref: {
1604
+ name: ScalarProperty.ref,
1605
+ referenceType: ScalarProperty.$type
1606
+ }
1607
+ },
1608
+ superTypes: [SemanticProperty.$type, SpecializableProperty.$type]
1609
+ },
1610
+ SemanticProperty: {
1611
+ name: SemanticProperty.$type,
1612
+ properties: {},
1613
+ superTypes: [Property.$type]
1614
+ },
1615
+ SpecializableProperty: {
1616
+ name: SpecializableProperty.$type,
1617
+ properties: {},
1618
+ superTypes: [Property.$type, SpecializableTerm.$type]
1619
+ },
1620
+ SpecializableTerm: {
1621
+ name: SpecializableTerm.$type,
1622
+ properties: {},
1623
+ superTypes: [Term.$type, VocabularyStatement.$type]
1624
+ },
1625
+ SpecializationAxiom: {
1626
+ name: SpecializationAxiom.$type,
1627
+ properties: {
1628
+ superTerm: {
1629
+ name: SpecializationAxiom.superTerm,
1630
+ referenceType: Term.$type
1631
+ }
1632
+ },
1633
+ superTypes: [Axiom.$type]
1634
+ },
1635
+ Statement: {
1636
+ name: Statement.$type,
1637
+ properties: {},
1638
+ superTypes: [Member.$type]
1639
+ },
1640
+ Term: {
1641
+ name: Term.$type,
1642
+ properties: {},
1643
+ superTypes: [VocabularyMember.$type]
1644
+ },
1645
+ Type: {
1646
+ name: Type.$type,
1647
+ properties: {},
1648
+ superTypes: [SpecializableTerm.$type]
1649
+ },
1650
+ TypeAssertion: {
1651
+ name: TypeAssertion.$type,
1652
+ properties: {
1653
+ type: {
1654
+ name: TypeAssertion.type,
1655
+ referenceType: Entity.$type
1656
+ }
1657
+ },
1658
+ superTypes: [Assertion.$type]
1659
+ },
1660
+ TypePredicate: {
1661
+ name: TypePredicate.$type,
1662
+ properties: {
1663
+ argument: {
1664
+ name: TypePredicate.argument
1665
+ },
1666
+ type: {
1667
+ name: TypePredicate.type,
1668
+ referenceType: Type.$type
1669
+ }
1670
+ },
1671
+ superTypes: [UnaryPredicate.$type]
1672
+ },
1673
+ UnaryPredicate: {
1674
+ name: UnaryPredicate.$type,
1675
+ properties: {},
1676
+ superTypes: [Predicate.$type]
1677
+ },
1678
+ UnreifiedRelation: {
1679
+ name: UnreifiedRelation.$type,
1680
+ properties: {
1681
+ asymmetric: {
1682
+ name: UnreifiedRelation.asymmetric,
1683
+ defaultValue: false
1684
+ },
1685
+ functional: {
1686
+ name: UnreifiedRelation.functional,
1687
+ defaultValue: false
1688
+ },
1689
+ inverseFunctional: {
1690
+ name: UnreifiedRelation.inverseFunctional,
1691
+ defaultValue: false
1692
+ },
1693
+ irreflexive: {
1694
+ name: UnreifiedRelation.irreflexive,
1695
+ defaultValue: false
1696
+ },
1697
+ name: {
1698
+ name: UnreifiedRelation.name
1699
+ },
1700
+ ownedAnnotations: {
1701
+ name: UnreifiedRelation.ownedAnnotations,
1702
+ defaultValue: []
1703
+ },
1704
+ ownedEquivalences: {
1705
+ name: UnreifiedRelation.ownedEquivalences,
1706
+ defaultValue: []
1707
+ },
1708
+ ownedSpecializations: {
1709
+ name: UnreifiedRelation.ownedSpecializations,
1710
+ defaultValue: []
1711
+ },
1712
+ ref: {
1713
+ name: UnreifiedRelation.ref,
1714
+ referenceType: Relation.$type
1715
+ },
1716
+ reflexive: {
1717
+ name: UnreifiedRelation.reflexive,
1718
+ defaultValue: false
1719
+ },
1720
+ reverseRelation: {
1721
+ name: UnreifiedRelation.reverseRelation
1722
+ },
1723
+ sources: {
1724
+ name: UnreifiedRelation.sources,
1725
+ defaultValue: [],
1726
+ referenceType: Entity.$type
1727
+ },
1728
+ symmetric: {
1729
+ name: UnreifiedRelation.symmetric,
1730
+ defaultValue: false
1731
+ },
1732
+ targets: {
1733
+ name: UnreifiedRelation.targets,
1734
+ defaultValue: [],
1735
+ referenceType: Entity.$type
1736
+ },
1737
+ transitive: {
1738
+ name: UnreifiedRelation.transitive,
1739
+ defaultValue: false
1740
+ }
1741
+ },
1742
+ superTypes: [Relation.$type, RelationBase.$type, SpecializableProperty.$type]
1743
+ },
1744
+ Vocabulary: {
1745
+ name: Vocabulary.$type,
1746
+ properties: {
1747
+ namespace: {
1748
+ name: Vocabulary.namespace
1749
+ },
1750
+ ownedAnnotations: {
1751
+ name: Vocabulary.ownedAnnotations,
1752
+ defaultValue: []
1753
+ },
1754
+ ownedImports: {
1755
+ name: Vocabulary.ownedImports,
1756
+ defaultValue: []
1757
+ },
1758
+ ownedStatements: {
1759
+ name: Vocabulary.ownedStatements,
1760
+ defaultValue: []
1761
+ },
1762
+ prefix: {
1763
+ name: Vocabulary.prefix
1764
+ }
1765
+ },
1766
+ superTypes: [VocabularyBox.$type]
1767
+ },
1768
+ VocabularyBox: {
1769
+ name: VocabularyBox.$type,
1770
+ properties: {},
1771
+ superTypes: [Ontology.$type]
1772
+ },
1773
+ VocabularyBundle: {
1774
+ name: VocabularyBundle.$type,
1775
+ properties: {
1776
+ namespace: {
1777
+ name: VocabularyBundle.namespace
1778
+ },
1779
+ ownedAnnotations: {
1780
+ name: VocabularyBundle.ownedAnnotations,
1781
+ defaultValue: []
1782
+ },
1783
+ ownedImports: {
1784
+ name: VocabularyBundle.ownedImports,
1785
+ defaultValue: []
1786
+ },
1787
+ prefix: {
1788
+ name: VocabularyBundle.prefix
1789
+ }
1790
+ },
1791
+ superTypes: [VocabularyBox.$type]
1792
+ },
1793
+ VocabularyMember: {
1794
+ name: VocabularyMember.$type,
1795
+ properties: {},
1796
+ superTypes: [Member.$type]
1797
+ },
1798
+ VocabularyStatement: {
1799
+ name: VocabularyStatement.$type,
1800
+ properties: {},
1801
+ superTypes: [Statement.$type, VocabularyMember.$type]
1802
+ }
1803
+ };
1804
+ }
1805
+ }
1806
+ export const reflection = new OmlAstReflection();
1807
+ //# sourceMappingURL=ast.js.map