zenstack 1.0.0 → 1.0.16

package/cli/plugin-runner.js

@@ -0,0 +1,145 @@
+"use strict";
+var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
+    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
+    return new (P || (P = Promise))(function (resolve, reject) {
+        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
+        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
+        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
+        step((generator = generator.apply(thisArg, _arguments || [])).next());
+    });
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PluginRunner = void 0;
+const internals_1 = require("@prisma/internals");
+const ast_1 = require("@zenstackhq/language/ast");
+const sdk_1 = require("@zenstackhq/sdk");
+const colors_1 = __importDefault(require("colors"));
+const fs_1 = __importDefault(require("fs"));
+const ora_1 = __importDefault(require("ora"));
+const path_1 = __importDefault(require("path"));
+const telemetry_1 = __importDefault(require("../telemetry"));
+const cli_error_1 = require("./cli-error");
+/**
+ * ZenStack code generator
+ */
+class PluginRunner {
+    /**
+     * Runs a series of nested generators
+     */
+    run(context) {
+        return __awaiter(this, void 0, void 0, function* () {
+            const version = require('../package.json').version;
+            console.log(colors_1.default.bold(`⌛️ ZenStack CLI v${version}, running plugins`));
+            const plugins = [];
+            const pluginDecls = context.schema.declarations.filter((d) => (0, ast_1.isPlugin)(d));
+            const prereqPlugins = ['@zenstack/prisma', '@zenstack/model-meta', '@zenstack/access-policy'];
+            const allPluginProviders = prereqPlugins.concat(pluginDecls
+                .map((p) => this.getPluginProvider(p))
+                .filter((p) => !!p && !prereqPlugins.includes(p)));
+            let prismaOutput = './prisma/schema.prisma';
+            for (const pluginProvider of allPluginProviders) {
+                const plugin = pluginDecls.find((p) => this.getPluginProvider(p) === pluginProvider);
+                if (plugin) {
+                    const options = { schemaPath: context.schemaPath };
+                    plugin.fields.forEach((f) => {
+                        const value = (0, sdk_1.getLiteral)(f.value) || (0, sdk_1.getLiteralArray)(f.value);
+                        if (!value) {
+                            throw new cli_error_1.CliError(`Invalid plugin value for ${f.name}`);
+                        }
+                        options[f.name] = value;
+                    });
+                    const pluginModulePath = this.getPluginModulePath(pluginProvider);
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    let pluginModule;
+                    try {
+                        pluginModule = require(pluginModulePath);
+                    }
+                    catch (err) {
+                        console.error(`Unable to load plugin module ${pluginProvider}: ${pluginModulePath}, ${err}`);
+                        throw new cli_error_1.CliError(`Unable to load plugin module ${pluginProvider}`);
+                    }
+                    if (!pluginModule.default || typeof pluginModule.default !== 'function') {
+                        console.error(`Plugin provider ${pluginProvider} is missing a default function export`);
+                        throw new cli_error_1.CliError(`Plugin provider ${pluginProvider} is missing a default function export`);
+                    }
+                    plugins.push({
+                        name: this.getPluginName(pluginModule, pluginProvider),
+                        provider: pluginProvider,
+                        run: pluginModule.default,
+                        options,
+                    });
+                    if (pluginProvider === '@zenstack/prisma' && options.output) {
+                        // record custom prisma output path
+                        prismaOutput = options.output;
+                    }
+                }
+                else {
+                    // synthesize a plugin
+                    const pluginModule = require(this.getPluginModulePath(pluginProvider));
+                    plugins.push({
+                        name: this.getPluginName(pluginModule, pluginProvider),
+                        provider: pluginProvider,
+                        run: pluginModule.default,
+                        options: { schemaPath: context.schemaPath },
+                    });
+                }
+            }
+            const warnings = [];
+            let dmmf = undefined;
+            for (const { name, provider, run, options } of plugins) {
+                yield this.runPlugin(name, run, context, options, dmmf, warnings);
+                if (provider === '@zenstack/prisma') {
+                    // load prisma DMMF
+                    dmmf = yield (0, internals_1.getDMMF)({
+                        datamodel: fs_1.default.readFileSync(prismaOutput, { encoding: 'utf-8' }),
+                    });
+                }
+            }
+            console.log(colors_1.default.green(colors_1.default.bold('\n👻 All plugins completed successfully!')));
+            warnings.forEach((w) => console.warn(colors_1.default.yellow(w)));
+        });
+    }
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    getPluginName(pluginModule, pluginProvider) {
+        return typeof pluginModule.name === 'string' ? pluginModule.name : pluginProvider;
+    }
+    getPluginProvider(plugin) {
+        const providerField = plugin.fields.find((f) => f.name === 'provider');
+        return (0, sdk_1.getLiteral)(providerField === null || providerField === void 0 ? void 0 : providerField.value);
+    }
+    runPlugin(name, run, context, options, dmmf, warnings) {
+        return __awaiter(this, void 0, void 0, function* () {
+            const spinner = (0, ora_1.default)(`Running plugin ${colors_1.default.cyan(name)}`).start();
+            try {
+                yield telemetry_1.default.trackSpan('cli:plugin:start', 'cli:plugin:complete', 'cli:plugin:error', {
+                    plugin: name,
+                }, () => __awaiter(this, void 0, void 0, function* () {
+                    let result = run(context.schema, options, dmmf);
+                    if (result instanceof Promise) {
+                        result = yield result;
+                    }
+                    if (Array.isArray(result)) {
+                        warnings.push(...result);
+                    }
+                }));
+                spinner.succeed();
+            }
+            catch (err) {
+                spinner.fail();
+                throw err;
+            }
+        });
+    }
+    getPluginModulePath(provider) {
+        let pluginModulePath = provider;
+        if (pluginModulePath.startsWith('@zenstack/')) {
+            pluginModulePath = pluginModulePath.replace(/^@zenstack/, path_1.default.join(__dirname, '../plugins'));
+        }
+        return pluginModulePath;
+    }
+}
+exports.PluginRunner = PluginRunner;
+//# sourceMappingURL=plugin-runner.js.map

