@zenstackhq/language 3.7.0-beta.1 → 3.7.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/dist/index.mjs CHANGED
@@ -1,6 +1,6 @@
1
1
  import { $ as ZModelAstReflection, $t as isThisExpr, At as isFunctionParam, B as Plugin, Bt as isNullExpr, C as EnumField, Ct as isDataSource, D as FunctionParam, E as FunctionDecl, F as Model, Ft as isLiteralExpr, G as ReferenceExpr, I as ModelImport, It as isMemberAccessExpr, J as ThisExpr, Jt as isReferenceExpr, L as NullExpr, Mt as isGeneratorDecl, N as MemberAccessExpr, Nt as isInternalAttribute, O as FunctionParamType, Pt as isInvocationExpr, Qt as isStringLiteral, R as NumberLiteral, Rt as isModel, S as Enum, St as isDataModelAttribute, Tt as isEnumField, Ut as isPlugin, V as PluginField, Vt as isNumberLiteral, W as ReferenceArg, Wt as isPluginField, X as TypeDef, Z as UnaryExpr, _ as DataFieldAttribute, a as AttributeArg, at as isAttributeArg, b as DataModelAttribute, bt as isDataFieldType, c as BinaryExpr, d as ConfigArrayExpr, ft as isCollectionPredicateBinding, g as DataField, h as ConfigInvocationExpr, ht as isConfigField, i as Attribute, it as isAttribute, j as InvocationExpr, k as GeneratorDecl, kt as isFunctionDecl, l as BooleanLiteral, o as AttributeParam, p as ConfigField, pt as isConfigArrayExpr, q as StringLiteral, r as ArrayExpr, rt as isArrayExpr, s as AttributeParamType, tn as isTypeDef, tt as isAbstractDeclaration, ut as isBooleanLiteral, vt as isDataField, wt as isEnum, x as DataSource, xt as isDataModel, y as DataModel, yt as isDataFieldAttribute, z as ObjectExpr, zt as isModelImport } from "./ast-DEfhnj8j.mjs";
2
2
  import { BinaryExprOperatorPriority } from "./ast.mjs";
3
- import { A as isBeforeInvocation, B as mapBuiltinTypeToExpressionType, C as getPluginDocuments, D as hasAttribute, E as getUniqueFields, F as isDelegateModel, G as typeAssignable, H as resolveImportUri, I as isEnumFieldReference, J as IssueCodes, K as DB_PROVIDERS_SUPPORTING_LIST_TYPE, L as isFromStdlib, M as isCollectionPredicate, N as isComputedField, O as isAuthInvocation, P as isDataFieldReference, Q as SUPPORTED_PROVIDERS, R as isMemberContainer, T as getStringLiteral, U as resolveTransitiveImports, V as resolveImport, W as resolved, X as SCALAR_TYPES, Z as STD_LIB_MODULE_NAME, _ as getFunctionExpressionContext, a as getAllDeclarationsIncludingImports, b as getModelIdFields, f as getAuthDecl, h as getDocument, j as isCheckInvocation, k as isAuthOrAuthMemberAccess, l as getAttribute, m as getDataModelAndTypeDefs, n as findUpAst, o as getAllFields, p as getContainingDataModel, q as ExpressionContext, r as getAllAttributes, s as getAllLoadedAndReachableDataModelsAndTypeDefs, u as getAttributeArg, v as getLiteral, w as getRecursiveBases, x as getModelUniqueFields, z as isRelationshipField } from "./utils-BB6L7ug2.mjs";
3
+ import { $ as SUPPORTED_PROVIDERS, A as isAuthOrAuthMemberAccess, B as isRelationshipField, D as getUniqueFields, E as getStringLiteral, F as isDataFieldReference, G as resolved, H as resolveImport, I as isDelegateModel, J as ExpressionContext, K as typeAssignable, L as isEnumFieldReference, M as isCheckInvocation, N as isCollectionPredicate, O as hasAttribute, P as isComputedField, Q as STD_LIB_MODULE_NAME, R as isFromStdlib, S as getModelUniqueFields, T as getRecursiveBases, U as resolveImportUri, V as mapBuiltinTypeToExpressionType, W as resolveTransitiveImports, Y as IssueCodes, Z as SCALAR_TYPES, a as getAllDeclarationsIncludingImports, f as getAuthDecl, g as getDocument, h as getDataSourceProvider, j as isBeforeInvocation, k as isAuthInvocation, l as getAttribute, m as getDataModelAndTypeDefs, n as findUpAst, o as getAllFields, p as getContainingDataModel, q as DB_PROVIDERS_SUPPORTING_LIST_TYPE, r as getAllAttributes, s as getAllLoadedAndReachableDataModelsAndTypeDefs, u as getAttributeArg, v as getFunctionExpressionContext, w as getPluginDocuments, x as getModelIdFields, y as getLiteral, z as isMemberContainer } from "./utils-CCU55PfR.mjs";
4
4
  import { createRequire } from "node:module";
