@likec4/language-server 1.2.0 → 1.2.2

package/dist/references/scope-provider.js

@@ -1,136 +0,0 @@
-import {
-  AstUtils,
-  CstUtils,
-  DefaultScopeProvider,
-  DONE_RESULT,
-  EMPTY_STREAM,
-  GrammarUtils,
-  stream,
-  StreamImpl,
-  StreamScope
-} from "langium";
-import { ast } from "../ast.js";
-import { elementRef, getFqnElementRef } from "../elementRef.js";
-import { logError } from "../logger.js";
-const { findNodeForProperty } = GrammarUtils;
-const { toDocumentSegment } = CstUtils;
-const { getDocument } = AstUtils;
-function toAstNodeDescription(entry) {
-  const $cstNode = findNodeForProperty(entry.el.$cstNode, "name");
-  return {
-    documentUri: entry.doc.uri,
-    name: entry.name,
-    ...entry.el.$cstNode && {
-      selectionSegment: toDocumentSegment(entry.el.$cstNode)
-    },
-    ...$cstNode && {
-      nameSegment: toDocumentSegment($cstNode)
-    },
-    path: entry.path,
-    type: ast.Element
-  };
-}
-export class LikeC4ScopeProvider extends DefaultScopeProvider {
-  fqnIndex;
-  constructor(services) {
-    super(services);
-    this.fqnIndex = services.likec4.FqnIndex;
-  }
-  directChildrenOf(parent) {
-    return this.fqnIndex.directChildrenOf(parent).map(toAstNodeDescription);
-  }
-  // we need lazy resolving here
-  uniqueDescedants(of) {
-    return new StreamImpl(
-      () => {
-        const element = of();
-        const fqn = element && this.fqnIndex.getFqn(element);
-        if (fqn) {
-          return this.fqnIndex.uniqueDescedants(fqn).map(toAstNodeDescription).iterator();
-        }
-        return null;
-      },
-      (iterator) => {
-        if (iterator) {
-          return iterator.next();
-        }
-        return DONE_RESULT;
-      }
-    );
-  }
-  scopeElementRef(ref) {
-    return this.uniqueDescedants(() => ref.el.ref);
-  }
-  scopeExtendElement({ element }) {
-    return stream([element.el.$nodeDescription]).nonNullable().concat(this.uniqueDescedants(() => elementRef(element)));
-  }
-  scopeElementView({ viewOf, extends: ext }) {
-    if (viewOf) {
-      return stream([viewOf.el.$nodeDescription]).nonNullable().concat(this.uniqueDescedants(() => elementRef(viewOf)));
-    }
-    if (ext) {
-      return stream([ext]).flatMap((v) => {
-        const view = v.view.ref;
-        return view ? this.scopeElementView(view) : EMPTY_STREAM;
-      });
-    }
-    return EMPTY_STREAM;
-  }
-  getScope(context) {
-    const referenceType = this.reflection.getReferenceType(context);
-    try {
-      const container = context.container;
-      if (ast.isFqnElementRef(container) && context.property === "el") {
-        const parent = container.parent;
-        if (!parent) {
-          return this.getGlobalScope(referenceType);
-        }
-        return new StreamScope(this.directChildrenOf(getFqnElementRef(parent)));
-      }
-      if (ast.isElementRef(container) && context.property === "el") {
-        const parent = container.parent;
-        if (parent) {
-          return new StreamScope(this.scopeElementRef(parent));
-        }
-      }
-      return this.computeScope(context);
-    } catch (e) {
-      logError(e);
-      return this.getGlobalScope(referenceType);
-    }
-  }
-  computeScope(context) {
-    const referenceType = this.reflection.getReferenceType(context);
-    const scopes = [];
-    const doc = getDocument(context.container);
-    const precomputed = doc.precomputedScopes;
-    if (precomputed) {
-      const byReferenceType = (desc) => this.reflection.isSubtype(desc.type, referenceType);
-      let container = context.container;
-      while (container) {
-        const elements = precomputed.get(container).filter(byReferenceType);
-        if (elements.length > 0) {
-          scopes.push(stream(elements));
-        }
-        if (referenceType === ast.Element) {
-          if (ast.isExtendElementBody(container)) {
-            scopes.push(this.scopeExtendElement(container.$container));
-          }
-          if (ast.isElementViewBody(container)) {
-            scopes.push(this.scopeElementView(container.$container));
-          }
-        }
-        container = container.$container;
-      }
-    }
-    return scopes.reduceRight((outerScope, elements) => {
-      return this.createScope(elements, outerScope);
-    }, this.getGlobalScope(referenceType));
-  }
-  /**
-   * Create a global scope filtered for the given reference type.
-   */
-  getGlobalScope(referenceType) {
-    return new StreamScope(this.indexManager.allElements(referenceType));
-  }
-}