package/cli/plugin-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin-runner.js","sourceRoot":"","sources":["../../src/cli/plugin-runner.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAEA,iDAA4C;AAC5C,kDAA4D;AAC5D,yCAA6F;AAC7F,oDAA4B;AAC5B,4CAAoB;AACpB,8CAAsB;AACtB,gDAAwB;AACxB,6DAAqC;AAErC,2CAAuC;AAEvC;;GAEG;AACH,MAAa,YAAY;IACrB;;OAEG;IACG,GAAG,CAAC,OAAgB;;YACtB,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,gBAAM,CAAC,IAAI,CAAC,oBAAoB,OAAO,mBAAmB,CAAC,CAAC,CAAC;YAEzE,MAAM,OAAO,GAKR,EAAE,CAAC;YAER,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,IAAA,cAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,aAAa,GAAG,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,yBAAyB,CAAC,CAAC;YAC9F,MAAM,kBAAkB,GAAG,aAAa,CAAC,MAAM,CAC3C,WAAW;iBACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;iBACrC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACrE,CAAC;YACF,IAAI,YAAY,GAAG,wBAAwB,CAAC;YAE5C,KAAK,MAAM,cAAc,IAAI,kBAAkB,EAAE;gBAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC;gBACrF,IAAI,MAAM,EAAE;oBACR,MAAM,OAAO,GAAkB,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;oBAElE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;wBACxB,MAAM,KAAK,GAAG,IAAA,gBAAU,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAA,qBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;wBAC9D,IAAI,CAAC,KAAK,EAAE;4BACR,MAAM,IAAI,oBAAQ,CAAC,4BAA4B,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;yBAC5D;wBACD,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;oBAC5B,CAAC,CAAC,CAAC;oBAEH,MAAM,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;oBAClE,8DAA8D;oBAC9D,IAAI,YAAiB,CAAC;oBACtB,IAAI;wBACA,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;qBAC5C;oBAAC,OAAO,GAAG,EAAE;wBACV,OAAO,CAAC,KAAK,CAAC,gCAAgC,cAAc,KAAK,gBAAgB,KAAK,GAAG,EAAE,CAAC,CAAC;wBAC7F,MAAM,IAAI,oBAAQ,CAAC,gCAAgC,cAAc,EAAE,CAAC,CAAC;qBACxE;oBAED,IAAI,CAAC,YAAY,CAAC,OAAO,IAAI,OAAO,YAAY,CAAC,OAAO,KAAK,UAAU,EAAE;wBACrE,OAAO,CAAC,KAAK,CAAC,mBAAmB,cAAc,uCAAuC,CAAC,CAAC;wBACxF,MAAM,IAAI,oBAAQ,CAAC,mBAAmB,cAAc,uCAAuC,CAAC,CAAC;qBAChG;oBACD,OAAO,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,cAAc,CAAC;wBACtD,QAAQ,EAAE,cAAc;wBACxB,GAAG,EAAE,YAAY,CAAC,OAAyB;wBAC3C,OAAO;qBACV,CAAC,CAAC;oBAEH,IAAI,cAAc,KAAK,kBAAkB,IAAI,OAAO,CAAC,MAAM,EAAE;wBACzD,mCAAmC;wBACnC,YAAY,GAAG,OAAO,CAAC,MAAgB,CAAC;qBAC3C;iBACJ;qBAAM;oBACH,sBAAsB;oBACtB,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC;oBACvE,OAAO,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,cAAc,CAAC;wBACtD,QAAQ,EAAE,cAAc;wBACxB,GAAG,EAAE,YAAY,CAAC,OAAO;wBACzB,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;qBAC9C,CAAC,CAAC;iBACN;aACJ;YAED,MAAM,QAAQ,GAAa,EAAE,CAAC;YAE9B,IAAI,IAAI,GAA8B,SAAS,CAAC;YAChD,KAAK,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,OAAO,EAAE;gBACpD,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAClE,IAAI,QAAQ,KAAK,kBAAkB,EAAE;oBACjC,mBAAmB;oBACnB,IAAI,GAAG,MAAM,IAAA,mBAAO,EAAC;wBACjB,SAAS,EAAE,YAAE,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;qBAClE,CAAC,CAAC;iBACN;aACJ;YAED,OAAO,CAAC,GAAG,CAAC,gBAAM,CAAC,KAAK,CAAC,gBAAM,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC,CAAC,CAAC;YAEnF,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC;KAAA;IAED,8DAA8D;IACtD,aAAa,CAAC,YAAiB,EAAE,cAAsB;QAC3D,OAAO,OAAO,YAAY,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,YAAY,CAAC,IAAe,CAAC,CAAC,CAAC,cAAc,CAAC;IAClG,CAAC;IAEO,iBAAiB,CAAC,MAAc;QACpC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACvE,OAAO,IAAA,gBAAU,EAAS,aAAa,aAAb,aAAa,uBAAb,aAAa,CAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAEa,SAAS,CACnB,IAAY,EACZ,GAAmB,EACnB,OAAgB,EAChB,OAAsB,EACtB,IAA+B,EAC/B,QAAkB;;YAElB,MAAM,OAAO,GAAG,IAAA,aAAG,EAAC,kBAAkB,gBAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;YACnE,IAAI;gBACA,MAAM,mBAAS,CAAC,SAAS,CACrB,kBAAkB,EAClB,qBAAqB,EACrB,kBAAkB,EAClB;oBACI,MAAM,EAAE,IAAI;iBACf,EACD,GAAS,EAAE;oBACP,IAAI,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;oBAChD,IAAI,MAAM,YAAY,OAAO,EAAE;wBAC3B,MAAM,GAAG,MAAM,MAAM,CAAC;qBACzB;oBACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;wBACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;qBAC5B;gBACL,CAAC,CAAA,CACJ,CAAC;gBACF,OAAO,CAAC,OAAO,EAAE,CAAC;aACrB;YAAC,OAAO,GAAG,EAAE;gBACV,OAAO,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,GAAG,CAAC;aACb;QACL,CAAC;KAAA;IAEO,mBAAmB,CAAC,QAAgB;QACxC,IAAI,gBAAgB,GAAG,QAAQ,CAAC;QAChC,IAAI,gBAAgB,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE;YAC3C,gBAAgB,GAAG,gBAAgB,CAAC,OAAO,CAAC,YAAY,EAAE,cAAI,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;SACjG;QACD,OAAO,gBAAgB,CAAC;IAC5B,CAAC;CACJ;AA/ID,oCA+IC"}

