@zenstackhq/language 3.0.0-alpha.9 → 3.0.0-beta.1

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.cjs CHANGED
@@ -46,11 +46,11 @@ __export(ast_exports, {
46
46
  ConfigField: () => ConfigField,
47
47
  ConfigInvocationArg: () => ConfigInvocationArg,
48
48
  ConfigInvocationExpr: () => ConfigInvocationExpr,
49
+ DataField: () => DataField,
50
+ DataFieldAttribute: () => DataFieldAttribute,
51
+ DataFieldType: () => DataFieldType,
49
52
  DataModel: () => DataModel,
50
53
  DataModelAttribute: () => DataModelAttribute,
51
- DataModelField: () => DataModelField,
52
- DataModelFieldAttribute: () => DataModelFieldAttribute,
53
- DataModelFieldType: () => DataModelFieldType,
54
54
  DataSource: () => DataSource,
55
55
  Enum: () => Enum,
56
56
  EnumField: () => EnumField,
@@ -81,9 +81,6 @@ __export(ast_exports, {
81
81
  ThisExpr: () => ThisExpr,
82
82
  TypeDeclaration: () => TypeDeclaration,
83
83
  TypeDef: () => TypeDef,
84
- TypeDefField: () => TypeDefField,
85
- TypeDefFieldType: () => TypeDefFieldType,
86
- TypeDefFieldTypes: () => TypeDefFieldTypes,
87
84
  UnaryExpr: () => UnaryExpr,
88
85
  UnsupportedFieldType: () => UnsupportedFieldType,
89
86
  ZModelAstReflection: () => ZModelAstReflection,
@@ -104,11 +101,11 @@ __export(ast_exports, {
104
101
  isConfigField: () => isConfigField,
105
102
  isConfigInvocationArg: () => isConfigInvocationArg,
106
103
  isConfigInvocationExpr: () => isConfigInvocationExpr,
104
+ isDataField: () => isDataField,
105
+ isDataFieldAttribute: () => isDataFieldAttribute,
106
+ isDataFieldType: () => isDataFieldType,
107
107
  isDataModel: () => isDataModel,
108
108
  isDataModelAttribute: () => isDataModelAttribute,
109
- isDataModelField: () => isDataModelField,
110
- isDataModelFieldAttribute: () => isDataModelFieldAttribute,
111
- isDataModelFieldType: () => isDataModelFieldType,
112
109
  isDataSource: () => isDataSource,
113
110
  isEnum: () => isEnum,
114
111
  isEnumField: () => isEnumField,
@@ -142,9 +139,6 @@ __export(ast_exports, {
142
139
  isThisExpr: () => isThisExpr,
143
140
  isTypeDeclaration: () => isTypeDeclaration,
144
141
  isTypeDef: () => isTypeDef,
145
- isTypeDefField: () => isTypeDefField,
146
- isTypeDefFieldType: () => isTypeDefFieldType,
147
- isTypeDefFieldTypes: () => isTypeDefFieldTypes,
148
142
  isUnaryExpr: () => isUnaryExpr,
149
143
  isUnsupportedFieldType: () => isUnsupportedFieldType,
150
144
  reflection: () => reflection
@@ -220,11 +214,6 @@ function isTypeDeclaration(item) {
220
214
  return reflection.isInstance(item, TypeDeclaration);
221
215
  }
222
216
  __name(isTypeDeclaration, "isTypeDeclaration");
223
- var TypeDefFieldTypes = "TypeDefFieldTypes";
224
- function isTypeDefFieldTypes(item) {
225
- return reflection.isInstance(item, TypeDefFieldTypes);
226
- }
227
- __name(isTypeDefFieldTypes, "isTypeDefFieldTypes");
228
217
  var Argument = "Argument";
229
218
  function isArgument(item) {
230
219
  return reflection.isInstance(item, Argument);
@@ -285,6 +274,21 @@ function isConfigInvocationExpr(item) {
285
274
  return reflection.isInstance(item, ConfigInvocationExpr);
286
275
  }
287
276
  __name(isConfigInvocationExpr, "isConfigInvocationExpr");
277
+ var DataField = "DataField";
278
+ function isDataField(item) {
279
+ return reflection.isInstance(item, DataField);
280
+ }
281
+ __name(isDataField, "isDataField");
282
+ var DataFieldAttribute = "DataFieldAttribute";
283
+ function isDataFieldAttribute(item) {
284
+ return reflection.isInstance(item, DataFieldAttribute);
285
+ }
286
+ __name(isDataFieldAttribute, "isDataFieldAttribute");
287
+ var DataFieldType = "DataFieldType";
288
+ function isDataFieldType(item) {
289
+ return reflection.isInstance(item, DataFieldType);
290
+ }
291
+ __name(isDataFieldType, "isDataFieldType");
288
292
  var DataModel = "DataModel";
289
293
  function isDataModel(item) {
290
294
  return reflection.isInstance(item, DataModel);
@@ -295,21 +299,6 @@ function isDataModelAttribute(item) {
295
299
  return reflection.isInstance(item, DataModelAttribute);
296
300
  }
297
301
  __name(isDataModelAttribute, "isDataModelAttribute");
298
- var DataModelField = "DataModelField";
299
- function isDataModelField(item) {
300
- return reflection.isInstance(item, DataModelField);
301
- }
302
- __name(isDataModelField, "isDataModelField");
303
- var DataModelFieldAttribute = "DataModelFieldAttribute";
304
- function isDataModelFieldAttribute(item) {
305
- return reflection.isInstance(item, DataModelFieldAttribute);
306
- }
307
- __name(isDataModelFieldAttribute, "isDataModelFieldAttribute");
308
- var DataModelFieldType = "DataModelFieldType";
309
- function isDataModelFieldType(item) {
310
- return reflection.isInstance(item, DataModelFieldType);
311
- }
312
- __name(isDataModelFieldType, "isDataModelFieldType");
313
302
  var DataSource = "DataSource";
314
303
  function isDataSource(item) {
315
304
  return reflection.isInstance(item, DataSource);
@@ -435,16 +424,6 @@ function isTypeDef(item) {
435
424
  return reflection.isInstance(item, TypeDef);
436
425
  }
437
426
  __name(isTypeDef, "isTypeDef");
438
- var TypeDefField = "TypeDefField";
439
- function isTypeDefField(item) {
440
- return reflection.isInstance(item, TypeDefField);
441
- }
442
- __name(isTypeDefField, "isTypeDefField");
443
- var TypeDefFieldType = "TypeDefFieldType";
444
- function isTypeDefFieldType(item) {
445
- return reflection.isInstance(item, TypeDefFieldType);
446
- }
447
- __name(isTypeDefFieldType, "isTypeDefFieldType");
448
427
  var UnaryExpr = "UnaryExpr";
449
428
  function isUnaryExpr(item) {
450
429
  return reflection.isInstance(item, UnaryExpr);
@@ -475,11 +454,11 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
475
454
  ConfigField,
476
455
  ConfigInvocationArg,
477
456
  ConfigInvocationExpr,
457
+ DataField,
458
+ DataFieldAttribute,
459
+ DataFieldType,
478
460
  DataModel,
479
461
  DataModelAttribute,
480
- DataModelField,
481
- DataModelFieldAttribute,
482
- DataModelFieldType,
483
462
  DataSource,
484
463
  Enum,
485
464
  EnumField,
@@ -510,9 +489,6 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
510
489
  ThisExpr,
511
490
  TypeDeclaration,
512
491
  TypeDef,
513
- TypeDefField,
514
- TypeDefFieldType,
515
- TypeDefFieldTypes,
516
492
  UnaryExpr,
517
493
  UnsupportedFieldType
518
494
  ];
@@ -545,16 +521,13 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
545
521
  case ConfigArrayExpr: {
546
522
  return this.isSubtype(ConfigExpr, supertype);
547
523
  }
548
- case DataModel: {
549
- return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype);
550
- }
551
- case DataModelField:
552
- case TypeDefField: {
524
+ case DataField: {
553
525
  return this.isSubtype(MemberAccessTarget, supertype) || this.isSubtype(ReferenceTarget, supertype);
554
526
  }
527
+ case DataModel:
555
528
  case Enum:
556
529
  case TypeDef: {
557
- return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype) || this.isSubtype(TypeDefFieldTypes, supertype);
530
+ return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype);
558
531
  }
559
532
  case EnumField:
560
533
  case FunctionParam: {
@@ -573,18 +546,22 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
573
546
  const referenceId = `${refInfo.container.$type}:${refInfo.property}`;
574
547
  switch (referenceId) {
575
548
  case "AttributeParamType:reference":
576
- case "DataModelFieldType:reference":
549
+ case "DataFieldType:reference":
577
550
  case "FunctionParamType:reference": {
578
551
  return TypeDeclaration;
579
552
  }
580
- case "DataModel:superTypes": {
581
- return DataModel;
582
- }
553
+ case "DataFieldAttribute:decl":
583
554
  case "DataModelAttribute:decl":
584
- case "DataModelFieldAttribute:decl":
585
555
  case "InternalAttribute:decl": {
586
556
  return Attribute;
587
557
  }
558
+ case "DataModel:baseModel": {
559
+ return DataModel;
560
+ }
561
+ case "DataModel:mixins":
562
+ case "TypeDef:mixins": {
563
+ return TypeDef;
564
+ }
588
565
  case "InvocationExpr:function": {
589
566
  return FunctionDecl;
590
567
  }
@@ -594,9 +571,6 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
594
571
  case "ReferenceExpr:target": {
595
572
  return ReferenceTarget;
596
573
  }
597
- case "TypeDefFieldType:reference": {
598
- return TypeDefFieldTypes;
599
- }
600
574
  default: {
601
575
  throw new Error(`${referenceId} is not a valid reference id.`);
602
576
  }
@@ -783,9 +757,9 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
783
757
  ]
784
758
  };
785
759
  }
786
- case DataModel: {
760
+ case DataField: {
787
761
  return {
788
- name: DataModel,
762
+ name: DataField,
789
763
  properties: [
790
764
  {
791
765
  name: "attributes",
@@ -795,31 +769,18 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
795
769
  name: "comments",
796
770
  defaultValue: []
797
771
  },
798
- {
799
- name: "fields",
800
- defaultValue: []
801
- },
802
- {
803
- name: "isAbstract",
804
- defaultValue: false
805
- },
806
- {
807
- name: "isView",
808
- defaultValue: false
809
- },
810
772
  {
811
773
  name: "name"
812
774
  },
813
775
  {
814
- name: "superTypes",
815
- defaultValue: []
776
+ name: "type"
816
777
  }
817
778
  ]
818
779
  };
819
780
  }
820
- case DataModelAttribute: {
781
+ case DataFieldAttribute: {
821
782
  return {
822
- name: DataModelAttribute,
783
+ name: DataFieldAttribute,
823
784
  properties: [
824
785
  {
825
786
  name: "args",
@@ -831,61 +792,73 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
831
792
  ]
832
793
  };
833
794
  }
834
- case DataModelField: {
795
+ case DataFieldType: {
835
796
  return {
836
- name: DataModelField,
797
+ name: DataFieldType,
837
798
  properties: [
838
799
  {
839
- name: "attributes",
840
- defaultValue: []
800
+ name: "array",
801
+ defaultValue: false
841
802
  },
842
803
  {
843
- name: "comments",
844
- defaultValue: []
804
+ name: "optional",
805
+ defaultValue: false
845
806
  },
846
807
  {
847
- name: "name"
808
+ name: "reference"
848
809
  },
849
810
  {
850
811
  name: "type"
812
+ },
813
+ {
814
+ name: "unsupported"
851
815
  }
852
816
  ]
853
817
  };
854
818
  }
855
- case DataModelFieldAttribute: {
819
+ case DataModel: {
856
820
  return {
857
- name: DataModelFieldAttribute,
821
+ name: DataModel,
858
822
  properties: [
859
823
  {
860
- name: "args",
824
+ name: "attributes",
861
825
  defaultValue: []
862
826
  },
863
827
  {
864
- name: "decl"
865
- }
866
- ]
867
- };
868
- }
869
- case DataModelFieldType: {
870
- return {
871
- name: DataModelFieldType,
872
- properties: [
828
+ name: "baseModel"
829
+ },
873
830
  {
874
- name: "array",
875
- defaultValue: false
831
+ name: "comments",
832
+ defaultValue: []
876
833
  },
877
834
  {
878
- name: "optional",
835
+ name: "fields",
836
+ defaultValue: []
837
+ },
838
+ {
839
+ name: "isView",
879
840
  defaultValue: false
880
841
  },
881
842
  {
882
- name: "reference"
843
+ name: "mixins",
844
+ defaultValue: []
883
845
  },
884
846
  {
885
- name: "type"
847
+ name: "name"
848
+ }
849
+ ]
850
+ };
851
+ }
852
+ case DataModelAttribute: {
853
+ return {
854
+ name: DataModelAttribute,
855
+ properties: [
856
+ {
857
+ name: "args",
858
+ defaultValue: []
886
859
  },
887
860
  {
888
- name: "unsupported"
861
+ name: "decl"
889
862
  }
890
863
  ]
891
864
  };
@@ -1259,49 +1232,11 @@ var ZModelAstReflection = class extends langium.AbstractAstReflection {
1259
1232
  defaultValue: []
1260
1233
  },
1261
1234
  {
1262
- name: "name"
1263
- }
1264
- ]
1265
- };
1266
- }
1267
- case TypeDefField: {
1268
- return {
1269
- name: TypeDefField,
1270
- properties: [
1271
- {
1272
- name: "attributes",
1273
- defaultValue: []
1274
- },
1275
- {
1276
- name: "comments",
1235
+ name: "mixins",
1277
1236
  defaultValue: []
1278
1237
  },
1279
1238
  {
1280
1239
  name: "name"
1281
- },
1282
- {
1283
- name: "type"
1284
- }
1285
- ]
1286
- };
1287
- }
1288
- case TypeDefFieldType: {
1289
- return {
1290
- name: TypeDefFieldType,
1291
- properties: [
1292
- {
1293
- name: "array",
1294
- defaultValue: false
1295
- },
1296
- {
1297
- name: "optional",
1298
- defaultValue: false
1299
- },
1300
- {
1301
- name: "reference"
1302
- },
1303
- {
1304
- name: "type"
1305
1240
  }
1306
1241
  ]
1307
1242
  };
@@ -1376,11 +1311,11 @@ var BinaryExprOperatorPriority = {
1376
1311
  ConfigField,
1377
1312
  ConfigInvocationArg,
1378
1313
  ConfigInvocationExpr,
1314
+ DataField,
1315
+ DataFieldAttribute,
1316
+ DataFieldType,
1379
1317
  DataModel,
1380
1318
  DataModelAttribute,
1381
- DataModelField,
1382
- DataModelFieldAttribute,
1383
- DataModelFieldType,
1384
1319
  DataSource,
1385
1320
  Enum,
1386
1321
  EnumField,
@@ -1411,9 +1346,6 @@ var BinaryExprOperatorPriority = {
1411
1346
  ThisExpr,
1412
1347
  TypeDeclaration,
1413
1348
  TypeDef,
1414
- TypeDefField,
1415
- TypeDefFieldType,
1416
- TypeDefFieldTypes,
1417
1349
  UnaryExpr,
1418
1350
  UnsupportedFieldType,
1419
1351
  ZModelAstReflection,
@@ -1434,11 +1366,11 @@ var BinaryExprOperatorPriority = {
1434
1366
  isConfigField,
1435
1367
  isConfigInvocationArg,
1436
1368
  isConfigInvocationExpr,
1369
+ isDataField,
1370
+ isDataFieldAttribute,
1371
+ isDataFieldType,
1437
1372
  isDataModel,
1438
1373
  isDataModelAttribute,
1439
- isDataModelField,
1440
- isDataModelFieldAttribute,
1441
- isDataModelFieldType,
1442
1374
  isDataSource,
1443
1375
  isEnum,
1444
1376
  isEnumField,
@@ -1472,9 +1404,6 @@ var BinaryExprOperatorPriority = {
1472
1404
  isThisExpr,
1473
1405
  isTypeDeclaration,
1474
1406
  isTypeDef,
1475
- isTypeDefField,
1476
- isTypeDefFieldType,
1477
- isTypeDefFieldTypes,
1478
1407
  isUnaryExpr,
1479
1408
  isUnsupportedFieldType,
1480
1409
  reflection