@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 +97 -158
- package/dist/ast.cjs.map +1 -1
- package/dist/ast.d.cts +99 -133
- package/dist/ast.d.ts +99 -133
- package/dist/ast.js +81 -146
- package/dist/ast.js.map +1 -1
- package/dist/index.cjs +755 -691
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.js +716 -652
- package/dist/index.js.map +1 -1
- package/dist/utils.cjs +1528 -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 +1453 -0
- package/dist/utils.js.map +1 -0
- package/package.json +20 -9
- package/res/stdlib.zmodel +52 -37
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
|
|
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
|
|
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)
|
|
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 "
|
|
405
|
+
case "DataFieldType:reference":
|
|
427
406
|
case "FunctionParamType:reference": {
|
|
428
407
|
return TypeDeclaration;
|
|
429
408
|
}
|
|
430
|
-
case "
|
|
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
|
|
616
|
+
case DataField: {
|
|
637
617
|
return {
|
|
638
|
-
name:
|
|
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: "
|
|
665
|
-
defaultValue: []
|
|
632
|
+
name: "type"
|
|
666
633
|
}
|
|
667
634
|
]
|
|
668
635
|
};
|
|
669
636
|
}
|
|
670
|
-
case
|
|
637
|
+
case DataFieldAttribute: {
|
|
671
638
|
return {
|
|
672
|
-
name:
|
|
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
|
|
651
|
+
case DataFieldType: {
|
|
685
652
|
return {
|
|
686
|
-
name:
|
|
653
|
+
name: DataFieldType,
|
|
687
654
|
properties: [
|
|
688
655
|
{
|
|
689
|
-
name: "
|
|
690
|
-
defaultValue:
|
|
656
|
+
name: "array",
|
|
657
|
+
defaultValue: false
|
|
691
658
|
},
|
|
692
659
|
{
|
|
693
|
-
name: "
|
|
694
|
-
defaultValue:
|
|
660
|
+
name: "optional",
|
|
661
|
+
defaultValue: false
|
|
695
662
|
},
|
|
696
663
|
{
|
|
697
|
-
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
|
|
675
|
+
case DataModel: {
|
|
706
676
|
return {
|
|
707
|
-
name:
|
|
677
|
+
name: DataModel,
|
|
708
678
|
properties: [
|
|
709
679
|
{
|
|
710
|
-
name: "
|
|
680
|
+
name: "attributes",
|
|
711
681
|
defaultValue: []
|
|
712
682
|
},
|
|
713
683
|
{
|
|
714
|
-
name: "
|
|
715
|
-
}
|
|
716
|
-
]
|
|
717
|
-
};
|
|
718
|
-
}
|
|
719
|
-
case DataModelFieldType: {
|
|
720
|
-
return {
|
|
721
|
-
name: DataModelFieldType,
|
|
722
|
-
properties: [
|
|
684
|
+
name: "baseModel"
|
|
685
|
+
},
|
|
723
686
|
{
|
|
724
|
-
name: "
|
|
725
|
-
defaultValue:
|
|
687
|
+
name: "comments",
|
|
688
|
+
defaultValue: []
|
|
726
689
|
},
|
|
727
690
|
{
|
|
728
|
-
name: "
|
|
691
|
+
name: "fields",
|
|
692
|
+
defaultValue: []
|
|
693
|
+
},
|
|
694
|
+
{
|
|
695
|
+
name: "isView",
|
|
729
696
|
defaultValue: false
|
|
730
697
|
},
|
|
731
698
|
{
|
|
732
|
-
name: "
|
|
699
|
+
name: "mixins",
|
|
700
|
+
defaultValue: []
|
|
733
701
|
},
|
|
734
702
|
{
|
|
735
|
-
name: "
|
|
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: "
|
|
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: "
|
|
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
|