package/constants.d.ts

@@ -0,0 +1 @@
+export declare const TELEMETRY_TRACKING_TOKEN = "<TELEMETRY_TRACKING_TOKEN>";

package/constants.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TELEMETRY_TRACKING_TOKEN = void 0;
+// replaced at build time
+exports.TELEMETRY_TRACKING_TOKEN = '';
+//# sourceMappingURL=constants.js.map

package/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":";;;AAAA,yBAAyB;AACZ,QAAA,wBAAwB,GAAG,4BAA4B,CAAC"}

package/language-server/constants.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Supported Prisma db providers
+ */
+export declare const SUPPORTED_PROVIDERS: string[];
+/**
+ * All scalar types
+ */
+export declare const SCALAR_TYPES: string[];
+/**
+ * Name of standard library module
+ */
+export declare const STD_LIB_MODULE_NAME = "stdlib.zmodel";
+export declare enum IssueCodes {
+    MissingOppositeRelation = "miss-opposite-relation"
+}

package/language-server/constants.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IssueCodes = exports.STD_LIB_MODULE_NAME = exports.SCALAR_TYPES = exports.SUPPORTED_PROVIDERS = void 0;
+/**
+ * Supported Prisma db providers
+ */
+exports.SUPPORTED_PROVIDERS = ['sqlite', 'postgresql', 'mysql', 'sqlserver', 'cockroachdb'];
+/**
+ * All scalar types
+ */
+exports.SCALAR_TYPES = ['String', 'Int', 'Float', 'Decimal', 'BigInt', 'Boolean', 'Bytes', 'DateTime'];
+/**
+ * Name of standard library module
+ */
+exports.STD_LIB_MODULE_NAME = 'stdlib.zmodel';
+var IssueCodes;
+(function (IssueCodes) {
+    IssueCodes["MissingOppositeRelation"] = "miss-opposite-relation";
+})(IssueCodes = exports.IssueCodes || (exports.IssueCodes = {}));
+//# sourceMappingURL=constants.js.map