package/dist/shared/NodeKindProvider.d.ts

@@ -1,16 +0,0 @@
-import { type AstNode, type AstNodeDescription } from 'langium';
-import type { LangiumSharedServices, NodeKindProvider as LspNodeKindProvider } from 'langium/lsp';
-import { CompletionItemKind, SymbolKind } from 'vscode-languageserver-protocol';
-export declare class NodeKindProvider implements LspNodeKindProvider {
-    private services;
-    constructor(services: LangiumSharedServices);
-    /**
-     * Returns a `SymbolKind` as used by `WorkspaceSymbolProvider` or `DocumentSymbolProvider`.
-     */
-    getSymbolKind(node: AstNode | AstNodeDescription): SymbolKind;
-    /**
-     * Returns a `CompletionItemKind` as used by the `CompletionProvider`.
-     */
-    getCompletionItemKind(node: AstNode | AstNodeDescription): CompletionItemKind;
-}
-//# sourceMappingURL=NodeKindProvider.d.ts.map

package/dist/shared/NodeKindProvider.js

@@ -1,60 +0,0 @@
-import { CompletionItemKind, SymbolKind } from "vscode-languageserver-protocol";
-import { ast } from "../ast.js";
-export class NodeKindProvider {
-  constructor(services) {
-    this.services = services;
-  }
-  /**
-   * Returns a `SymbolKind` as used by `WorkspaceSymbolProvider` or `DocumentSymbolProvider`.
-   */
-  // prettier-ignore
-  getSymbolKind(node) {
-    const hasType = (type) => "type" in node && this.services.AstReflection.isSubtype(node.type, type);
-    switch (true) {
-      case (ast.isElement(node) || hasType(ast.Element) || (ast.isExtendElement(node) || hasType(ast.ExtendElement))): {
-        return SymbolKind.Constructor;
-      }
-      case (ast.isModel(node) || ast.isModelViews(node) || ast.isSpecificationRule(node) || hasType(ast.Model) || hasType(ast.ModelViews) || hasType(ast.SpecificationRule)): {
-        return SymbolKind.Namespace;
-      }
-      case (ast.isLikeC4View(node) || hasType(ast.LikeC4View)): {
-        return SymbolKind.Class;
-      }
-      case (ast.isTag(node) || hasType(ast.Tag) || (ast.isSpecificationTag(node) || hasType(ast.SpecificationTag))): {
-        return SymbolKind.EnumMember;
-      }
-      case (ast.isRelationshipKind(node) || hasType(ast.RelationshipKind) || (ast.isSpecificationRelationshipKind(node) || hasType(ast.SpecificationRelationshipKind))): {
-        return SymbolKind.Event;
-      }
-      case (ast.isElementKind(node) || hasType(ast.ElementKind) || (ast.isSpecificationElementKind(node) || hasType(ast.SpecificationElementKind))): {
-        return SymbolKind.TypeParameter;
-      }
-    }
-    return SymbolKind.Constant;
-  }
-  /**
-   * Returns a `CompletionItemKind` as used by the `CompletionProvider`.
-   */
-  getCompletionItemKind(node) {
-    switch (this.getSymbolKind(node)) {
-      case SymbolKind.Constructor:
-        return CompletionItemKind.Constructor;
-      case SymbolKind.Namespace:
-        return CompletionItemKind.Module;
-      case SymbolKind.Class:
-        return CompletionItemKind.Class;
-      case SymbolKind.Enum:
-        return CompletionItemKind.Enum;
-      case SymbolKind.EnumMember:
-        return CompletionItemKind.EnumMember;
-      case SymbolKind.TypeParameter:
-        return CompletionItemKind.TypeParameter;
-      case SymbolKind.Interface:
-        return CompletionItemKind.Interface;
-      case SymbolKind.Event:
-        return CompletionItemKind.Event;
-      default:
-        return CompletionItemKind.Reference;
-    }
-  }
-}

