zenstack 0.1.0

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.
Files changed (103) hide show
  1. package/LICENSE +21 -0
  2. package/bin/cli +3 -0
  3. package/out/cli/cli-util.js +64 -0
  4. package/out/cli/cli-util.js.map +1 -0
  5. package/out/cli/generator.js +1 -0
  6. package/out/cli/generator.js.map +1 -0
  7. package/out/cli/index.js +90 -0
  8. package/out/cli/index.js.map +1 -0
  9. package/out/extension.js +81 -0
  10. package/out/extension.js.map +1 -0
  11. package/out/generator/data-server/index.js +1 -0
  12. package/out/generator/data-server/index.js.map +1 -0
  13. package/out/generator/next-auth/index.js +196 -0
  14. package/out/generator/next-auth/index.js.map +1 -0
  15. package/out/generator/prisma/index.js +212 -0
  16. package/out/generator/prisma/index.js.map +1 -0
  17. package/out/generator/prisma/prisma-builder.js +307 -0
  18. package/out/generator/prisma/prisma-builder.js.map +1 -0
  19. package/out/generator/react-hooks/index.js +258 -0
  20. package/out/generator/react-hooks/index.js.map +1 -0
  21. package/out/generator/server/data/data-generator.js +376 -0
  22. package/out/generator/server/data/data-generator.js.map +1 -0
  23. package/out/generator/server/data/expression-writer.js +281 -0
  24. package/out/generator/server/data/expression-writer.js.map +1 -0
  25. package/out/generator/server/data/plain-expression-builder.js +53 -0
  26. package/out/generator/server/data/plain-expression-builder.js.map +1 -0
  27. package/out/generator/server/data-generator.js +82 -0
  28. package/out/generator/server/data-generator.js.map +1 -0
  29. package/out/generator/server/expression-writer.js +1 -0
  30. package/out/generator/server/expression-writer.js.map +1 -0
  31. package/out/generator/server/function/function-generator.js +50 -0
  32. package/out/generator/server/function/function-generator.js.map +1 -0
  33. package/out/generator/server/function-generator.js +13 -0
  34. package/out/generator/server/function-generator.js.map +1 -0
  35. package/out/generator/server/index.js +88 -0
  36. package/out/generator/server/index.js.map +1 -0
  37. package/out/generator/server/js-expression-builder.js +1 -0
  38. package/out/generator/server/js-expression-builder.js.map +1 -0
  39. package/out/generator/server/plain-expression-builder.js +1 -0
  40. package/out/generator/server/plain-expression-builder.js.map +1 -0
  41. package/out/generator/server/server-code-generator.js +3 -0
  42. package/out/generator/server/server-code-generator.js.map +1 -0
  43. package/out/generator/server/server-code-writer.js +1 -0
  44. package/out/generator/server/server-code-writer.js.map +1 -0
  45. package/out/generator/service/index.js +72 -0
  46. package/out/generator/service/index.js.map +1 -0
  47. package/out/generator/types.js +10 -0
  48. package/out/generator/types.js.map +1 -0
  49. package/out/generator/utils.js +10 -0
  50. package/out/generator/utils.js.map +1 -0
  51. package/out/language-server/generated/ast.js +386 -0
  52. package/out/language-server/generated/ast.js.map +1 -0
  53. package/out/language-server/generated/grammar.js +2193 -0
  54. package/out/language-server/generated/grammar.js.map +1 -0
  55. package/out/language-server/generated/module.js +23 -0
  56. package/out/language-server/generated/module.js.map +1 -0
  57. package/out/language-server/main.js +12 -0
  58. package/out/language-server/main.js.map +1 -0
  59. package/out/language-server/stdlib.zmodel +21 -0
  60. package/out/language-server/types.js +3 -0
  61. package/out/language-server/types.js.map +1 -0
  62. package/out/language-server/zmodel-index.js +38 -0
  63. package/out/language-server/zmodel-index.js.map +1 -0
  64. package/out/language-server/zmodel-linker.js +239 -0
  65. package/out/language-server/zmodel-linker.js.map +1 -0
  66. package/out/language-server/zmodel-module.js +51 -0
  67. package/out/language-server/zmodel-module.js.map +1 -0
  68. package/out/language-server/zmodel-scope.js +30 -0
  69. package/out/language-server/zmodel-scope.js.map +1 -0
  70. package/out/language-server/zmodel-validator.js +25 -0
  71. package/out/language-server/zmodel-validator.js.map +1 -0
  72. package/out/utils/indent-string.js +25 -0
  73. package/out/utils/indent-string.js.map +1 -0
  74. package/package.json +94 -0
  75. package/src/cli/cli-util.ts +80 -0
  76. package/src/cli/index.ts +80 -0
  77. package/src/extension.ts +76 -0
  78. package/src/generator/next-auth/index.ts +183 -0
  79. package/src/generator/prisma/index.ts +323 -0
  80. package/src/generator/prisma/prisma-builder.ts +366 -0
  81. package/src/generator/react-hooks/index.ts +267 -0
  82. package/src/generator/server/data/data-generator.ts +483 -0
  83. package/src/generator/server/data/expression-writer.ts +350 -0
  84. package/src/generator/server/data/plain-expression-builder.ts +72 -0
  85. package/src/generator/server/function/function-generator.ts +32 -0
  86. package/src/generator/server/index.ts +57 -0
  87. package/src/generator/server/server-code-generator.ts +6 -0
  88. package/src/generator/service/index.ts +43 -0
  89. package/src/generator/types.ts +16 -0
  90. package/src/generator/utils.ts +9 -0
  91. package/src/language-server/generated/ast.ts +603 -0
  92. package/src/language-server/generated/grammar.ts +2190 -0
  93. package/src/language-server/generated/module.ts +24 -0
  94. package/src/language-server/main.ts +12 -0
  95. package/src/language-server/stdlib.zmodel +21 -0
  96. package/src/language-server/types.ts +9 -0
  97. package/src/language-server/zmodel-index.ts +33 -0
  98. package/src/language-server/zmodel-linker.ts +407 -0
  99. package/src/language-server/zmodel-module.ts +90 -0
  100. package/src/language-server/zmodel-scope.ts +21 -0
  101. package/src/language-server/zmodel-validator.ts +35 -0
  102. package/src/language-server/zmodel.langium +186 -0
  103. package/src/utils/indent-string.ts +41 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"grammar.js","sourceRoot":"","sources":["../../../src/language-server/generated/grammar.ts"],"names":[],"mappings":";AAAA;;;gFAGgF;;;AAEhF,qCAA+C;AAE/C,IAAI,mBAAwC,CAAC;AACtC,MAAM,aAAa,GAAG,GAAY,EAAE,CAAC,mBAAmB,IAAG,CAAC,mBAAmB,GAAG,IAAA,qBAAW,EAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqoEnG,CAAC,CAAC,CAAC;AAroEQ,QAAA,aAAa,iBAqoErB"}
