@zenstackhq/language 3.0.0-alpha.9 → 3.0.0-beta.10
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 +85 -156
- package/dist/ast.cjs.map +1 -1
- package/dist/ast.d.cts +45 -80
- package/dist/ast.d.ts +45 -80
- package/dist/ast.js +79 -144
- package/dist/ast.js.map +1 -1
- package/dist/index.cjs +1056 -820
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +20 -21
- package/dist/index.d.ts +20 -21
- package/dist/index.js +1014 -780
- package/dist/index.js.map +1 -1
- package/dist/utils.cjs +1606 -0
- package/dist/utils.cjs.map +1 -0
- package/dist/utils.d.cts +94 -0
- package/dist/utils.d.ts +94 -0
- package/dist/utils.js +1530 -0
- package/dist/utils.js.map +1 -0
- package/package.json +20 -4
- package/res/stdlib.zmodel +68 -152
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
|
|
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)
|
|
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 "
|
|
549
|
+
case "DataFieldType:reference":
|
|
577
550
|
case "FunctionParamType:reference": {
|
|
578
551
|
return TypeDeclaration;
|
|
579
552
|
}
|
|
580
|
-
case "
|
|
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
|
|
760
|
+
case DataField: {
|
|
787
761
|
return {
|
|
788
|
-
name:
|
|
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: "
|
|
815
|
-
defaultValue: []
|
|
776
|
+
name: "type"
|
|
816
777
|
}
|
|
817
778
|
]
|
|
818
779
|
};
|
|
819
780
|
}
|
|
820
|
-
case
|
|
781
|
+
case DataFieldAttribute: {
|
|
821
782
|
return {
|
|
822
|
-
name:
|
|
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
|
|
795
|
+
case DataFieldType: {
|
|
835
796
|
return {
|
|
836
|
-
name:
|
|
797
|
+
name: DataFieldType,
|
|
837
798
|
properties: [
|
|
838
799
|
{
|
|
839
|
-
name: "
|
|
840
|
-
defaultValue:
|
|
800
|
+
name: "array",
|
|
801
|
+
defaultValue: false
|
|
841
802
|
},
|
|
842
803
|
{
|
|
843
|
-
name: "
|
|
844
|
-
defaultValue:
|
|
804
|
+
name: "optional",
|
|
805
|
+
defaultValue: false
|
|
845
806
|
},
|
|
846
807
|
{
|
|
847
|
-
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
|
|
819
|
+
case DataModel: {
|
|
856
820
|
return {
|
|
857
|
-
name:
|
|
821
|
+
name: DataModel,
|
|
858
822
|
properties: [
|
|
859
823
|
{
|
|
860
|
-
name: "
|
|
824
|
+
name: "attributes",
|
|
861
825
|
defaultValue: []
|
|
862
826
|
},
|
|
863
827
|
{
|
|
864
|
-
name: "
|
|
865
|
-
}
|
|
866
|
-
]
|
|
867
|
-
};
|
|
868
|
-
}
|
|
869
|
-
case DataModelFieldType: {
|
|
870
|
-
return {
|
|
871
|
-
name: DataModelFieldType,
|
|
872
|
-
properties: [
|
|
828
|
+
name: "baseModel"
|
|
829
|
+
},
|
|
873
830
|
{
|
|
874
|
-
name: "
|
|
875
|
-
defaultValue:
|
|
831
|
+
name: "comments",
|
|
832
|
+
defaultValue: []
|
|
876
833
|
},
|
|
877
834
|
{
|
|
878
|
-
name: "
|
|
835
|
+
name: "fields",
|
|
836
|
+
defaultValue: []
|
|
837
|
+
},
|
|
838
|
+
{
|
|
839
|
+
name: "isView",
|
|
879
840
|
defaultValue: false
|
|
880
841
|
},
|
|
881
842
|
{
|
|
882
|
-
name: "
|
|
843
|
+
name: "mixins",
|
|
844
|
+
defaultValue: []
|
|
883
845
|
},
|
|
884
846
|
{
|
|
885
|
-
name: "
|
|
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: "
|
|
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: "
|
|
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
|