package/language-server/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/language-server/constants.ts"],"names":[],"mappings":";;;AAAA;;GAEG;AACU,QAAA,mBAAmB,GAAG,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AAEjG;;GAEG;AACU,QAAA,YAAY,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAE5G;;GAEG;AACU,QAAA,mBAAmB,GAAG,eAAe,CAAC;AAEnD,IAAY,UAEX;AAFD,WAAY,UAAU;IAClB,gEAAkD,CAAA;AACtD,CAAC,EAFW,UAAU,GAAV,kBAAU,KAAV,kBAAU,QAErB"}

package/language-server/main.d.ts

@@ -0,0 +1 @@
+export {};

package/language-server/main.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const langium_1 = require("langium");
+const node_1 = require("langium/node");
+const node_2 = require("vscode-languageserver/node");
+const zmodel_module_1 = require("./zmodel-module");
+// Create a connection to the client
+const connection = (0, node_2.createConnection)(node_2.ProposedFeatures.all);
+// Inject the shared services and language-specific services
+const { shared } = (0, zmodel_module_1.createZModelServices)(Object.assign({ connection }, node_1.NodeFileSystem));
+// Start the language server with the shared services
+(0, langium_1.startLanguageServer)(shared);
+//# sourceMappingURL=main.js.map

package/language-server/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/language-server/main.ts"],"names":[],"mappings":";;AAAA,qCAA8C;AAC9C,uCAA8C;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,kBAAG,UAAU,IAAK,qBAAc,EAAG,CAAC;AAE3E,qDAAqD;AACrD,IAAA,6BAAmB,EAAC,MAAM,CAAC,CAAC"}

package/language-server/types.d.ts

@@ -0,0 +1,10 @@
+import { AstNode, ValidationAcceptor } from 'langium';
+/**
+ * AST validator contract
+ */
+export interface AstValidator<T extends AstNode> {
+    /**
+     * Validates an AST node
+     */
+    validate(node: T, accept: ValidationAcceptor): void;
+}

package/language-server/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/language-server/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/language-server/types.ts"],"names":[],"mappings":""}