package/dist/shared/WorkspaceManager.d.ts

@@ -1,17 +0,0 @@
-/// <reference types="node" />
-import type { LangiumDocument } from 'langium';
-import { DefaultWorkspaceManager } from 'langium';
-import type { WorkspaceFolder } from 'vscode-languageserver';
-import { URI } from 'vscode-uri';
-export declare class LikeC4WorkspaceManager extends DefaultWorkspaceManager {
-    /**
-     * Load all additional documents that shall be visible in the context of the given workspace
-     * folders and add them to the collector. This can be used to include built-in libraries of
-     * your language, which can be either loaded from provided files or constructed in memory.
-     */
-    protected loadAdditionalDocuments(_folders: WorkspaceFolder[], _collector: (document: LangiumDocument) => void): Promise<void>;
-    workspace(): WorkspaceFolder | null;
-    get workspaceUri(): URI;
-    get workspaceURL(): import("url").URL;
-}
-//# sourceMappingURL=WorkspaceManager.d.ts.map

package/dist/shared/WorkspaceManager.js

@@ -1,29 +0,0 @@
-import { hasAtLeast, invariant } from "@likec4/core";
-import { DefaultWorkspaceManager } from "langium";
-import { URI } from "vscode-uri";
-export class LikeC4WorkspaceManager extends DefaultWorkspaceManager {
-  /**
-   * Load all additional documents that shall be visible in the context of the given workspace
-   * folders and add them to the collector. This can be used to include built-in libraries of
-   * your language, which can be either loaded from provided files or constructed in memory.
-   */
-  loadAdditionalDocuments(_folders, _collector) {
-    return Promise.resolve();
-  }
-  workspace() {
-    if (this.folders && hasAtLeast(this.folders, 1)) {
-      return this.folders[0];
-    }
-    return null;
-  }
-  get workspaceUri() {
-    const workspace = this.workspace();
-    invariant(workspace, "Workspace not initialized");
-    return URI.parse(workspace.uri);
-  }
-  get workspaceURL() {
-    const workspace = this.workspace();
-    invariant(workspace, "Workspace not initialized");
-    return new URL(workspace.uri);
-  }
-}

package/dist/shared/WorkspaceSymbolProvider.d.ts

@@ -1,4 +0,0 @@
-import { DefaultWorkspaceSymbolProvider } from 'langium/lsp';
-export declare class WorkspaceSymbolProvider extends DefaultWorkspaceSymbolProvider {
-}
-//# sourceMappingURL=WorkspaceSymbolProvider.d.ts.map

package/dist/shared/WorkspaceSymbolProvider.js

@@ -1,3 +0,0 @@
-import { DefaultWorkspaceSymbolProvider } from "langium/lsp";
-export class WorkspaceSymbolProvider extends DefaultWorkspaceSymbolProvider {
-}

package/dist/shared/index.d.ts

@@ -1,4 +0,0 @@
-export * from './NodeKindProvider';
-export * from './WorkspaceManager';
-export * from './WorkspaceSymbolProvider';
-//# sourceMappingURL=index.d.ts.map

package/dist/shared/index.js

@@ -1,3 +0,0 @@
-export * from "./NodeKindProvider.js";
-export * from "./WorkspaceManager.js";
-export * from "./WorkspaceSymbolProvider.js";

package/dist/test/index.d.ts

@@ -1,2 +0,0 @@
-export * from './testServices';
-//# sourceMappingURL=index.d.ts.map

package/dist/test/index.js

@@ -1 +0,0 @@
-export * from "./testServices.js";

package/dist/test/testServices.d.ts

@@ -1,23 +0,0 @@
-import { type Diagnostic } from 'vscode-languageserver-protocol';
-import type { LikeC4LangiumDocument } from '../ast';
-export declare function createTestServices(workspace?: string): {
-    services: import("../module").LikeC4Services;
-    parse: (input: string, uri?: string) => Promise<LikeC4LangiumDocument>;
-    validate: (input: string | LikeC4LangiumDocument, uri?: string) => Promise<{
-        document: LikeC4LangiumDocument;
-        diagnostics: (Diagnostic & import("langium").DiagnosticInfo<import("../ast").LikeC4AstNode>)[];
-        warnings: string[];
-        errors: string[];
-    }>;
-    validateAll: () => Promise<{
-        diagnostics: Diagnostic[];
-        errors: string[];
-        warnings: string[];
-    }>;
-    buildModel: () => Promise<import("@likec4/core").LikeC4ComputedModel>;
-    resetState: () => Promise<void>;
-};
-export type TestServices = ReturnType<typeof createTestServices>;
-export type TestParseFn = TestServices['validate'];
-export type TestValidateFn = TestServices['validate'];
-//# sourceMappingURL=testServices.d.ts.map