@@ -0,0 +1,23 @@
1
+ "use strict";
2
+ /******************************************************************************
3
+ * This file was generated by langium-cli 0.4.0.
4
+ * DO NOT EDIT MANUALLY!
5
+ ******************************************************************************/
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.ZModelGeneratedModule = exports.ZModelGeneratedSharedModule = exports.ZModelLanguageMetaData = void 0;
8
+ const ast_1 = require("./ast");
9
+ const grammar_1 = require("./grammar");
10
+ exports.ZModelLanguageMetaData = {
11
+ languageId: 'zmodel',
12
+ fileExtensions: ['.zmodel'],
13
+ caseInsensitive: false
14
+ };
15
+ exports.ZModelGeneratedSharedModule = {
16
+ AstReflection: () => new ast_1.ZModelAstReflection()
17
+ };
18
+ exports.ZModelGeneratedModule = {
19
+ Grammar: () => (0, grammar_1.ZModelGrammar)(),
20
+ LanguageMetaData: () => exports.ZModelLanguageMetaData,
21
+ parser: {}
22
+ };
23
+ //# sourceMappingURL=module.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"module.js","sourceRoot":"","sources":["../../../src/language-server/generated/module.ts"],"names":[],"mappings":";AAAA;;;gFAGgF;;;AAGhF,+BAA4C;AAC5C,uCAA0C;AAE7B,QAAA,sBAAsB,GAAqB;IACpD,UAAU,EAAE,QAAQ;IACpB,cAAc,EAAE,CAAC,SAAS,CAAC;IAC3B,eAAe,EAAE,KAAK;CACzB,CAAC;AAEW,QAAA,2BAA2B,GAAkE;IACtG,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,yBAAmB,EAAE;CACjD,CAAC;AAEW,QAAA,qBAAqB,GAAsD;IACpF,OAAO,EAAE,GAAG,EAAE,CAAC,IAAA,uBAAa,GAAE;IAC9B,gBAAgB,EAAE,GAAG,EAAE,CAAC,8BAAsB;IAC9C,MAAM,EAAE,EAAE;CACb,CAAC"}
@@ -0,0 +1,12 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ const langium_1 = require("langium");
4
+ const node_1 = require("vscode-languageserver/node");
5
+ const zmodel_module_1 = require("./zmodel-module");
6
+ // Create a connection to the client
7
+ const connection = (0, node_1.createConnection)(node_1.ProposedFeatures.all);
8
+ // Inject the shared services and language-specific services
9
+ const { shared } = (0, zmodel_module_1.createZModelServices)({ connection });
10
+ // Start the language server with the shared services
11
+ (0, langium_1.startLanguageServer)(shared);
12
+ //# sourceMappingURL=main.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/language-server/main.ts"],"names":[],"mappings":";;AAAA,qCAA8C;AAC9C,qDAAgF;AAChF,mDAAuD;AAEvD,oCAAoC;AACpC,MAAM,UAAU,GAAG,IAAA,uBAAgB,EAAC,uBAAgB,CAAC,GAAG,CAAC,CAAC;AAE1D,4DAA4D;AAC5D,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,oCAAoB,EAAC,EAAE,UAAU,EAAE,CAAC,CAAC;AAExD,qDAAqD;AACrD,IAAA,6BAAmB,EAAC,MAAM,CAAC,CAAC"}
@@ -0,0 +1,21 @@
1
+ enum ReferentialIntegrity {
2
+ Cascade
3
+ }
4
+
5
+ function env() String {}
6
+ function auth() User {}
7
+ function now() DateTime {}
8
+ function uuid() String {}
9
+ function cuid() String {}
10
+
11
+ attribute id()
12
+ attribute index()
13
+ attribute relation()
14
+ attribute default()
15
+ attribute updatedAt()
16
+ attribute unique()
17
+ attribute allow()
18
+ attribute deny()
19
+ attribute email()
20
+ attribute url()
21
+ attribute length()
@@ -0,0 +1,3 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ //# sourceMappingURL=types.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/language-server/types.ts"],"names":[],"mappings":""}
@@ -0,0 +1,38 @@
1
+ "use strict";
2
+ var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
3
+ function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
4
+ return new (P || (P = Promise))(function (resolve, reject) {
5
+ function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
6
+ function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
7
+ function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
8
+ step((generator = generator.apply(thisArg, _arguments || [])).next());
9
+ });
10
+ };
11
+ Object.defineProperty(exports, "__esModule", { value: true });
12
+ exports.ZModelDescriptionProvider = void 0;
13
+ const langium_1 = require("langium");
14
+ const vscode_languageserver_1 = require("vscode-languageserver");
15
+ const ast_1 = require("./generated/ast");
16
+ class ZModelDescriptionProvider extends langium_1.DefaultAstNodeDescriptionProvider {
17
+ constructor(services) {
18
+ super(services);
19
+ }
20
+ createDescriptions(document, cancelToken = vscode_languageserver_1.CancellationToken.None) {
21
+ const _super = Object.create(null, {
22
+ createDescriptions: { get: () => super.createDescriptions }
23
+ });
24
+ return __awaiter(this, void 0, void 0, function* () {
25
+ const descr = yield _super.createDescriptions.call(this, document, cancelToken);
26
+ // add enum fields so they can be globally resolved across modules
27
+ for (const node of (0, langium_1.streamAllContents)(document.parseResult.value)) {
28
+ yield (0, langium_1.interruptAndCheck)(cancelToken);
29
+ if ((0, ast_1.isEnumField)(node)) {
30
+ yield descr.push(this.createDescription(node, node.name, document));
31
+ }
32
+ }
33
+ return descr;
34
+ });
35
+ }
36
+ }
37
+ exports.ZModelDescriptionProvider = ZModelDescriptionProvider;
38
+ //# sourceMappingURL=zmodel-index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"zmodel-index.js","sourceRoot":"","sources":["../../src/language-server/zmodel-index.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,qCAOiB;AACjB,iEAA0D;AAC1D,yCAA8C;AAE9C,MAAa,yBAA0B,SAAQ,2CAAiC;IAC5E,YAAY,QAAyB;QACjC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC;IAEK,kBAAkB,CACpB,QAAyB,EACzB,WAAW,GAAG,yCAAiB,CAAC,IAAI;;;;;YAEpC,MAAM,KAAK,GAAG,MAAM,OAAM,kBAAkB,YAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YACpE,kEAAkE;YAClE,KAAK,MAAM,IAAI,IAAI,IAAA,2BAAiB,EAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE;gBAC9D,MAAM,IAAA,2BAAiB,EAAC,WAAW,CAAC,CAAC;gBACrC,IAAI,IAAA,iBAAW,EAAC,IAAI,CAAC,EAAE;oBACnB,MAAM,KAAK,CAAC,IAAI,CACZ,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CACpD,CAAC;iBACL;aACJ;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;KAAA;CACJ;AArBD,8DAqBC"}
@@ -0,0 +1,239 @@
1
+ "use strict";
2
+ var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
3
+ function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
4
+ return new (P || (P = Promise))(function (resolve, reject) {
5
+ function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
6
+ function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
7
+ function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
8
+ step((generator = generator.apply(thisArg, _arguments || [])).next());
9
+ });
10
+ };
11
+ Object.defineProperty(exports, "__esModule", { value: true });
12
+ exports.ZModelLinker = void 0;
13
+ const langium_1 = require("langium");
14
+ const vscode_jsonrpc_1 = require("vscode-jsonrpc");
15
+ const ast_1 = require("./generated/ast");
16
+ class ZModelLinker extends langium_1.DefaultLinker {
17
+ constructor(services) {
18
+ super(services);
19
+ this.descriptions = services.workspace.AstNodeDescriptionProvider;
20
+ }
21
+ link(document, cancelToken = vscode_jsonrpc_1.CancellationToken.None) {
22
+ var _a, _b;
23
+ return __awaiter(this, void 0, void 0, function* () {
24
+ if (((_a = document.parseResult.lexerErrors) === null || _a === void 0 ? void 0 : _a.length) > 0 ||
25
+ ((_b = document.parseResult.parserErrors) === null || _b === void 0 ? void 0 : _b.length) > 0) {
26
+ return;
27
+ }
28
+ for (const node of (0, langium_1.streamContents)(document.parseResult.value)) {
29
+ yield (0, langium_1.interruptAndCheck)(cancelToken);
30
+ this.resolve(node, document);
31
+ }
32
+ document.state = langium_1.DocumentState.Linked;
33
+ });
34
+ }
35
+ linkReference(container, property, document, extraScopes) {
36
+ if (!this.resolveFromScopeProviders(container, property, document, extraScopes)) {
37
+ const reference = container[property];
38
+ this.doLink({ reference, container, property }, document);
39
+ }
40
+ }
41
+ resolveFromScopeProviders(node, property, document, providers) {
42
+ const reference = node[property];
43
+ for (const provider of providers) {
44
+ const target = provider(reference.$refText);
45
+ if (target) {
46
+ reference._ref = target;
47
+ reference._nodeDescription =
48
+ this.descriptions.createDescription(target, target.name, document);
49
+ return target;
50
+ }
51
+ }
52
+ return null;
53
+ }
54
+ resolve(node, document, extraScopes = []) {
55
+ switch (node.$type) {
56
+ case ast_1.LiteralExpr:
57
+ this.resolveLiteral(node);
58
+ break;
59
+ case ast_1.InvocationExpr:
60
+ this.resolveInvocation(node, document, extraScopes);
61
+ break;
62
+ case ast_1.ArrayExpr:
63
+ this.resolveArray(node, document, extraScopes);
64
+ break;
65
+ case ast_1.ReferenceExpr:
66
+ this.resolveReference(node, document, extraScopes);
67
+ break;
68
+ case ast_1.MemberAccessExpr:
69
+ this.resolveMemberAccess(node, document, extraScopes);
70
+ break;
71
+ case ast_1.UnaryExpr:
72
+ this.resolveUnary(node, document, extraScopes);
73
+ break;
74
+ case ast_1.BinaryExpr:
75
+ this.resolveBinary(node, document, extraScopes);
76
+ break;
77
+ case ast_1.ThisExpr:
78
+ this.resolveThis(node, document, extraScopes);
79
+ break;
80
+ case ast_1.NullExpr:
81
+ this.resolveNull(node, document, extraScopes);
82
+ break;
83
+ default:
84
+ this.resolveDefault(node, document, extraScopes);
85
+ break;
86
+ }
87
+ }
88
+ resolveBinary(node, document, extraScopes) {
89
+ this.resolve(node.left, document, extraScopes);
90
+ this.resolve(node.right, document, extraScopes);
91
+ switch (node.operator) {
92
+ // TODO: support arithmetics?
93
+ // case '+':
94
+ // case '-':
95
+ // case '*':
96
+ // case '/':
97
+ // this.resolveToBuiltinTypeOrDecl(node, 'Int');
98
+ // break;
99
+ case '>':
100
+ case '>=':
101
+ case '<':
102
+ case '<=':
103
+ case '==':
104
+ case '!=':
105
+ case '&&':
106
+ case '||':
107
+ this.resolveToBuiltinTypeOrDecl(node, 'Boolean');
108
+ break;
109
+ case '?':
110
+ case '!':
111
+ case '^':
112
+ this.resolveCollectionPredicate(node, document, extraScopes);
113
+ break;
114
+ default:
115
+ throw Error(`Unsupported binary operator: ${node.operator}`);
116
+ }
117
+ }
118
+ resolveUnary(node, document, extraScopes) {
119
+ this.resolve(node.operand, document, extraScopes);
120
+ node.$resolvedType = node.operand.$resolvedType;
121
+ }
122
+ resolveReference(node, document, extraScopes) {
123
+ this.linkReference(node, 'target', document, extraScopes);
124
+ node.args.forEach((arg) => this.resolve(arg, document, extraScopes));
125
+ if (node.target.ref) {
126
+ // resolve type
127
+ if (node.target.ref.$type === ast_1.EnumField) {
128
+ this.resolveToBuiltinTypeOrDecl(node, node.target.ref.$container);
129
+ }
130
+ else {
131
+ this.resolveToDeclaredType(node, node.target.ref.type);
132
+ }
133
+ }
134
+ }
135
+ resolveArray(node, document, extraScopes) {
136
+ node.items.forEach((item) => this.resolve(item, document, extraScopes));
137
+ const itemType = node.items[0].$resolvedType;
138
+ if (itemType === null || itemType === void 0 ? void 0 : itemType.decl) {
139
+ this.resolveToBuiltinTypeOrDecl(node, itemType.decl, true);
140
+ }
141
+ }
142
+ resolveInvocation(node, document, extraScopes) {
143
+ this.linkReference(node, 'function', document, extraScopes);
144
+ node.args.forEach((arg) => this.resolve(arg, document, extraScopes));
145
+ const funcDecl = node.function.ref;
146
+ this.resolveToDeclaredType(node, funcDecl.returnType);
147
+ }
148
+ resolveLiteral(node) {
149
+ const type = typeof node.value === 'string'
150
+ ? 'String'
151
+ : typeof node.value === 'boolean'
152
+ ? 'Boolean'
153
+ : typeof node.value === 'number'
154
+ ? 'Int'
155
+ : undefined;
156
+ if (type) {
157
+ this.resolveToBuiltinTypeOrDecl(node, type);
158
+ }
159
+ }
160
+ resolveMemberAccess(node, document, extraScopes) {
161
+ this.resolve(node.operand, document, extraScopes);
162
+ const operandResolved = node.operand.$resolvedType;
163
+ if (operandResolved &&
164
+ !operandResolved.array &&
165
+ (0, ast_1.isDataModel)(operandResolved.decl)) {
166
+ const modelDecl = operandResolved.decl;
167
+ const provider = (name) => modelDecl.fields.find((f) => f.name === name);
168
+ extraScopes = [provider, ...extraScopes];
169
+ }
170
+ this.linkReference(node, 'member', document, extraScopes);
171
+ if (node.member.ref) {
172
+ this.resolveToDeclaredType(node, node.member.ref.type);
173
+ }
174
+ }
175
+ resolveCollectionPredicate(node, document, extraScopes) {
176
+ this.resolve(node.left, document, extraScopes);
177
+ const resolvedType = this.getResolvedType(node.left);
178
+ if (resolvedType &&
179
+ (0, ast_1.isDataModel)(resolvedType.decl) &&
180
+ resolvedType.array) {
181
+ const dataModelDecl = resolvedType.decl;
182
+ const provider = (name) => dataModelDecl.fields.find((f) => f.name === name);
183
+ extraScopes = [provider, ...extraScopes];
184
+ this.resolve(node.right, document, extraScopes);
185
+ this.resolveToBuiltinTypeOrDecl(node, 'Boolean');
186
+ }
187
+ else {
188
+ // TODO: how to attach type-checking error?
189
+ throw new Error(`Unresolved collection predicate`);
190
+ }
191
+ }
192
+ resolveThis(node, document, extraScopes) {
193
+ let decl = node.$container;
194
+ while (decl && !(0, ast_1.isDataModel)(decl)) {
195
+ decl = decl.$container;
196
+ }
197
+ if (decl) {
198
+ this.resolveToBuiltinTypeOrDecl(node, decl);
199
+ }
200
+ }
201
+ resolveNull(node, document, extraScopes) {
202
+ // TODO: how to really resolve null?
203
+ this.resolveToBuiltinTypeOrDecl(node, 'Null');
204
+ }
205
+ resolveDefault(node, document, extraScopes) {
206
+ for (const property of Object.keys(node)) {
207
+ if (!property.startsWith('$')) {
208
+ const value = node[property];
209
+ if ((0, langium_1.isReference)(value)) {
210
+ this.linkReference(node, property, document, extraScopes);
211
+ }
212
+ }
213
+ }
214
+ for (const child of (0, langium_1.streamContents)(node)) {
215
+ this.resolve(child, document, extraScopes);
216
+ }
217
+ }
218
+ // utils
219
+ getResolvedType(node) {
220
+ return node.$resolvedType;
221
+ }
222
+ resolveToDeclaredType(node, type) {
223
+ const _node = node;
224
+ if (type.type) {
225
+ _node.$resolvedType = { decl: type.type, array: type.array };
226
+ }
227
+ else if (type.reference) {
228
+ _node.$resolvedType = {
229
+ decl: type.reference.ref,
230
+ array: type.array,
231
+ };
232
+ }
233
+ }
234
+ resolveToBuiltinTypeOrDecl(node, type, array = false) {
235
+ node.$resolvedType = { decl: type, array };
236
+ }
237
+ }
238
+ exports.ZModelLinker = ZModelLinker;
239
+ //# sourceMappingURL=zmodel-linker.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"zmodel-linker.js","sourceRoot":"","sources":["../../src/language-server/zmodel-linker.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,qCAaiB;AACjB,mDAAmD;AACnD,yCAoByB;AAUzB,MAAa,YAAa,SAAQ,uBAAa;IAG3C,YAAY,QAAyB;QACjC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC,SAAS,CAAC,0BAA0B,CAAC;IACtE,CAAC;IAEK,IAAI,CACN,QAAyB,EACzB,WAAW,GAAG,kCAAiB,CAAC,IAAI;;;YAEpC,IACI,CAAA,MAAA,QAAQ,CAAC,WAAW,CAAC,WAAW,0CAAE,MAAM,IAAG,CAAC;gBAC5C,CAAA,MAAA,QAAQ,CAAC,WAAW,CAAC,YAAY,0CAAE,MAAM,IAAG,CAAC,EAC/C;gBACE,OAAO;aACV;YAED,KAAK,MAAM,IAAI,IAAI,IAAA,wBAAc,EAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE;gBAC3D,MAAM,IAAA,2BAAiB,EAAC,WAAW,CAAC,CAAC;gBACrC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;aAChC;YACD,QAAQ,CAAC,KAAK,GAAG,uBAAa,CAAC,MAAM,CAAC;;KACzC;IAED,aAAa,CACT,SAAkB,EAClB,QAAgB,EAChB,QAAyB,EACzB,WAA4B;QAE5B,IACI,CAAC,IAAI,CAAC,yBAAyB,CAC3B,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,WAAW,CACd,EACH;YACE,MAAM,SAAS,GAAwB,SAAiB,CAAC,QAAQ,CAAC,CAAC;YACnE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,QAAQ,CAAC,CAAC;SAC7D;IACL,CAAC;IAED,yBAAyB,CACrB,IAAa,EACb,QAAgB,EAChB,QAAyB,EACzB,SAA0B;QAE1B,MAAM,SAAS,GAAsB,IAAY,CAAC,QAAQ,CAAC,CAAC;QAC5D,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE;YAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC5C,IAAI,MAAM,EAAE;gBACR,SAAS,CAAC,IAAI,GAAG,MAAM,CAAC;gBACxB,SAAS,CAAC,gBAAgB;oBACtB,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAC/B,MAAM,EACN,MAAM,CAAC,IAAI,EACX,QAAQ,CACX,CAAC;gBACN,OAAO,MAAM,CAAC;aACjB;SACJ;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,CACH,IAAa,EACb,QAAyB,EACzB,cAA+B,EAAE;QAEjC,QAAQ,IAAI,CAAC,KAAK,EAAE;YAChB,KAAK,iBAAW;gBACZ,IAAI,CAAC,cAAc,CAAC,IAAmB,CAAC,CAAC;gBACzC,MAAM;YAEV,KAAK,oBAAc;gBACf,IAAI,CAAC,iBAAiB,CAClB,IAAsB,EACtB,QAAQ,EACR,WAAW,CACd,CAAC;gBACF,MAAM;YAEV,KAAK,eAAS;gBACV,IAAI,CAAC,YAAY,CAAC,IAAiB,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC5D,MAAM;YAEV,KAAK,mBAAa;gBACd,IAAI,CAAC,gBAAgB,CACjB,IAAqB,EACrB,QAAQ,EACR,WAAW,CACd,CAAC;gBACF,MAAM;YAEV,KAAK,sBAAgB;gBACjB,IAAI,CAAC,mBAAmB,CACpB,IAAwB,EACxB,QAAQ,EACR,WAAW,CACd,CAAC;gBACF,MAAM;YAEV,KAAK,eAAS;gBACV,IAAI,CAAC,YAAY,CAAC,IAAiB,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC5D,MAAM;YAEV,KAAK,gBAAU;gBACX,IAAI,CAAC,aAAa,CAAC,IAAkB,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC9D,MAAM;YAEV,KAAK,cAAQ;gBACT,IAAI,CAAC,WAAW,CAAC,IAAgB,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC1D,MAAM;YAEV,KAAK,cAAQ;gBACT,IAAI,CAAC,WAAW,CAAC,IAAgB,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC1D,MAAM;YAEV;gBACI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBACjD,MAAM;SACb;IACL,CAAC;IAED,aAAa,CACT,IAAgB,EAChB,QAAkC,EAClC,WAA4B;QAE5B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAChD,QAAQ,IAAI,CAAC,QAAQ,EAAE;YACnB,6BAA6B;YAC7B,YAAY;YACZ,YAAY;YACZ,YAAY;YACZ,YAAY;YACZ,oDAAoD;YACpD,aAAa;YAEb,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,IAAI;gBACL,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACjD,MAAM;YAEV,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACJ,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC7D,MAAM;YAEV;gBACI,MAAM,KAAK,CAAC,gCAAgC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;SACpE;IACL,CAAC;IAED,YAAY,CACR,IAAe,EACf,QAAkC,EAClC,WAA4B;QAE5B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QACjD,IAAkB,CAAC,aAAa,GAC7B,IAAI,CAAC,OACR,CAAC,aAAa,CAAC;IACpB,CAAC;IAED,gBAAgB,CACZ,IAAmB,EACnB,QAAkC,EAClC,WAA4B;QAE5B,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;QAErE,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE;YACjB,eAAe;YACf,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,eAAS,EAAE;gBACrC,IAAI,CAAC,0BAA0B,CAC3B,IAAI,EACJ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAC7B,CAAC;aACL;iBAAM;gBACH,IAAI,CAAC,qBAAqB,CACtB,IAAI,EACH,IAAI,CAAC,MAAM,CAAC,GAAsC,CAAC,IAAI,CAC3D,CAAC;aACL;SACJ;IACL,CAAC;IAED,YAAY,CACR,IAAe,EACf,QAAkC,EAClC,WAA4B;QAE5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;QAExE,MAAM,QAAQ,GAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAe,CAAC,aAAa,CAAC;QAC5D,IAAI,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,IAAI,EAAE;YAChB,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAC9D;IACL,CAAC;IAED,iBAAiB,CACb,IAAoB,EACpB,QAAyB,EACzB,WAA4B;QAE5B,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAe,CAAC;QAC/C,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC1D,CAAC;IAED,cAAc,CAAC,IAAiB;QAC5B,MAAM,IAAI,GACN,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;YAC1B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS;gBACjC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;oBAChC,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,SAAS,CAAC;QAEpB,IAAI,IAAI,EAAE;YACN,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAC/C;IACL,CAAC;IAED,mBAAmB,CACf,IAAsB,EACtB,QAAkC,EAClC,WAA4B;QAE5B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAClD,MAAM,eAAe,GAAI,IAAI,CAAC,OAAqB,CAAC,aAAa,CAAC;QAElE,IACI,eAAe;YACf,CAAC,eAAe,CAAC,KAAK;YACtB,IAAA,iBAAW,EAAC,eAAe,CAAC,IAAI,CAAC,EACnC;YACE,MAAM,SAAS,GAAG,eAAe,CAAC,IAAiB,CAAC;YACpD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAC9B,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YAClD,WAAW,GAAG,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,CAAC;SAC5C;QAED,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE;YACjB,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAC1D;IACL,CAAC;IAED,0BAA0B,CACtB,IAAgB,EAChB,QAAyB,EACzB,WAA4B;QAE5B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAE/C,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IACI,YAAY;YACZ,IAAA,iBAAW,EAAC,YAAY,CAAC,IAAI,CAAC;YAC9B,YAAY,CAAC,KAAK,EACpB;YACE,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC;YACxC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAC9B,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACtD,WAAW,GAAG,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,CAAC;YACzC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;YAChD,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;SACpD;aAAM;YACH,2CAA2C;YAC3C,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;SACtD;IACL,CAAC;IAED,WAAW,CACP,IAAc,EACd,QAAkC,EAClC,WAA4B;QAE5B,IAAI,IAAI,GAAwB,IAAI,CAAC,UAAU,CAAC;QAEhD,OAAO,IAAI,IAAI,CAAC,IAAA,iBAAW,EAAC,IAAI,CAAC,EAAE;YAC/B,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;SAC1B;QAED,IAAI,IAAI,EAAE;YACN,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAC/C;IACL,CAAC;IAED,WAAW,CACP,IAAc,EACd,QAAkC,EAClC,WAA4B;QAE5B,oCAAoC;QACpC,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAED,cAAc,CACV,IAAa,EACb,QAAkC,EAClC,WAA4B;QAE5B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACtC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE;gBAC3B,MAAM,KAAK,GAAI,IAAY,CAAC,QAAQ,CAAC,CAAC;gBACtC,IAAI,IAAA,qBAAW,EAAC,KAAK,CAAC,EAAE;oBACpB,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;iBAC7D;aACJ;SACJ;QACD,KAAK,MAAM,KAAK,IAAI,IAAA,wBAAc,EAAC,IAAI,CAAC,EAAE;YACtC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;SAC9C;IACL,CAAC;IAED,QAAQ;IAER,eAAe,CAAC,IAAa;QACzB,OAAQ,IAAkB,CAAC,aAAa,CAAC;IAC7C,CAAC;IAED,qBAAqB,CACjB,IAAa,EACb,IAA4C;QAE5C,MAAM,KAAK,GAAc,IAAI,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,EAAE;YACX,KAAK,CAAC,aAAa,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;SAChE;aAAM,IAAI,IAAI,CAAC,SAAS,EAAE;YACvB,KAAK,CAAC,aAAa,GAAG;gBAClB,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG;gBACxB,KAAK,EAAE,IAAI,CAAC,KAAK;aACpB,CAAC;SACL;IACL,CAAC;IAED,0BAA0B,CACtB,IAAa,EACb,IAAkC,EAClC,KAAK,GAAG,KAAK;QAEZ,IAAkB,CAAC,aAAa,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC9D,CAAC;CACJ;AAzWD,oCAyWC"}
@@ -0,0 +1,51 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.createZModelServices = exports.ZModelModule = void 0;
4
+ const langium_1 = require("langium");
5
+ const module_1 = require("./generated/module");
6
+ const zmodel_index_1 = require("./zmodel-index");
7
+ const zmodel_linker_1 = require("./zmodel-linker");
8
+ const zmodel_scope_1 = require("./zmodel-scope");
9
+ const zmodel_validator_1 = require("./zmodel-validator");
10
+ /**
11
+ * Dependency injection module that overrides Langium default services and contributes the
12
+ * declared custom services. The Langium defaults can be partially specified to override only
13
+ * selected services, while the custom services must be fully specified.
14
+ */
15
+ exports.ZModelModule = {
16
+ references: {
17
+ ScopeComputation: (services) => new zmodel_scope_1.ZModelScopeComputation(services),
18
+ Linker: (services) => new zmodel_linker_1.ZModelLinker(services),
19
+ // NameProvider: () => new ZModelNameProvider(),
20
+ },
21
+ validation: {
22
+ ValidationRegistry: (services) => new zmodel_validator_1.ZModelValidationRegistry(services),
23
+ ZModelValidator: () => new zmodel_validator_1.ZModelValidator(),
24
+ },
25
+ workspace: {
26
+ AstNodeDescriptionProvider: (services) => new zmodel_index_1.ZModelDescriptionProvider(services),
27
+ },
28
+ };
29
+ /**
30
+ * Create the full set of services required by Langium.
31
+ *
32
+ * First inject the shared services by merging two modules:
33
+ * - Langium default shared services
34
+ * - Services generated by langium-cli
35
+ *
36
+ * Then inject the language-specific services by merging three modules:
37
+ * - Langium default language-specific services
38
+ * - Services generated by langium-cli
39
+ * - Services specified in this file
40
+ *
41
+ * @param context Optional module context with the LSP connection
42
+ * @returns An object wrapping the shared services and the language-specific services
43
+ */
44
+ function createZModelServices(context) {
45
+ const shared = (0, langium_1.inject)((0, langium_1.createDefaultSharedModule)(context), module_1.ZModelGeneratedSharedModule);
46
+ const ZModel = (0, langium_1.inject)((0, langium_1.createDefaultModule)({ shared }), module_1.ZModelGeneratedModule, exports.ZModelModule);
47
+ shared.ServiceRegistry.register(ZModel);
48
+ return { shared, ZModel };
49
+ }
50
+ exports.createZModelServices = createZModelServices;
51
+ //# sourceMappingURL=zmodel-module.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"zmodel-module.js","sourceRoot":"","sources":["../../src/language-server/zmodel-module.ts"],"names":[],"mappings":";;;AAAA,qCASiB;AACjB,+CAG4B;AAC5B,iDAA2D;AAC3D,mDAA+C;AAC/C,iDAAwD;AACxD,yDAA+E;AAiB/E;;;;GAIG;AACU,QAAA,YAAY,GAGrB;IACA,UAAU,EAAE;QACR,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,qCAAsB,CAAC,QAAQ,CAAC;QACpE,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,4BAAY,CAAC,QAAQ,CAAC;QAChD,gDAAgD;KACnD;IACD,UAAU,EAAE;QACR,kBAAkB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC7B,IAAI,2CAAwB,CAAC,QAAQ,CAAC;QAC1C,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,kCAAe,EAAE;KAC/C;IACD,SAAS,EAAE;QACP,0BAA0B,EAAE,CAAC,QAAQ,EAAE,EAAE,CACrC,IAAI,wCAAyB,CAAC,QAAQ,CAAC;KAC9C;CACJ,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,SAAgB,oBAAoB,CAAC,OAAoC;IAIrE,MAAM,MAAM,GAAG,IAAA,gBAAM,EACjB,IAAA,mCAAyB,EAAC,OAAO,CAAC,EAClC,oCAA2B,CAC9B,CAAC;IACF,MAAM,MAAM,GAAG,IAAA,gBAAM,EACjB,IAAA,6BAAmB,EAAC,EAAE,MAAM,EAAE,CAAC,EAC/B,8BAAqB,EACrB,oBAAY,CACf,CAAC;IACF,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC;AAfD,oDAeC"}
@@ -0,0 +1,30 @@
1
+ "use strict";
2
+ var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
3
+ function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
4
+ return new (P || (P = Promise))(function (resolve, reject) {
5
+ function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
6
+ function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
7
+ function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
8
+ step((generator = generator.apply(thisArg, _arguments || [])).next());
9
+ });
10
+ };
11
+ Object.defineProperty(exports, "__esModule", { value: true });
12
+ exports.ZModelScopeComputation = void 0;
13
+ const langium_1 = require("langium");
14
+ const vscode_jsonrpc_1 = require("vscode-jsonrpc");
15
+ class ZModelScopeComputation extends langium_1.DefaultScopeComputation {
16
+ constructor(services) {
17
+ super(services);
18
+ }
19
+ computeScope(document, cancelToken = vscode_jsonrpc_1.CancellationToken.None) {
20
+ const _super = Object.create(null, {
21
+ computeScope: { get: () => super.computeScope }
22
+ });
23
+ return __awaiter(this, void 0, void 0, function* () {
24
+ // Dummy for now
25
+ return _super.computeScope.call(this, document, cancelToken);
26
+ });
27
+ }
28
+ }
29
+ exports.ZModelScopeComputation = ZModelScopeComputation;
30
+ //# sourceMappingURL=zmodel-scope.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"zmodel-scope.js","sourceRoot":"","sources":["../../src/language-server/zmodel-scope.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,qCAKiB;AACjB,mDAAmD;AAEnD,MAAa,sBAAuB,SAAQ,iCAAuB;IAC/D,YAAY,QAAyB;QACjC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC;IAEK,YAAY,CACd,QAAyB,EACzB,WAAW,GAAG,kCAAiB,CAAC,IAAI;;;;;YAEpC,gBAAgB;YAChB,OAAO,OAAM,YAAY,YAAC,QAAQ,EAAE,WAAW,EAAE;QACrD,CAAC;KAAA;CACJ;AAZD,wDAYC"}
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.ZModelValidator = exports.ZModelValidationRegistry = void 0;
4
+ const langium_1 = require("langium");
5
+ /**
6
+ * Registry for validation checks.
7
+ */
8
+ class ZModelValidationRegistry extends langium_1.ValidationRegistry {
9
+ constructor(services) {
10
+ super(services);
11
+ const validator = services.validation.ZModelValidator;
12
+ const checks = {
13
+ // Person: validator.checkPersonStartsWithCapital
14
+ };
15
+ this.register(checks, validator);
16
+ }
17
+ }
18
+ exports.ZModelValidationRegistry = ZModelValidationRegistry;
19
+ /**
20
+ * Implementation of custom validations.
21
+ */
22
+ class ZModelValidator {
23
+ }
24
+ exports.ZModelValidator = ZModelValidator;
25
+ //# sourceMappingURL=zmodel-validator.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"zmodel-validator.js","sourceRoot":"","sources":["../../src/language-server/zmodel-validator.ts"],"names":[],"mappings":";;;AAAA,qCAIiB;AAIjB;;GAEG;AACH,MAAa,wBAAyB,SAAQ,4BAAkB;IAC5D,YAAY,QAAwB;QAChC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC;QACtD,MAAM,MAAM,GAAoC;QAC5C,iDAAiD;SACpD,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;CACJ;AATD,4DASC;AAED;;GAEG;AACH,MAAa,eAAe;CAS3B;AATD,0CASC"}
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ // https://github.com/sindresorhus/indent-string
3
+ Object.defineProperty(exports, "__esModule", { value: true });
4
+ function indentString(string, count = 4, options = {}) {
5
+ const { indent = ' ', includeEmptyLines = false } = options;
6
+ if (typeof string !== 'string') {
7
+ throw new TypeError(`Expected \`input\` to be a \`string\`, got \`${typeof string}\``);
8
+ }
9
+ if (typeof count !== 'number') {
10
+ throw new TypeError(`Expected \`count\` to be a \`number\`, got \`${typeof count}\``);
11
+ }
12
+ if (count < 0) {
13
+ throw new RangeError(`Expected \`count\` to be at least 0, got \`${count}\``);
14
+ }
15
+ if (typeof indent !== 'string') {
16
+ throw new TypeError(`Expected \`options.indent\` to be a \`string\`, got \`${typeof indent}\``);
17
+ }
18
+ if (count === 0) {
19
+ return string;
20
+ }
21
+ const regex = includeEmptyLines ? /^/gm : /^(?!\s*$)/gm;
22
+ return string.replace(regex, indent.repeat(count));
23
+ }
24
+ exports.default = indentString;
25
+ //# sourceMappingURL=indent-string.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"indent-string.js","sourceRoot":"","sources":["../../src/utils/indent-string.ts"],"names":[],"mappings":";AAAA,gDAAgD;;AAEhD,SAAwB,YAAY,CAChC,MAAc,EACd,KAAK,GAAG,CAAC,EACT,UAA4D,EAAE;IAE9D,MAAM,EAAE,MAAM,GAAG,GAAG,EAAE,iBAAiB,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;IAE5D,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE;QAC5B,MAAM,IAAI,SAAS,CACf,gDAAgD,OAAO,MAAM,IAAI,CACpE,CAAC;KACL;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE;QAC3B,MAAM,IAAI,SAAS,CACf,gDAAgD,OAAO,KAAK,IAAI,CACnE,CAAC;KACL;IAED,IAAI,KAAK,GAAG,CAAC,EAAE;QACX,MAAM,IAAI,UAAU,CAChB,8CAA8C,KAAK,IAAI,CAC1D,CAAC;KACL;IAED,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE;QAC5B,MAAM,IAAI,SAAS,CACf,yDAAyD,OAAO,MAAM,IAAI,CAC7E,CAAC;KACL;IAED,IAAI,KAAK,KAAK,CAAC,EAAE;QACb,OAAO,MAAM,CAAC;KACjB;IAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC;IAExD,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC;AAtCD,+BAsCC"}
package/package.json ADDED
@@ -0,0 +1,94 @@
1
+ {
2
+ "name": "zenstack",
3
+ "displayName": "ZenStack CLI and Language Tools",
4
+ "description": "ZenStack CLI and Language Tools",
5
+ "version": "0.1.0",
6
+ "engines": {
7
+ "vscode": "^1.56.0"
8
+ },
9
+ "categories": [
10
+ "Programming Languages"
11
+ ],
12
+ "contributes": {
13
+ "languages": [
14
+ {
15
+ "id": "zmodel",
16
+ "aliases": [
17
+ "ZenStack Model",
18
+ "zmodel"
19
+ ],
20
+ "extensions": [
21
+ ".zmodel"
22
+ ],
23
+ "configuration": "./language-configuration.json",
24
+ "icon": {
25
+ "light": "./asset/logo-light.png",
26
+ "dark": "./asset/logo-dark.png"
27
+ }
28
+ }
29
+ ],
30
+ "grammars": [
31
+ {
32
+ "language": "zmodel",
33
+ "scopeName": "source.zmodel",
34
+ "path": "./syntaxes/zmodel.tmLanguage.json"
35
+ }
36
+ ]
37
+ },
38
+ "activationEvents": [
39
+ "onLanguage:zmodel"
40
+ ],
41
+ "files": [
42
+ "bin",
43
+ "out",
44
+ "src"
45
+ ],
46
+ "bin": {
47
+ "zmodel-cli": "./bin/cli"
48
+ },
49
+ "main": "./out/extension.js",
50
+ "dependencies": {
51
+ "change-case": "^4.1.2",
52
+ "chevrotain": "^9.1.0",
53
+ "colors": "^1.4.0",
54
+ "commander": "^8.0.0",
55
+ "langium": "^0.4.0",
56
+ "promisify": "^0.0.3",
57
+ "ts-morph": "^16.0.0",
58
+ "vscode-jsonrpc": "^8.0.2",
59
+ "vscode-languageclient": "^7.0.0",
60
+ "vscode-languageserver": "^7.0.0",
61
+ "vscode-uri": "^3.0.2"
62
+ },
63
+ "devDependencies": {
64
+ "@prisma/internals": "^4.4.0",
65
+ "@types/jest": "^29.0.3",
66
+ "@types/node": "^14.18.29",
67
+ "@types/tmp": "^0.2.3",
68
+ "@types/uuid": "^8.3.4",
69
+ "@types/vscode": "^1.56.0",
70
+ "@typescript-eslint/eslint-plugin": "^4.14.1",
71
+ "@typescript-eslint/parser": "^4.14.1",
72
+ "concurrently": "^7.4.0",
73
+ "eslint": "^7.19.0",
74
+ "jest": "^29.0.3",
75
+ "langium-cli": "^0.4.0",
76
+ "tmp": "^0.2.1",
77
+ "ts-jest": "^29.0.1",
78
+ "ts-node": "^10.9.1",
79
+ "tsc-alias": "^1.7.0",
80
+ "tsconfig-paths-jest": "^0.0.1",
81
+ "typescript": "^4.6.2"
82
+ },
83
+ "scripts": {
84
+ "vscode:prepublish": "npm run build && npm run lint",
85
+ "build": "tsc && tsc-alias && cp src/language-server/stdlib.zmodel ./out/language-server/",
86
+ "ts:watch": "tsc --watch",
87
+ "tsc-alias:watch": "tsc-alias --watch",
88
+ "lint": "eslint src --ext ts",
89
+ "langium:generate": "langium generate",
90
+ "langium:watch": "langium generate --watch",
91
+ "watch": "concurrently --kill-others \"npm:langium:watch\" \"npm:ts:watch\" \"npm:tsc-alias:watch\"",
92
+ "test": "jest"
93
+ }
94
+ }