package/language-server/utils.d.ts

@@ -0,0 +1,18 @@
+import { AstNode } from 'langium';
+import { DataModel, DataModelField, Model } from '@zenstackhq/language/ast';
+/**
+ * Gets the toplevel Model containing the given node.
+ */
+export declare function getContainingModel(node: AstNode | undefined): Model | null;
+/**
+ * Returns if the given node is declared in stdlib.
+ */
+export declare function isFromStdlib(node: AstNode): boolean;
+/**
+ * Gets id fields declared at the data model level
+ */
+export declare function getIdFields(model: DataModel): DataModelField[];
+/**
+ * Gets lists of unique fields declared at the data model level
+ */
+export declare function getUniqueFields(model: DataModel): DataModelField[][];

package/language-server/utils.js

@@ -0,0 +1,58 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getUniqueFields = exports.getIdFields = exports.isFromStdlib = exports.getContainingModel = void 0;
+const constants_1 = require("./constants");
+const ast_1 = require("@zenstackhq/language/ast");
+const sdk_1 = require("@zenstackhq/sdk");
+/**
+ * Gets the toplevel Model containing the given node.
+ */
+function getContainingModel(node) {
+    if (!node) {
+        return null;
+    }
+    return (0, ast_1.isModel)(node) ? node : getContainingModel(node.$container);
+}
+exports.getContainingModel = getContainingModel;
+/**
+ * Returns if the given node is declared in stdlib.
+ */
+function isFromStdlib(node) {
+    const model = getContainingModel(node);
+    return !!model && !!model.$document && model.$document.uri.path.endsWith(constants_1.STD_LIB_MODULE_NAME);
+}
+exports.isFromStdlib = isFromStdlib;
+/**
+ * Gets id fields declared at the data model level
+ */
+function getIdFields(model) {
+    const idAttr = model.attributes.find((attr) => { var _a; return ((_a = attr.decl.ref) === null || _a === void 0 ? void 0 : _a.name) === '@@id'; });
+    if (!idAttr) {
+        return [];
+    }
+    const fieldsArg = idAttr.args.find((a) => { var _a; return ((_a = a.$resolvedParam) === null || _a === void 0 ? void 0 : _a.name) === 'fields'; });
+    if (!fieldsArg || !(0, ast_1.isArrayExpr)(fieldsArg.value)) {
+        return [];
+    }
+    return fieldsArg.value.items
+        .filter((item) => (0, ast_1.isReferenceExpr)(item))
+        .map((item) => (0, sdk_1.resolved)(item.target));
+}
+exports.getIdFields = getIdFields;
+/**
+ * Gets lists of unique fields declared at the data model level
+ */
+function getUniqueFields(model) {
+    const uniqueAttrs = model.attributes.filter((attr) => { var _a; return ((_a = attr.decl.ref) === null || _a === void 0 ? void 0 : _a.name) === '@@unique'; });
+    return uniqueAttrs.map((uniqueAttr) => {
+        const fieldsArg = uniqueAttr.args.find((a) => { var _a; return ((_a = a.$resolvedParam) === null || _a === void 0 ? void 0 : _a.name) === 'fields'; });
+        if (!fieldsArg || !(0, ast_1.isArrayExpr)(fieldsArg.value)) {
+            return [];
+        }
+        return fieldsArg.value.items
+            .filter((item) => (0, ast_1.isReferenceExpr)(item))
+            .map((item) => (0, sdk_1.resolved)(item.target));
+    });
+}
+exports.getUniqueFields = getUniqueFields;
+//# sourceMappingURL=utils.js.map

