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.
- package/LICENSE +21 -0
- package/bin/cli +3 -0
- package/out/cli/cli-util.js +64 -0
- package/out/cli/cli-util.js.map +1 -0
- package/out/cli/generator.js +1 -0
- package/out/cli/generator.js.map +1 -0
- package/out/cli/index.js +90 -0
- package/out/cli/index.js.map +1 -0
- package/out/extension.js +81 -0
- package/out/extension.js.map +1 -0
- package/out/generator/data-server/index.js +1 -0
- package/out/generator/data-server/index.js.map +1 -0
- package/out/generator/next-auth/index.js +196 -0
- package/out/generator/next-auth/index.js.map +1 -0
- package/out/generator/prisma/index.js +212 -0
- package/out/generator/prisma/index.js.map +1 -0
- package/out/generator/prisma/prisma-builder.js +307 -0
- package/out/generator/prisma/prisma-builder.js.map +1 -0
- package/out/generator/react-hooks/index.js +258 -0
- package/out/generator/react-hooks/index.js.map +1 -0
- package/out/generator/server/data/data-generator.js +376 -0
- package/out/generator/server/data/data-generator.js.map +1 -0
- package/out/generator/server/data/expression-writer.js +281 -0
- package/out/generator/server/data/expression-writer.js.map +1 -0
- package/out/generator/server/data/plain-expression-builder.js +53 -0
- package/out/generator/server/data/plain-expression-builder.js.map +1 -0
- package/out/generator/server/data-generator.js +82 -0
- package/out/generator/server/data-generator.js.map +1 -0
- package/out/generator/server/expression-writer.js +1 -0
- package/out/generator/server/expression-writer.js.map +1 -0
- package/out/generator/server/function/function-generator.js +50 -0
- package/out/generator/server/function/function-generator.js.map +1 -0
- package/out/generator/server/function-generator.js +13 -0
- package/out/generator/server/function-generator.js.map +1 -0
- package/out/generator/server/index.js +88 -0
- package/out/generator/server/index.js.map +1 -0
- package/out/generator/server/js-expression-builder.js +1 -0
- package/out/generator/server/js-expression-builder.js.map +1 -0
- package/out/generator/server/plain-expression-builder.js +1 -0
- package/out/generator/server/plain-expression-builder.js.map +1 -0
- package/out/generator/server/server-code-generator.js +3 -0
- package/out/generator/server/server-code-generator.js.map +1 -0
- package/out/generator/server/server-code-writer.js +1 -0
- package/out/generator/server/server-code-writer.js.map +1 -0
- package/out/generator/service/index.js +72 -0
- package/out/generator/service/index.js.map +1 -0
- package/out/generator/types.js +10 -0
- package/out/generator/types.js.map +1 -0
- package/out/generator/utils.js +10 -0
- package/out/generator/utils.js.map +1 -0
- package/out/language-server/generated/ast.js +386 -0
- package/out/language-server/generated/ast.js.map +1 -0
- package/out/language-server/generated/grammar.js +2193 -0
- package/out/language-server/generated/grammar.js.map +1 -0
- package/out/language-server/generated/module.js +23 -0
- package/out/language-server/generated/module.js.map +1 -0
- package/out/language-server/main.js +12 -0
- package/out/language-server/main.js.map +1 -0
- package/out/language-server/stdlib.zmodel +21 -0
- package/out/language-server/types.js +3 -0
- package/out/language-server/types.js.map +1 -0
- package/out/language-server/zmodel-index.js +38 -0
- package/out/language-server/zmodel-index.js.map +1 -0
- package/out/language-server/zmodel-linker.js +239 -0
- package/out/language-server/zmodel-linker.js.map +1 -0
- package/out/language-server/zmodel-module.js +51 -0
- package/out/language-server/zmodel-module.js.map +1 -0
- package/out/language-server/zmodel-scope.js +30 -0
- package/out/language-server/zmodel-scope.js.map +1 -0
- package/out/language-server/zmodel-validator.js +25 -0
- package/out/language-server/zmodel-validator.js.map +1 -0
- package/out/utils/indent-string.js +25 -0
- package/out/utils/indent-string.js.map +1 -0
- package/package.json +94 -0
- package/src/cli/cli-util.ts +80 -0
- package/src/cli/index.ts +80 -0
- package/src/extension.ts +76 -0
- package/src/generator/next-auth/index.ts +183 -0
- package/src/generator/prisma/index.ts +323 -0
- package/src/generator/prisma/prisma-builder.ts +366 -0
- package/src/generator/react-hooks/index.ts +267 -0
- package/src/generator/server/data/data-generator.ts +483 -0
- package/src/generator/server/data/expression-writer.ts +350 -0
- package/src/generator/server/data/plain-expression-builder.ts +72 -0
- package/src/generator/server/function/function-generator.ts +32 -0
- package/src/generator/server/index.ts +57 -0
- package/src/generator/server/server-code-generator.ts +6 -0
- package/src/generator/service/index.ts +43 -0
- package/src/generator/types.ts +16 -0
- package/src/generator/utils.ts +9 -0
- package/src/language-server/generated/ast.ts +603 -0
- package/src/language-server/generated/grammar.ts +2190 -0
- package/src/language-server/generated/module.ts +24 -0
- package/src/language-server/main.ts +12 -0
- package/src/language-server/stdlib.zmodel +21 -0
- package/src/language-server/types.ts +9 -0
- package/src/language-server/zmodel-index.ts +33 -0
- package/src/language-server/zmodel-linker.ts +407 -0
- package/src/language-server/zmodel-module.ts +90 -0
- package/src/language-server/zmodel-scope.ts +21 -0
- package/src/language-server/zmodel-validator.ts +35 -0
- package/src/language-server/zmodel.langium +186 -0
- 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 @@
|
|
|
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
|
+
}
|