@zenstackhq/language 3.0.0-alpha.3 → 3.0.0-alpha.31

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.
package/dist/ast.js CHANGED
@@ -2,7 +2,7 @@ var __defProp = Object.defineProperty;
2
2
  var __name = (target, value) => __defProp(target, "name", { value, configurable: true });
3
3
 
4
4
  // src/generated/ast.ts
5
- import { AbstractAstReflection } from "langium";
5
+ import * as langium from "langium";
6
6
  var ZModelTerminals = {
7
7
  WS: /\s+/,
8
8
  INTERNAL_ATTRIBUTE_NAME: /@@@([_a-zA-Z][\w_]*\.)*[_a-zA-Z][\w_]*/,
@@ -70,11 +70,6 @@ function isTypeDeclaration(item) {
70
70
  return reflection.isInstance(item, TypeDeclaration);
71
71
  }
72
72
  __name(isTypeDeclaration, "isTypeDeclaration");
73
- var TypeDefFieldTypes = "TypeDefFieldTypes";
74
- function isTypeDefFieldTypes(item) {
75
- return reflection.isInstance(item, TypeDefFieldTypes);
76
- }
77
- __name(isTypeDefFieldTypes, "isTypeDefFieldTypes");
78
73
  var Argument = "Argument";
79
74
  function isArgument(item) {
80
75
  return reflection.isInstance(item, Argument);
@@ -135,6 +130,21 @@ function isConfigInvocationExpr(item) {
135
130
  return reflection.isInstance(item, ConfigInvocationExpr);
136
131
  }
137
132
  __name(isConfigInvocationExpr, "isConfigInvocationExpr");
133
+ var DataField = "DataField";
134
+ function isDataField(item) {
135
+ return reflection.isInstance(item, DataField);
136
+ }
137
+ __name(isDataField, "isDataField");
138
+ var DataFieldAttribute = "DataFieldAttribute";
139
+ function isDataFieldAttribute(item) {
140
+ return reflection.isInstance(item, DataFieldAttribute);
141
+ }
142
+ __name(isDataFieldAttribute, "isDataFieldAttribute");
143
+ var DataFieldType = "DataFieldType";
144
+ function isDataFieldType(item) {
145
+ return reflection.isInstance(item, DataFieldType);
146
+ }
147
+ __name(isDataFieldType, "isDataFieldType");
138
148
  var DataModel = "DataModel";
139
149
  function isDataModel(item) {
140
150
  return reflection.isInstance(item, DataModel);
@@ -145,21 +155,6 @@ function isDataModelAttribute(item) {
145
155
  return reflection.isInstance(item, DataModelAttribute);
146
156
  }
147
157
  __name(isDataModelAttribute, "isDataModelAttribute");
148
- var DataModelField = "DataModelField";
149
- function isDataModelField(item) {
150
- return reflection.isInstance(item, DataModelField);
151
- }
152
- __name(isDataModelField, "isDataModelField");
153
- var DataModelFieldAttribute = "DataModelFieldAttribute";
154
- function isDataModelFieldAttribute(item) {
155
- return reflection.isInstance(item, DataModelFieldAttribute);
156
- }
157
- __name(isDataModelFieldAttribute, "isDataModelFieldAttribute");
158
- var DataModelFieldType = "DataModelFieldType";
159
- function isDataModelFieldType(item) {
160
- return reflection.isInstance(item, DataModelFieldType);
161
- }
162
- __name(isDataModelFieldType, "isDataModelFieldType");
163
158
  var DataSource = "DataSource";
164
159
  function isDataSource(item) {
165
160
  return reflection.isInstance(item, DataSource);
@@ -285,16 +280,6 @@ function isTypeDef(item) {
285
280
  return reflection.isInstance(item, TypeDef);
286
281
  }
287
282
  __name(isTypeDef, "isTypeDef");
288
- var TypeDefField = "TypeDefField";
289
- function isTypeDefField(item) {
290
- return reflection.isInstance(item, TypeDefField);
291
- }
292
- __name(isTypeDefField, "isTypeDefField");
293
- var TypeDefFieldType = "TypeDefFieldType";
294
- function isTypeDefFieldType(item) {
295
- return reflection.isInstance(item, TypeDefFieldType);
296
- }
297
- __name(isTypeDefFieldType, "isTypeDefFieldType");
298
283
  var UnaryExpr = "UnaryExpr";
299
284
  function isUnaryExpr(item) {
300
285
  return reflection.isInstance(item, UnaryExpr);
@@ -305,7 +290,7 @@ function isUnsupportedFieldType(item) {
305
290
  return reflection.isInstance(item, UnsupportedFieldType);
306
291
  }
307
292
  __name(isUnsupportedFieldType, "isUnsupportedFieldType");
308
- var ZModelAstReflection = class extends AbstractAstReflection {
293
+ var ZModelAstReflection = class extends langium.AbstractAstReflection {
309
294
  static {
310
295
  __name(this, "ZModelAstReflection");
311
296
  }
@@ -325,11 +310,11 @@ var ZModelAstReflection = class extends AbstractAstReflection {
325
310
  ConfigField,
326
311
  ConfigInvocationArg,
327
312
  ConfigInvocationExpr,
313
+ DataField,
314
+ DataFieldAttribute,
315
+ DataFieldType,
328
316
  DataModel,
329
317
  DataModelAttribute,
330
- DataModelField,
331
- DataModelFieldAttribute,
332
- DataModelFieldType,
333
318
  DataSource,
334
319
  Enum,
335
320
  EnumField,
@@ -360,9 +345,6 @@ var ZModelAstReflection = class extends AbstractAstReflection {
360
345
  ThisExpr,
361
346
  TypeDeclaration,
362
347
  TypeDef,
363
- TypeDefField,
364
- TypeDefFieldType,
365
- TypeDefFieldTypes,
366
348
  UnaryExpr,
367
349
  UnsupportedFieldType
368
350
  ];
@@ -395,16 +377,13 @@ var ZModelAstReflection = class extends AbstractAstReflection {
395
377
  case ConfigArrayExpr: {
396
378
  return this.isSubtype(ConfigExpr, supertype);
397
379
  }
398
- case DataModel: {
399
- return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype);
400
- }
401
- case DataModelField:
402
- case TypeDefField: {
380
+ case DataField: {
403
381
  return this.isSubtype(MemberAccessTarget, supertype) || this.isSubtype(ReferenceTarget, supertype);
404
382
  }
383
+ case DataModel:
405
384
  case Enum:
406
385
  case TypeDef: {
407
- return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype) || this.isSubtype(TypeDefFieldTypes, supertype);
386
+ return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype);
408
387
  }
409
388
  case EnumField:
410
389
  case FunctionParam: {
@@ -423,18 +402,22 @@ var ZModelAstReflection = class extends AbstractAstReflection {
423
402
  const referenceId = `${refInfo.container.$type}:${refInfo.property}`;
424
403
  switch (referenceId) {
425
404
  case "AttributeParamType:reference":
426
- case "DataModelFieldType:reference":
405
+ case "DataFieldType:reference":
427
406
  case "FunctionParamType:reference": {
428
407
  return TypeDeclaration;
429
408
  }
430
- case "DataModel:superTypes": {
431
- return DataModel;
432
- }
409
+ case "DataFieldAttribute:decl":
433
410
  case "DataModelAttribute:decl":
434
- case "DataModelFieldAttribute:decl":
435
411
  case "InternalAttribute:decl": {
436
412
  return Attribute;
437
413
  }
414
+ case "DataModel:baseModel": {
415
+ return DataModel;
416
+ }
417
+ case "DataModel:mixins":
418
+ case "TypeDef:mixins": {
419
+ return TypeDef;
420
+ }
438
421
  case "InvocationExpr:function": {
439
422
  return FunctionDecl;
440
423
  }
@@ -444,9 +427,6 @@ var ZModelAstReflection = class extends AbstractAstReflection {
444
427
  case "ReferenceExpr:target": {
445
428
  return ReferenceTarget;
446
429
  }
447
- case "TypeDefFieldType:reference": {
448
- return TypeDefFieldTypes;
449
- }
450
430
  default: {
451
431
  throw new Error(`${referenceId} is not a valid reference id.`);
452
432
  }
@@ -633,9 +613,9 @@ var ZModelAstReflection = class extends AbstractAstReflection {
633
613
  ]
634
614
  };
635
615
  }
636
- case DataModel: {
616
+ case DataField: {
637
617
  return {
638
- name: DataModel,
618
+ name: DataField,
639
619
  properties: [
640
620
  {
641
621
  name: "attributes",
@@ -645,31 +625,18 @@ var ZModelAstReflection = class extends AbstractAstReflection {
645
625
  name: "comments",
646
626
  defaultValue: []
647
627
  },
648
- {
649
- name: "fields",
650
- defaultValue: []
651
- },
652
- {
653
- name: "isAbstract",
654
- defaultValue: false
655
- },
656
- {
657
- name: "isView",
658
- defaultValue: false
659
- },
660
628
  {
661
629
  name: "name"
662
630
  },
663
631
  {
664
- name: "superTypes",
665
- defaultValue: []
632
+ name: "type"
666
633
  }
667
634
  ]
668
635
  };
669
636
  }
670
- case DataModelAttribute: {
637
+ case DataFieldAttribute: {
671
638
  return {
672
- name: DataModelAttribute,
639
+ name: DataFieldAttribute,
673
640
  properties: [
674
641
  {
675
642
  name: "args",
@@ -681,61 +648,73 @@ var ZModelAstReflection = class extends AbstractAstReflection {
681
648
  ]
682
649
  };
683
650
  }
684
- case DataModelField: {
651
+ case DataFieldType: {
685
652
  return {
686
- name: DataModelField,
653
+ name: DataFieldType,
687
654
  properties: [
688
655
  {
689
- name: "attributes",
690
- defaultValue: []
656
+ name: "array",
657
+ defaultValue: false
691
658
  },
692
659
  {
693
- name: "comments",
694
- defaultValue: []
660
+ name: "optional",
661
+ defaultValue: false
695
662
  },
696
663
  {
697
- name: "name"
664
+ name: "reference"
698
665
  },
699
666
  {
700
667
  name: "type"
668
+ },
669
+ {
670
+ name: "unsupported"
701
671
  }
702
672
  ]
703
673
  };
704
674
  }
705
- case DataModelFieldAttribute: {
675
+ case DataModel: {
706
676
  return {
707
- name: DataModelFieldAttribute,
677
+ name: DataModel,
708
678
  properties: [
709
679
  {
710
- name: "args",
680
+ name: "attributes",
711
681
  defaultValue: []
712
682
  },
713
683
  {
714
- name: "decl"
715
- }
716
- ]
717
- };
718
- }
719
- case DataModelFieldType: {
720
- return {
721
- name: DataModelFieldType,
722
- properties: [
684
+ name: "baseModel"
685
+ },
723
686
  {
724
- name: "array",
725
- defaultValue: false
687
+ name: "comments",
688
+ defaultValue: []
726
689
  },
727
690
  {
728
- name: "optional",
691
+ name: "fields",
692
+ defaultValue: []
693
+ },
694
+ {
695
+ name: "isView",
729
696
  defaultValue: false
730
697
  },
731
698
  {
732
- name: "reference"
699
+ name: "mixins",
700
+ defaultValue: []
733
701
  },
734
702
  {
735
- name: "type"
703
+ name: "name"
704
+ }
705
+ ]
706
+ };
707
+ }
708
+ case DataModelAttribute: {
709
+ return {
710
+ name: DataModelAttribute,
711
+ properties: [
712
+ {
713
+ name: "args",
714
+ defaultValue: []
736
715
  },
737
716
  {
738
- name: "unsupported"
717
+ name: "decl"
739
718
  }
740
719
  ]
741
720
  };
@@ -1109,49 +1088,11 @@ var ZModelAstReflection = class extends AbstractAstReflection {
1109
1088
  defaultValue: []
1110
1089
  },
1111
1090
  {
1112
- name: "name"
1113
- }
1114
- ]
1115
- };
1116
- }
1117
- case TypeDefField: {
1118
- return {
1119
- name: TypeDefField,
1120
- properties: [
1121
- {
1122
- name: "attributes",
1123
- defaultValue: []
1124
- },
1125
- {
1126
- name: "comments",
1091
+ name: "mixins",
1127
1092
  defaultValue: []
1128
1093
  },
1129
1094
  {
1130
1095
  name: "name"
1131
- },
1132
- {
1133
- name: "type"
1134
- }
1135
- ]
1136
- };
1137
- }
1138
- case TypeDefFieldType: {
1139
- return {
1140
- name: TypeDefFieldType,
1141
- properties: [
1142
- {
1143
- name: "array",
1144
- defaultValue: false
1145
- },
1146
- {
1147
- name: "optional",
1148
- defaultValue: false
1149
- },
1150
- {
1151
- name: "reference"
1152
- },
1153
- {
1154
- name: "type"
1155
1096
  }
1156
1097
  ]
1157
1098
  };
@@ -1225,11 +1166,11 @@ export {
1225
1166
  ConfigField,
1226
1167
  ConfigInvocationArg,
1227
1168
  ConfigInvocationExpr,
1169
+ DataField,
1170
+ DataFieldAttribute,
1171
+ DataFieldType,
1228
1172
  DataModel,
1229
1173
  DataModelAttribute,
1230
- DataModelField,
1231
- DataModelFieldAttribute,
1232
- DataModelFieldType,
1233
1174
  DataSource,
1234
1175
  Enum,
1235
1176
  EnumField,
@@ -1260,9 +1201,6 @@ export {
1260
1201
  ThisExpr,
1261
1202
  TypeDeclaration,
1262
1203
  TypeDef,
1263
- TypeDefField,
1264
- TypeDefFieldType,
1265
- TypeDefFieldTypes,
1266
1204
  UnaryExpr,
1267
1205
  UnsupportedFieldType,
1268
1206
  ZModelAstReflection,
@@ -1283,11 +1221,11 @@ export {
1283
1221
  isConfigField,
1284
1222
  isConfigInvocationArg,
1285
1223
  isConfigInvocationExpr,
1224
+ isDataField,
1225
+ isDataFieldAttribute,
1226
+ isDataFieldType,
1286
1227
  isDataModel,
1287
1228
  isDataModelAttribute,
1288
- isDataModelField,
1289
- isDataModelFieldAttribute,
1290
- isDataModelFieldType,
1291
1229
  isDataSource,
1292
1230
  isEnum,
1293
1231
  isEnumField,
@@ -1321,9 +1259,6 @@ export {
1321
1259
  isThisExpr,
1322
1260
  isTypeDeclaration,
1323
1261
  isTypeDef,
1324
- isTypeDefField,
1325
- isTypeDefFieldType,
1326
- isTypeDefFieldTypes,
1327
1262
  isUnaryExpr,
1328
1263
  isUnsupportedFieldType,
1329
1264
  reflection