package/dist/test/testServices.js

@@ -1,102 +0,0 @@
-import { DocumentState, EmptyFileSystem } from "langium";
-import * as assert from "node:assert";
-import stripIndent from "strip-indent";
-import { DiagnosticSeverity } from "vscode-languageserver-protocol";
-import { URI, Utils } from "vscode-uri";
-import { createLanguageServices } from "../module.js";
-export function createTestServices(workspace = "file:///test/workspace") {
-  const services = createLanguageServices(EmptyFileSystem).likec4;
-  const metaData = services.LanguageMetaData;
-  const langiumDocuments = services.shared.workspace.LangiumDocuments;
-  const documentBuilder = services.shared.workspace.DocumentBuilder;
-  const modelBuilder = services.likec4.ModelBuilder;
-  const workspaceUri = URI.parse(workspace);
-  const workspaceFolder = {
-    name: "test",
-    uri: workspaceUri.toString()
-  };
-  let isInitialized = false;
-  let documentIndex = 1;
-  const parse = async (input, uri) => {
-    if (!isInitialized) {
-      await services.shared.workspace.WorkspaceLock.write(async (_cancelToken) => {
-        if (isInitialized) {
-          return;
-        }
-        isInitialized = true;
-        await services.shared.workspace.WorkspaceManager.initializeWorkspace([workspaceFolder]);
-        Object.assign(services.shared.workspace.WorkspaceManager, {
-          folders: [workspaceFolder]
-        });
-      });
-    }
-    const docUri = Utils.resolvePath(
-      workspaceUri,
-      "./src/",
-      uri ?? `${documentIndex++}${metaData.fileExtensions[0]}`
-    );
-    const document = services.shared.workspace.LangiumDocumentFactory.fromString(
-      stripIndent(input),
-      docUri
-    );
-    langiumDocuments.addDocument(document);
-    await services.shared.workspace.WorkspaceLock.write(async (_cancelToken) => {
-      await documentBuilder.build([document], { validation: false });
-    });
-    return document;
-  };
-  const validate = async (input, uri) => {
-    const document = typeof input === "string" ? await parse(input, uri) : input;
-    await services.shared.workspace.WorkspaceLock.write(async (_cancelToken) => {
-      await documentBuilder.build([document], { validation: true });
-    });
-    const diagnostics = document.diagnostics ?? [];
-    const warnings = diagnostics.flatMap((d) => d.severity === DiagnosticSeverity.Warning ? d.message : []);
-    const errors = diagnostics.flatMap((d) => d.severity === DiagnosticSeverity.Error ? d.message : []);
-    return {
-      document,
-      diagnostics,
-      warnings,
-      errors
-    };
-  };
-  let previousPromise = Promise.resolve();
-  const validateAll = async () => {
-    await services.shared.workspace.WorkspaceLock.write(async (_cancelToken) => {
-      const docs2 = langiumDocuments.all.toArray();
-      await documentBuilder.build(docs2, { validation: true });
-    });
-    await documentBuilder.waitUntil(DocumentState.Validated);
-    const docs = langiumDocuments.all.toArray();
-    assert.ok(docs.length > 0, "no documents to validate");
-    const diagnostics = docs.flatMap((doc) => doc.diagnostics ?? []);
-    const warnings = diagnostics.flatMap((d) => d.severity === DiagnosticSeverity.Warning ? d.message : []);
-    const errors = diagnostics.flatMap((d) => d.severity === DiagnosticSeverity.Error ? d.message : []);
-    return {
-      diagnostics,
-      errors,
-      warnings
-    };
-  };
-  const buildModel = async () => {
-    await validateAll();
-    const model = await modelBuilder.buildComputedModel();
-    if (!model)
-      throw new Error("No model found");
-    return model;
-  };
-  const resetState = async () => {
-    await services.shared.workspace.WorkspaceLock.write(async (cancelToken) => {
-      const docs = langiumDocuments.all.toArray().map((doc) => doc.uri);
-      await documentBuilder.update([], docs, cancelToken);
-    });
-  };
-  return {
-    services,
-    parse,
-    validate,
-    validateAll,
-    buildModel,
-    resetState
-  };
-}