5
5
  import { invariant } from "@zenstackhq/common-helpers";
6
6
  import { AstUtils, Cancellation, DefaultCommentProvider, DefaultDocumentBuilder, DefaultLinker, DefaultScopeComputation, DefaultScopeProvider, DefaultWorkspaceManager, DocumentState, EMPTY_SCOPE, JSDocDocumentationProvider, StreamScope, TextDocument, URI, UriUtils, inject, interruptAndCheck, isAstNode, loadGrammarFromJson } from "langium";
@@ -4317,6 +4317,18 @@ var AttributeApplicationValidator = class {
4317
4317
  });
4318
4318
  } else accept("error", `Expected an array of field references`, { node: fields });
4319
4319
  }
4320
+ _checkFuzzy(attr, accept) {
4321
+ const zmodel = AstUtils.getContainerOfType(attr, isModel);
4322
+ if (!zmodel) return;
4323
+ const provider = getDataSourceProvider(zmodel);
4324
+ if (provider && provider !== "postgresql") accept("error", `\`@fuzzy\` is only supported for the \`postgresql\` provider`, { node: attr });
4325
+ }
4326
+ _checkFullText(attr, accept) {
4327
+ const zmodel = AstUtils.getContainerOfType(attr, isModel);
4328
+ if (!zmodel) return;
4329
+ const provider = getDataSourceProvider(zmodel);
4330
+ if (provider && provider !== "postgresql") accept("error", `\`@fullText\` is only supported for the \`postgresql\` provider`, { node: attr });
4331
+ }
4320
4332
  _checkSchema(attr, accept) {
4321
4333
  const schemaName = getStringLiteral(attr.args[0]?.value);
4322
4334
  invariant(schemaName, `@@schema expects a string literal`);
@@ -4370,6 +4382,18 @@ __decorate([
4370
4382
  __decorateMetadata("design:paramtypes", [Object, Object]),
4371
4383
  __decorateMetadata("design:returntype", void 0)
4372
4384
  ], AttributeApplicationValidator.prototype, "_checkConstraint", null);
4385
+ __decorate([
4386
+ check("@fuzzy"),
4387
+ __decorateMetadata("design:type", Function),
4388
+ __decorateMetadata("design:paramtypes", [Object, Object]),
4389
+ __decorateMetadata("design:returntype", void 0)
4390
+ ], AttributeApplicationValidator.prototype, "_checkFuzzy", null);
4391
+ __decorate([
4392
+ check("@fullText"),
4393
+ __decorateMetadata("design:type", Function),
4394
+ __decorateMetadata("design:paramtypes", [Object, Object]),
4395
+ __decorateMetadata("design:returntype", void 0)
4396
+ ], AttributeApplicationValidator.prototype, "_checkFullText", null);
4373
4397
  __decorate([
4374
4398
  check("@@schema"),
4375
4399
  __decorateMetadata("design:type", Function),
@@ -4553,6 +4577,7 @@ var DataModelValidator = class {
4553
4577
  this.validateFields(dm, accept);
4554
4578
  if (dm.mixins.length > 0) this.validateMixins(dm, accept);
4555
4579
  this.validateInherits(dm, accept);
4580
+ this.validateDelegateMap(dm, accept);
4556
4581
  }
4557
4582
  validateFields(dm, accept) {
4558
4583
  const allFields = getAllFields(dm);
@@ -4783,6 +4808,57 @@ var DataModelValidator = class {
4783
4808
  todo.push(...current.mixins.map((mixin) => mixin.ref));
4784
4809
  }
4785
4810
  }
4811
+ validateDelegateMap(dm, accept) {
4812
+ const delegateMapAttrs = dm.attributes.filter((attr) => attr.decl.$refText === "@@delegateMap");
4813
+ if (delegateMapAttrs.length > 1) accept("error", "Model can include at most one @@delegateMap attribute", { node: delegateMapAttrs[1] });
4814
+ const delegateMapAttr = delegateMapAttrs[0];
4815
+ if (delegateMapAttr) {
4816
+ if (!dm.baseModel) accept("error", "`@@delegateMap` can only be used on models that extend a delegate base model", { node: delegateMapAttr });
4817
+ else if (dm.baseModel.ref) this.validateDelegateMapValue(dm.baseModel.ref, delegateMapAttr, accept);
4818
+ }
4819
+ if (!hasAttribute(dm, "@@delegate")) return;
4820
+ const subModels = dm.$container.declarations.filter(isDataModel).filter((model) => model.baseModel?.ref === dm);
4821
+ if (subModels.length === 0) return;
4822
+ const seen = /* @__PURE__ */ new Map();
4823
+ subModels.forEach((model) => {
4824
+ const value = this.getDelegateMapRawValue(model) ?? model.name;
4825
+ const existing = seen.get(value);
4826
+ if (existing) accept("error", `Duplicate @@delegateMap value "${value}" on models "${existing.name}" and "${model.name}"`, { node: model });
4827
+ else seen.set(value, model);
4828
+ });
4829
+ }
4830
+ getDelegateMapRawValue(dm) {
4831
+ const valueExpr = dm.attributes.find((attr) => attr.decl.$refText === "@@delegateMap")?.args[0]?.value;
4832
+ if (!valueExpr) return;
4833
+ if (isStringLiteral(valueExpr)) return valueExpr.value;
4834
+ if (isEnumFieldReference(valueExpr)) return valueExpr.target.ref?.name;
4835
+ }
4836
+ validateDelegateMapValue(baseModel, attr, accept) {
4837
+ const delegateMapValueExpr = attr.args[0]?.value;
4838
+ if (!delegateMapValueExpr) {
4839
+ accept("error", "`@@delegateMap` expects a value", { node: attr });
4840
+ return;
4841
+ }
4842
+ const delegateAttr = getAttribute(baseModel, "@@delegate");
4843
+ const discriminatorArg = delegateAttr && getAttributeArg(delegateAttr, "discriminator");
4844
+ const discriminatorRef = discriminatorArg && isReferenceExpr(discriminatorArg) ? discriminatorArg.target.ref : void 0;
4845
+ if (!discriminatorRef || !isDataField(discriminatorRef)) return;
4846
+ const discriminatorType = discriminatorRef.type;
4847
+ const discriminatorEnum = discriminatorType.reference?.ref;
4848
+ if (isEnumFieldReference(delegateMapValueExpr)) {
4849
+ if (!isEnum(discriminatorEnum)) {
4850
+ accept("error", "`@@delegateMap` enum value cannot be used when the discriminator field is String", { node: delegateMapValueExpr });
4851
+ return;
4852
+ }
4853
+ if (delegateMapValueExpr.target.ref?.$container !== discriminatorEnum) accept("error", "`@@delegateMap` enum value must come from the discriminator enum type", { node: delegateMapValueExpr });
4854
+ return;
4855
+ }
4856
+ if (isStringLiteral(delegateMapValueExpr)) {
4857
+ if (discriminatorType.type !== "String") accept("error", "`@@delegateMap` string value must match a String discriminator field", { node: delegateMapValueExpr });
4858
+ return;
4859
+ }
4860
+ accept("error", "`@@delegateMap` expects a string literal or enum value", { node: delegateMapValueExpr });
4861
+ }
4786
4862
  };
4787
4863
  //#endregion
4788
4864
  //#region src/validators/datasource-validator.ts
@@ -6912,13 +6988,6 @@ async function formatDocument(content) {
6912
6988
  });
6913
6989
  return TextDocument.applyEdits(document.textDocument, edits);
6914
6990
  }
6915
- function getDataSourceProvider(model) {
6916
- const dataSource = model.declarations.find(isDataSource);
6917
- if (!dataSource) return;
6918
- const provider = dataSource?.fields.find((f) => f.name === "provider");
6919
- if (!provider) return;
6920
- return getLiteral(provider.value);
6921
- }
6922
6991
  //#endregion
6923
6992
  export { ZModelCodeGenerator, ZModelLanguageMetaData, ZModelLanguageModule, ZModelSharedModule, createZModelLanguageServices, createZModelServices, formatDocument, loadDocument };
6924
6993