package/language-server/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/language-server/utils.ts"],"names":[],"mappings":";;;AACA,2CAAkD;AAClD,kDAQkC;AAClC,yCAA2C;AAE3C;;GAEG;AACH,SAAgB,kBAAkB,CAAC,IAAyB;IACxD,IAAI,CAAC,IAAI,EAAE;QACP,OAAO,IAAI,CAAC;KACf;IACD,OAAO,IAAA,aAAO,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACtE,CAAC;AALD,gDAKC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,IAAa;IACtC,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,+BAAmB,CAAC,CAAC;AAClG,CAAC;AAHD,oCAGC;AAED;;GAEG;AACH,SAAgB,WAAW,CAAC,KAAgB;IACxC,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,WAAC,OAAA,CAAA,MAAA,IAAI,CAAC,IAAI,CAAC,GAAG,0CAAE,IAAI,MAAK,MAAM,CAAA,EAAA,CAAC,CAAC;IAC/E,IAAI,CAAC,MAAM,EAAE;QACT,OAAO,EAAE,CAAC;KACb;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,WAAC,OAAA,CAAA,MAAA,CAAC,CAAC,cAAc,0CAAE,IAAI,MAAK,QAAQ,CAAA,EAAA,CAAC,CAAC;IAC/E,IAAI,CAAC,SAAS,IAAI,CAAC,IAAA,iBAAW,EAAC,SAAS,CAAC,KAAK,CAAC,EAAE;QAC7C,OAAO,EAAE,CAAC;KACb;IAED,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK;SACvB,MAAM,CAAC,CAAC,IAAI,EAAyB,EAAE,CAAC,IAAA,qBAAe,EAAC,IAAI,CAAC,CAAC;SAC9D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,cAAQ,EAAC,IAAI,CAAC,MAAM,CAAmB,CAAC,CAAC;AAChE,CAAC;AAbD,kCAaC;AAED;;GAEG;AACH,SAAgB,eAAe,CAAC,KAAgB;IAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,WAAC,OAAA,CAAA,MAAA,IAAI,CAAC,IAAI,CAAC,GAAG,0CAAE,IAAI,MAAK,UAAU,CAAA,EAAA,CAAC,CAAC;IAC1F,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QAClC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,WAAC,OAAA,CAAA,MAAA,CAAC,CAAC,cAAc,0CAAE,IAAI,MAAK,QAAQ,CAAA,EAAA,CAAC,CAAC;QACnF,IAAI,CAAC,SAAS,IAAI,CAAC,IAAA,iBAAW,EAAC,SAAS,CAAC,KAAK,CAAC,EAAE;YAC7C,OAAO,EAAE,CAAC;SACb;QAED,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK;aACvB,MAAM,CAAC,CAAC,IAAI,EAAyB,EAAE,CAAC,IAAA,qBAAe,EAAC,IAAI,CAAC,CAAC;aAC9D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,cAAQ,EAAC,IAAI,CAAC,MAAM,CAAmB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACP,CAAC;AAZD,0CAYC"}

package/language-server/validator/attribute-validator.d.ts

@@ -0,0 +1,9 @@
+import { Attribute } from '@zenstackhq/language/ast';
+import { AstValidator } from '../types';
+import { ValidationAcceptor } from 'langium';
+/**
+ * Validates attribute declarations.
+ */
+export default class AttributeValidator implements AstValidator<Attribute> {
+    validate(attr: Attribute, accept: ValidationAcceptor): void;
+}

package/language-server/validator/attribute-validator.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * Validates attribute declarations.
+ */
+class AttributeValidator {
+    // eslint-disable-next-line @typescript-eslint/no-unused-vars, @typescript-eslint/no-empty-function
+    validate(attr, accept) { }
+}
+exports.default = AttributeValidator;
+//# sourceMappingURL=attribute-validator.js.map

package/language-server/validator/attribute-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attribute-validator.js","sourceRoot":"","sources":["../../../src/language-server/validator/attribute-validator.ts"],"names":[],"mappings":";;AAIA;;GAEG;AACH,MAAqB,kBAAkB;IACnC,mGAAmG;IACnG,QAAQ,CAAC,IAAe,EAAE,MAA0B,IAAS,CAAC;CACjE;AAHD,qCAGC"}

package/language-server/validator/datamodel-validator.d.ts

@@ -0,0 +1,15 @@
+import { DataModel } from '@zenstackhq/language/ast';
+import { ValidationAcceptor } from 'langium';
+import { AstValidator } from '../types';
+/**
+ * Validates data model declarations.
+ */
+export default class DataModelValidator implements AstValidator<DataModel> {
+    validate(dm: DataModel, accept: ValidationAcceptor): void;
+    private validateFields;
+    private validateField;
+    private validateAttributes;
+    private parseRelation;
+    private isSelfRelation;
+    private validateRelationField;
+}