package/dist/utils/index.d.ts

@@ -1,2 +0,0 @@
-export * from './stringHash';
-//# sourceMappingURL=index.d.ts.map

package/dist/utils/index.js

@@ -1 +0,0 @@
-export * from "./stringHash.js";

package/dist/utils/printDocs.d.ts

@@ -1,3 +0,0 @@
-import type { LangiumDocument } from 'langium';
-export declare const printDocs: (docs: LangiumDocument[]) => string;
-//# sourceMappingURL=printDocs.d.ts.map

package/dist/utils/printDocs.js

@@ -1 +0,0 @@
-export const printDocs = (docs) => docs.map((d) => "  - " + d.uri.toString(true)).join("\n");

package/dist/utils/stringHash.d.ts

@@ -1,2 +0,0 @@
-export declare function stringHash(...str: [string, ...string[]]): string;
-//# sourceMappingURL=stringHash.d.ts.map

package/dist/utils/stringHash.js

@@ -1,5 +0,0 @@
-import hash from "string-hash";
-export function stringHash(...str) {
-  var s = str.length > 1 ? str.join(":::") : str[0];
-  return hash(s).toString(36);
-}

package/dist/validation/dynamic-view-rule.d.ts

@@ -1,5 +0,0 @@
-import type { ValidationCheck } from 'langium';
-import { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const dynamicViewRulePredicate: (_services: LikeC4Services) => ValidationCheck<ast.DynamicViewRulePredicate>;
-//# sourceMappingURL=dynamic-view-rule.d.ts.map

package/dist/validation/dynamic-view-step.d.ts

@@ -1,5 +0,0 @@
-import type { ValidationCheck } from 'langium';
-import { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const dynamicViewStep: (services: LikeC4Services) => ValidationCheck<ast.DynamicViewStep>;
-//# sourceMappingURL=dynamic-view-step.d.ts.map

package/dist/validation/dynamic-view-step.js

@@ -1,33 +0,0 @@
-import { isAncestor } from "@likec4/core";
-import { elementRef } from "../elementRef.js";
-import { logError } from "../logger.js";
-export const dynamicViewStep = (services) => {
-  const fqnIndex = services.likec4.FqnIndex;
-  return (el, accept) => {
-    try {
-      const sourceEl = elementRef(el.source);
-      const source = sourceEl && fqnIndex.getFqn(sourceEl);
-      if (!source) {
-        accept("error", "Source not found (not parsed/indexed yet)", {
-          node: el,
-          property: "source"
-        });
-      }
-      const targetEl = elementRef(el.target);
-      const target = targetEl && fqnIndex.getFqn(targetEl);
-      if (!target) {
-        accept("error", "Target not found (not parsed/indexed yet)", {
-          node: el,
-          property: "target"
-        });
-      }
-      if (source && target && (isAncestor(source, target) || isAncestor(target, source))) {
-        accept("error", "Invalid parent-child relationship", {
-          node: el
-        });
-      }
-    } catch (e) {
-      logError(e);
-    }
-  };
-};

package/dist/validation/element.d.ts

@@ -1,6 +0,0 @@
-/// <reference types="react" />
-import { type ValidationCheck } from 'langium';
-import type { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const elementChecks: (services: LikeC4Services) => ValidationCheck<ast.Element>;
-//# sourceMappingURL=element.d.ts.map

package/dist/validation/element.js

@@ -1,38 +0,0 @@
-import { AstUtils } from "langium";
-const { getDocument } = AstUtils;
-export const elementChecks = (services) => {
-  const fqnIndex = services.likec4.FqnIndex;
-  return (el, accept) => {
-    const fqn = fqnIndex.getFqn(el);
-    if (!fqn) {
-      accept("error", "Not indexed element", {
-        node: el,
-        property: "name"
-      });
-      return;
-    }
-    const withSameFqn = fqnIndex.byFqn(fqn).filter((v) => v.el !== el).head();
-    if (withSameFqn) {
-      const isAnotherDoc = withSameFqn.doc.uri !== getDocument(el).uri;
-      accept(
-        "error",
-        `Duplicate element name ${el.name !== fqn ? el.name + " (" + fqn + ")" : el.name}`,
-        {
-          node: el,
-          property: "name",
-          ...isAnotherDoc && {
-            relatedInformation: [
-              {
-                location: {
-                  range: withSameFqn.el.$cstNode.range,
-                  uri: withSameFqn.doc.uri.toString()
-                },
-                message: `conflicting element`
-              }
-            ]
-          }
-        }
-      );
-    }
-  };
-};

package/dist/validation/index.d.ts

@@ -1,3 +0,0 @@
-import type { LikeC4Services } from '../module';
-export declare function registerValidationChecks(services: LikeC4Services): void;
-//# sourceMappingURL=index.d.ts.map

package/dist/validation/property-checks.d.ts

@@ -1,5 +0,0 @@
-import type { ValidationCheck } from 'langium';
-import type { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const opacityPropertyRuleChecks: (_: LikeC4Services) => ValidationCheck<ast.OpacityProperty>;
-//# sourceMappingURL=property-checks.d.ts.map

package/dist/validation/property-checks.js

@@ -1,11 +0,0 @@
-export const opacityPropertyRuleChecks = (_) => {
-  return (node, accept) => {
-    const opacity = parseFloat(node.value);
-    if (isNaN(opacity) || opacity < 0 || opacity > 100) {
-      accept("warning", `Value ignored, must be between 0% and 100%`, {
-        node,
-        property: "value"
-      });
-    }
-  };
-};

package/dist/validation/relation.d.ts

@@ -1,5 +0,0 @@
-import type { ValidationCheck } from 'langium';
-import { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const relationChecks: (services: LikeC4Services) => ValidationCheck<ast.Relation>;
-//# sourceMappingURL=relation.d.ts.map

package/dist/validation/relation.js

@@ -1,50 +0,0 @@
-import { isSameHierarchy } from "@likec4/core";
-import { ast } from "../ast.js";
-import { elementRef } from "../elementRef.js";
-import { logError } from "../logger.js";
-export const relationChecks = (services) => {
-  const fqnIndex = services.likec4.FqnIndex;
-  return (el, accept) => {
-    try {
-      const targetEl = elementRef(el.target);
-      const target = targetEl && fqnIndex.getFqn(targetEl);
-      if (!target) {
-        accept("error", "Target not found (not parsed/indexed yet)", {
-          node: el,
-          property: "target"
-        });
-      }
-      let sourceEl;
-      if (ast.isExplicitRelation(el)) {
-        sourceEl = elementRef(el.source);
-        if (!sourceEl) {
-          return accept("error", "Source not found (not parsed/indexed yet)", {
-            node: el,
-            property: "source"
-          });
-        }
-      } else {
-        sourceEl = el.$container.$container;
-      }
-      const source = fqnIndex.getFqn(sourceEl);
-      if (!source) {
-        accept("error", "Source not found (not parsed/indexed yet)", {
-          node: el
-        });
-      }
-      if (source && target && isSameHierarchy(source, target)) {
-        accept("error", "Invalid parent-child relationship", {
-          node: el
-        });
-      }
-      if (el.tags?.value && el.body?.tags?.value) {
-        accept("error", "Relation cannot have tags in both header and body", {
-          node: el,
-          property: "tags"
-        });
-      }
-    } catch (e) {
-      logError(e);
-    }
-  };
-};

package/dist/validation/specification.d.ts

@@ -1,10 +0,0 @@
-import { type ValidationCheck } from 'langium';
-import { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const specificationRuleChecks: (_: LikeC4Services) => ValidationCheck<ast.SpecificationRule>;
-export declare const modelRuleChecks: (_: LikeC4Services) => ValidationCheck<ast.Model>;
-export declare const modelViewsChecks: (_: LikeC4Services) => ValidationCheck<ast.ModelViews>;
-export declare const elementKindChecks: (services: LikeC4Services) => ValidationCheck<ast.ElementKind>;
-export declare const tagChecks: (services: LikeC4Services) => ValidationCheck<ast.Tag>;
-export declare const relationshipChecks: (services: LikeC4Services) => ValidationCheck<ast.RelationshipKind>;
-//# sourceMappingURL=specification.d.ts.map