@zenstackhq/language 3.0.0-alpha.2 → 3.0.0-alpha.21

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
@@ -1,7 +1,9 @@
1
1
  "use strict";
2
+ var __create = Object.create;
2
3
  var __defProp = Object.defineProperty;
3
4
  var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
4
5
  var __getOwnPropNames = Object.getOwnPropertyNames;
6
+ var __getProtoOf = Object.getPrototypeOf;
5
7
  var __hasOwnProp = Object.prototype.hasOwnProperty;
6
8
  var __name = (target, value) => __defProp(target, "name", { value, configurable: true });
7
9
  var __export = (target, all) => {
@@ -16,6 +18,14 @@ var __copyProps = (to, from, except, desc) => {
16
18
  }
17
19
  return to;
18
20
  };
21
+ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
22
+ // If the importer is in node compatibility mode or this is not an ESM
23
+ // file that has been converted to a CommonJS file using a Babel-
24
+ // compatible transform (i.e. "__esModule" has not been set), then set
25
+ // "default" to the CommonJS "module.exports" for node compatibility.
26
+ isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
27
+ mod
28
+ ));
19
29
  var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
20
30
 
21
31
  // src/ast.ts
@@ -36,11 +46,11 @@ __export(ast_exports, {
36
46
  ConfigField: () => ConfigField,
37
47
  ConfigInvocationArg: () => ConfigInvocationArg,
38
48
  ConfigInvocationExpr: () => ConfigInvocationExpr,
49
+ DataField: () => DataField,
50
+ DataFieldAttribute: () => DataFieldAttribute,
51
+ DataFieldType: () => DataFieldType,
39
52
  DataModel: () => DataModel,
40
53
  DataModelAttribute: () => DataModelAttribute,
41
- DataModelField: () => DataModelField,
42
- DataModelFieldAttribute: () => DataModelFieldAttribute,
43
- DataModelFieldType: () => DataModelFieldType,
44
54
  DataSource: () => DataSource,
45
55
  Enum: () => Enum,
46
56
  EnumField: () => EnumField,
@@ -71,9 +81,6 @@ __export(ast_exports, {
71
81
  ThisExpr: () => ThisExpr,
72
82
  TypeDeclaration: () => TypeDeclaration,
73
83
  TypeDef: () => TypeDef,
74
- TypeDefField: () => TypeDefField,
75
- TypeDefFieldType: () => TypeDefFieldType,
76
- TypeDefFieldTypes: () => TypeDefFieldTypes,
77
84
  UnaryExpr: () => UnaryExpr,
78
85
  UnsupportedFieldType: () => UnsupportedFieldType,
79
86
  ZModelAstReflection: () => ZModelAstReflection,
@@ -94,11 +101,11 @@ __export(ast_exports, {
94
101
  isConfigField: () => isConfigField,
95
102
  isConfigInvocationArg: () => isConfigInvocationArg,
96
103
  isConfigInvocationExpr: () => isConfigInvocationExpr,
104
+ isDataField: () => isDataField,
105
+ isDataFieldAttribute: () => isDataFieldAttribute,
106
+ isDataFieldType: () => isDataFieldType,
97
107
  isDataModel: () => isDataModel,
98
108
  isDataModelAttribute: () => isDataModelAttribute,
99
- isDataModelField: () => isDataModelField,
100
- isDataModelFieldAttribute: () => isDataModelFieldAttribute,
101
- isDataModelFieldType: () => isDataModelFieldType,
102
109
  isDataSource: () => isDataSource,
103
110
  isEnum: () => isEnum,
104
111
  isEnumField: () => isEnumField,
@@ -132,9 +139,6 @@ __export(ast_exports, {
132
139
  isThisExpr: () => isThisExpr,
133
140
  isTypeDeclaration: () => isTypeDeclaration,
134
141
  isTypeDef: () => isTypeDef,
135
- isTypeDefField: () => isTypeDefField,
136
- isTypeDefFieldType: () => isTypeDefFieldType,
137
- isTypeDefFieldTypes: () => isTypeDefFieldTypes,
138
142
  isUnaryExpr: () => isUnaryExpr,
139
143
  isUnsupportedFieldType: () => isUnsupportedFieldType,
140
144
  reflection: () => reflection
@@ -142,7 +146,7 @@ __export(ast_exports, {
142
146
  module.exports = __toCommonJS(ast_exports);
143
147
 
144
148
  // src/generated/ast.ts
145
- var import_langium = require("langium");
149
+ var langium = __toESM(require("langium"), 1);
146
150
  var ZModelTerminals = {
147
151
  WS: /\s+/,
148
152
  INTERNAL_ATTRIBUTE_NAME: /@@@([_a-zA-Z][\w_]*\.)*[_a-zA-Z][\w_]*/,
@@ -210,11 +214,6 @@ function isTypeDeclaration(item) {
210
214
  return reflection.isInstance(item, TypeDeclaration);
211
215
  }
212
216
  __name(isTypeDeclaration, "isTypeDeclaration");
213
- var TypeDefFieldTypes = "TypeDefFieldTypes";
214
- function isTypeDefFieldTypes(item) {
215
- return reflection.isInstance(item, TypeDefFieldTypes);
216
- }
217
- __name(isTypeDefFieldTypes, "isTypeDefFieldTypes");
218
217
  var Argument = "Argument";
219
218
  function isArgument(item) {
220
219
  return reflection.isInstance(item, Argument);
@@ -275,6 +274,21 @@ function isConfigInvocationExpr(item) {
275
274
  return reflection.isInstance(item, ConfigInvocationExpr);
276
275
  }
277
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");
278
292
  var DataModel = "DataModel";
279
293
  function isDataModel(item) {
280
294
  return reflection.isInstance(item, DataModel);
@@ -285,21 +299,6 @@ function isDataModelAttribute(item) {
285
299
  return reflection.isInstance(item, DataModelAttribute);
286
300
  }
287
301
  __name(isDataModelAttribute, "isDataModelAttribute");
288
- var DataModelField = "DataModelField";
289
- function isDataModelField(item) {
290
- return reflection.isInstance(item, DataModelField);
291
- }
292
- __name(isDataModelField, "isDataModelField");
293
- var DataModelFieldAttribute = "DataModelFieldAttribute";
294
- function isDataModelFieldAttribute(item) {
295
- return reflection.isInstance(item, DataModelFieldAttribute);
296
- }
297
- __name(isDataModelFieldAttribute, "isDataModelFieldAttribute");
298
- var DataModelFieldType = "DataModelFieldType";
299
- function isDataModelFieldType(item) {
300
- return reflection.isInstance(item, DataModelFieldType);
301
- }
302
- __name(isDataModelFieldType, "isDataModelFieldType");
303
302
  var DataSource = "DataSource";
304
303
  function isDataSource(item) {
305
304
  return reflection.isInstance(item, DataSource);
@@ -425,16 +424,6 @@ function isTypeDef(item) {
425
424
  return reflection.isInstance(item, TypeDef);
426
425
  }
427
426
  __name(isTypeDef, "isTypeDef");
428
- var TypeDefField = "TypeDefField";
429
- function isTypeDefField(item) {
430
- return reflection.isInstance(item, TypeDefField);
431
- }
432
- __name(isTypeDefField, "isTypeDefField");
433
- var TypeDefFieldType = "TypeDefFieldType";
434
- function isTypeDefFieldType(item) {
435
- return reflection.isInstance(item, TypeDefFieldType);
436
- }
437
- __name(isTypeDefFieldType, "isTypeDefFieldType");
438
427
  var UnaryExpr = "UnaryExpr";
439
428
  function isUnaryExpr(item) {
440
429
  return reflection.isInstance(item, UnaryExpr);
@@ -445,7 +434,7 @@ function isUnsupportedFieldType(item) {
445
434
  return reflection.isInstance(item, UnsupportedFieldType);
446
435
  }
447
436
  __name(isUnsupportedFieldType, "isUnsupportedFieldType");
448
- var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
437
+ var ZModelAstReflection = class extends langium.AbstractAstReflection {
449
438
  static {
450
439
  __name(this, "ZModelAstReflection");
451
440
  }
@@ -465,11 +454,11 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
465
454
  ConfigField,
466
455
  ConfigInvocationArg,
467
456
  ConfigInvocationExpr,
457
+ DataField,
458
+ DataFieldAttribute,
459
+ DataFieldType,
468
460
  DataModel,
469
461
  DataModelAttribute,
470
- DataModelField,
471
- DataModelFieldAttribute,
472
- DataModelFieldType,
473
462
  DataSource,
474
463
  Enum,
475
464
  EnumField,
@@ -500,9 +489,6 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
500
489
  ThisExpr,
501
490
  TypeDeclaration,
502
491
  TypeDef,
503
- TypeDefField,
504
- TypeDefFieldType,
505
- TypeDefFieldTypes,
506
492
  UnaryExpr,
507
493
  UnsupportedFieldType
508
494
  ];
@@ -535,16 +521,13 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
535
521
  case ConfigArrayExpr: {
536
522
  return this.isSubtype(ConfigExpr, supertype);
537
523
  }
538
- case DataModel: {
539
- return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype);
540
- }
541
- case DataModelField:
542
- case TypeDefField: {
524
+ case DataField: {
543
525
  return this.isSubtype(MemberAccessTarget, supertype) || this.isSubtype(ReferenceTarget, supertype);
544
526
  }
527
+ case DataModel:
545
528
  case Enum:
546
529
  case TypeDef: {
547
- return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype) || this.isSubtype(TypeDefFieldTypes, supertype);
530
+ return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype);
548
531
  }
549
532
  case EnumField:
550
533
  case FunctionParam: {
@@ -563,18 +546,22 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
563
546
  const referenceId = `${refInfo.container.$type}:${refInfo.property}`;
564
547
  switch (referenceId) {
565
548
  case "AttributeParamType:reference":
566
- case "DataModelFieldType:reference":
549
+ case "DataFieldType:reference":
567
550
  case "FunctionParamType:reference": {
568
551
  return TypeDeclaration;
569
552
  }
570
- case "DataModel:superTypes": {
571
- return DataModel;
572
- }
553
+ case "DataFieldAttribute:decl":
573
554
  case "DataModelAttribute:decl":
574
- case "DataModelFieldAttribute:decl":
575
555
  case "InternalAttribute:decl": {
576
556
  return Attribute;
577
557
  }
558
+ case "DataModel:baseModel": {
559
+ return DataModel;
560
+ }
561
+ case "DataModel:mixins":
562
+ case "TypeDef:mixins": {
563
+ return TypeDef;
564
+ }
578
565
  case "InvocationExpr:function": {
579
566
  return FunctionDecl;
580
567
  }
@@ -584,9 +571,6 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
584
571
  case "ReferenceExpr:target": {
585
572
  return ReferenceTarget;
586
573
  }
587
- case "TypeDefFieldType:reference": {
588
- return TypeDefFieldTypes;
589
- }
590
574
  default: {
591
575
  throw new Error(`${referenceId} is not a valid reference id.`);
592
576
  }
@@ -773,9 +757,9 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
773
757
  ]
774
758
  };
775
759
  }
776
- case DataModel: {
760
+ case DataField: {
777
761
  return {
778
- name: DataModel,
762
+ name: DataField,
779
763
  properties: [
780
764
  {
781
765
  name: "attributes",
@@ -785,31 +769,18 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
785
769
  name: "comments",
786
770
  defaultValue: []
787
771
  },
788
- {
789
- name: "fields",
790
- defaultValue: []
791
- },
792
- {
793
- name: "isAbstract",
794
- defaultValue: false
795
- },
796
- {
797
- name: "isView",
798
- defaultValue: false
799
- },
800
772
  {
801
773
  name: "name"
802
774
  },
803
775
  {
804
- name: "superTypes",
805
- defaultValue: []
776
+ name: "type"
806
777
  }
807
778
  ]
808
779
  };
809
780
  }
810
- case DataModelAttribute: {
781
+ case DataFieldAttribute: {
811
782
  return {
812
- name: DataModelAttribute,
783
+ name: DataFieldAttribute,
813
784
  properties: [
814
785
  {
815
786
  name: "args",
@@ -821,61 +792,73 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
821
792
  ]
822
793
  };
823
794
  }
824
- case DataModelField: {
795
+ case DataFieldType: {
825
796
  return {
826
- name: DataModelField,
797
+ name: DataFieldType,
827
798
  properties: [
828
799
  {
829
- name: "attributes",
830
- defaultValue: []
800
+ name: "array",
801
+ defaultValue: false
831
802
  },
832
803
  {
833
- name: "comments",
834
- defaultValue: []
804
+ name: "optional",
805
+ defaultValue: false
835
806
  },
836
807
  {
837
- name: "name"
808
+ name: "reference"
838
809
  },
839
810
  {
840
811
  name: "type"
812
+ },
813
+ {
814
+ name: "unsupported"
841
815
  }
842
816
  ]
843
817
  };
844
818
  }
845
- case DataModelFieldAttribute: {
819
+ case DataModel: {
846
820
  return {
847
- name: DataModelFieldAttribute,
821
+ name: DataModel,
848
822
  properties: [
849
823
  {
850
- name: "args",
824
+ name: "attributes",
851
825
  defaultValue: []
852
826
  },
853
827
  {
854
- name: "decl"
855
- }
856
- ]
857
- };
858
- }
859
- case DataModelFieldType: {
860
- return {
861
- name: DataModelFieldType,
862
- properties: [
828
+ name: "baseModel"
829
+ },
863
830
  {
864
- name: "array",
865
- defaultValue: false
831
+ name: "comments",
832
+ defaultValue: []
866
833
  },
867
834
  {
868
- name: "optional",
835
+ name: "fields",
836
+ defaultValue: []
837
+ },
838
+ {
839
+ name: "isView",
869
840
  defaultValue: false
870
841
  },
871
842
  {
872
- name: "reference"
843
+ name: "mixins",
844
+ defaultValue: []
873
845
  },
874
846
  {
875
- 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: []
876
859
  },
877
860
  {
878
- name: "unsupported"
861
+ name: "decl"
879
862
  }
880
863
  ]
881
864
  };
@@ -1249,49 +1232,11 @@ var ZModelAstReflection = class extends import_langium.AbstractAstReflection {
1249
1232
  defaultValue: []
1250
1233
  },
1251
1234
  {
1252
- name: "name"
1253
- }
1254
- ]
1255
- };
1256
- }
1257
- case TypeDefField: {
1258
- return {
1259
- name: TypeDefField,
1260
- properties: [
1261
- {
1262
- name: "attributes",
1263
- defaultValue: []
1264
- },
1265
- {
1266
- name: "comments",
1235
+ name: "mixins",
1267
1236
  defaultValue: []
1268
1237
  },
1269
1238
  {
1270
1239
  name: "name"
1271
- },
1272
- {
1273
- name: "type"
1274
- }
1275
- ]
1276
- };
1277
- }
1278
- case TypeDefFieldType: {
1279
- return {
1280
- name: TypeDefFieldType,
1281
- properties: [
1282
- {
1283
- name: "array",
1284
- defaultValue: false
1285
- },
1286
- {
1287
- name: "optional",
1288
- defaultValue: false
1289
- },
1290
- {
1291
- name: "reference"
1292
- },
1293
- {
1294
- name: "type"
1295
1240
  }
1296
1241
  ]
1297
1242
  };
@@ -1366,11 +1311,11 @@ var BinaryExprOperatorPriority = {
1366
1311
  ConfigField,
1367
1312
  ConfigInvocationArg,
1368
1313
  ConfigInvocationExpr,
1314
+ DataField,
1315
+ DataFieldAttribute,
1316
+ DataFieldType,
1369
1317
  DataModel,
1370
1318
  DataModelAttribute,
1371
- DataModelField,
1372
- DataModelFieldAttribute,
1373
- DataModelFieldType,
1374
1319
  DataSource,
1375
1320
  Enum,
1376
1321
  EnumField,
@@ -1401,9 +1346,6 @@ var BinaryExprOperatorPriority = {
1401
1346
  ThisExpr,
1402
1347
  TypeDeclaration,
1403
1348
  TypeDef,
1404
- TypeDefField,
1405
- TypeDefFieldType,
1406
- TypeDefFieldTypes,
1407
1349
  UnaryExpr,
1408
1350
  UnsupportedFieldType,
1409
1351
  ZModelAstReflection,
@@ -1424,11 +1366,11 @@ var BinaryExprOperatorPriority = {
1424
1366
  isConfigField,
1425
1367
  isConfigInvocationArg,
1426
1368
  isConfigInvocationExpr,
1369
+ isDataField,
1370
+ isDataFieldAttribute,
1371
+ isDataFieldType,
1427
1372
  isDataModel,
1428
1373
  isDataModelAttribute,
1429
- isDataModelField,
1430
- isDataModelFieldAttribute,
1431
- isDataModelFieldType,
1432
1374
  isDataSource,
1433
1375
  isEnum,
1434
1376
  isEnumField,
@@ -1462,9 +1404,6 @@ var BinaryExprOperatorPriority = {
1462
1404
  isThisExpr,
1463
1405
  isTypeDeclaration,
1464
1406
  isTypeDef,
1465
- isTypeDefField,
1466
- isTypeDefFieldType,
1467
- isTypeDefFieldTypes,
1468
1407
  isUnaryExpr,
1469
1408
  isUnsupportedFieldType,
1470
1409
  reflection