@reqlan/language 1.4.0

package/out/src/reqlan-completion-provider.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Code completion for references, import paths, file paths, and attributes.
+ * rq:["../../../reqlan rq/extension/configuration.rq".configuration_import_roots]
+ * rq:["../../../reqlan rq/language/imports.rq".configuration_import_root_alias]
+ * rq:["../../../reqlan rq/extension/features-syntax-highlighting.rq".reference_code_completion]
+ * rq:["../../../reqlan rq/extension/features-syntax-highlighting.rq".reference_code_completion_sequencing]
+ * rq:["../../../reqlan rq/extension/language-support/features-imports.rq".import_code_completion]
+ * rq:["../../../reqlan rq/extension/language-support/features-imports.rq".import_code_completion_ranking]
+ * rq:["../../../reqlan rq/extension/language-support/features-imports.rq".anonymous_reference_code_completion]
+ */
+import type { AstNodeDescription, LangiumDocument } from 'langium';
+import type { MaybePromise } from 'langium';
+import { DefaultCompletionProvider, type CompletionAcceptor, type CompletionContext, type CompletionProviderOptions } from 'langium/lsp';
+import type { CompletionList, CompletionParams } from 'vscode-languageserver';
+import { AttributeCatalogStore } from './reqlan-attribute-catalog.js';
+import type { ReqlanServices } from './reqlan-module.js';
+export declare class ReqlanCompletionProvider extends DefaultCompletionProvider {
+    private readonly documents;
+    private readonly fileSystem;
+    private readonly descriptions;
+    private readonly services;
+    readonly attributeCatalog: AttributeCatalogStore;
+    readonly completionOptions: CompletionProviderOptions;
+    constructor(services: ReqlanServices, attributeCatalog?: AttributeCatalogStore);
+    getCompletion(document: LangiumDocument, params: CompletionParams): Promise<CompletionList | undefined>;
+    protected completionFor(context: CompletionContext, next: Parameters<DefaultCompletionProvider['completionFor']>[1], acceptor: CompletionAcceptor): MaybePromise<void>;
+    protected getReferenceCandidates(refInfo: Parameters<DefaultCompletionProvider['getReferenceCandidates']>[0], context: CompletionContext): import("langium").Stream<AstNodeDescription>;
+    private completeAttributeKeys;
+    private completeAttributeValues;
+    private completeReferenceNames;
+    private completeAnonymousImportPath;
+    private completeImportPath;
+    /** Shared candidate set for `import "…"` / `from "…"` and anonymous `["…"]` paths. */
+    private collectImportPathCandidates;
+    private collectUsedAttributeKeys;
+    private refreshWorkspaceAttributeCatalog;
+}
+/** Undirected idea↔idea edges from bracket/wikilink references in the given documents. */
+export declare function buildIdeaReferenceAdjacency(documents: LangiumDocument[]): Map<string, Set<string>>;
+/** BFS hop distances from `center` over an undirected adjacency map. */
+export declare function hopDistancesFromCenter(center: string, adjacency: Map<string, Set<string>>): Map<string, number>;

package/out/src/reqlan-completion-provider.js

@@ -0,0 +1,320 @@
+import { AstUtils, stream } from 'langium';
+import { DefaultCompletionProvider } from 'langium/lsp';
+import { reqlanStringDelimiter } from './reqlan-quoted-strings.js';
+import { CompletionItemKind, CompletionList as LspCompletionList } from 'vscode-languageserver';
+import { isAttribute, isBracketReference, isIdea, isIdeaSet, isLocalReference, isModel, isOneLinerIdea, isQualifiedReference, isWikiLink } from './generated/ast.js';
+import { AttributeCatalogStore, ENDORSED_ATTRIBUTE_KEYS } from './reqlan-attribute-catalog.js';
+import { findContainingIdea, getAnonymousImportPathContext, getAttributeKeyContext, getAttributeValueContext, getCompletionSite, getReferencePrefixContext } from './reqlan-completion-context.js';
+import { collectPathCompletionCandidates, comparePathCompletionCandidates, pathCompletionFilterText, pathCompletionSortText } from './reqlan-path-completion.js';
+import { pathResolveContextFromServices } from './reqlan-path-resolve.js';
+import { referenceIdea } from './reqlan-references.js';
+import { collectWorkspaceAttributeCatalog } from './reqlan-workspace-attribute-catalog.js';
+const UNREACHABLE_DISTANCE = 9999;
+export class ReqlanCompletionProvider extends DefaultCompletionProvider {
+    constructor(services, attributeCatalog = new AttributeCatalogStore()) {
+        super(services);
+        this.completionOptions = {
+            triggerCharacters: ['@', '[', '.', '/', '"']
+        };
+        this.documents = services.shared.workspace.LangiumDocuments;
+        this.fileSystem = services.shared.workspace.FileSystemProvider;
+        this.descriptions = services.workspace.AstNodeDescriptionProvider;
+        this.services = services;
+        this.attributeCatalog = attributeCatalog;
+    }
+    async getCompletion(document, params) {
+        const site = getCompletionSite(document, params.position);
+        if (site === 'main_description') {
+            return LspCompletionList.create([], true);
+        }
+        if (site === 'attribute_key') {
+            return this.completeAttributeKeys(document, params);
+        }
+        if (site === 'attribute_value') {
+            return this.completeAttributeValues(document, params);
+        }
+        if (site === 'anonymous_import_path') {
+            return this.completeAnonymousImportPath(document, params);
+        }
+        if (site === 'reference') {
+            return this.completeReferenceNames(document, params);
+        }
+        this.refreshWorkspaceAttributeCatalog();
+        return super.getCompletion(document, params);
+    }
+    completionFor(context, next, acceptor) {
+        if (next.property === 'path' || next.property === 'file') {
+            // Import paths and anonymous bracket paths share the same candidate logic.
+            this.completeImportPath(context, acceptor);
+            return;
+        }
+        return super.completionFor(context, next, acceptor);
+    }
+    getReferenceCandidates(refInfo, context) {
+        const candidates = super.getReferenceCandidates(refInfo, context);
+        if (refInfo.property !== 'idea' && refInfo.property !== 'ideaset' && refInfo.property !== 'members') {
+            return candidates;
+        }
+        const descriptions = this.documents.all.toArray().flatMap(doc => {
+            const model = doc.parseResult.value;
+            if (!isModel(model)) {
+                return [];
+            }
+            return model.elements
+                .filter(element => {
+                if (refInfo.property === 'ideaset') {
+                    return isIdeaSet(element);
+                }
+                return isIdea(element) || isOneLinerIdea(element);
+            })
+                .map(element => this.descriptions.createDescription(element, element.name, doc));
+        });
+        return stream([...candidates, ...descriptions]).distinct((description) => description.name);
+    }
+    completeAttributeKeys(document, params) {
+        const context = getAttributeKeyContext(document, params.position);
+        if (!context) {
+            return LspCompletionList.create([], true);
+        }
+        this.refreshWorkspaceAttributeCatalog();
+        const usedKeys = new Set(this.collectUsedAttributeKeys(document));
+        const endorsed = new Set(ENDORSED_ATTRIBUTE_KEYS);
+        const items = this.attributeCatalog.get().keys.flatMap(key => {
+            if (context.prefix && !key.startsWith(context.prefix)) {
+                return [];
+            }
+            if (usedKeys.has(key)) {
+                return [];
+            }
+            return [{
+                    label: key,
+                    kind: CompletionItemKind.Property,
+                    insertText: key,
+                    range: {
+                        start: context.replaceStart,
+                        end: context.replaceEnd
+                    },
+                    detail: endorsed.has(key) ? 'endorsed attribute' : 'workspace attribute'
+                }];
+        });
+        return LspCompletionList.create(items, true);
+    }
+    completeAttributeValues(document, params) {
+        const context = getAttributeValueContext(document, params.position);
+        if (!context) {
+            return LspCompletionList.create([], true);
+        }
+        this.refreshWorkspaceAttributeCatalog();
+        const values = this.attributeCatalog.get().valuesByKey[context.attributeName] ?? [];
+        const items = values.flatMap(value => {
+            if (context.prefix && !value.startsWith(context.prefix)) {
+                return [];
+            }
+            return [{
+                    label: value,
+                    kind: CompletionItemKind.Value,
+                    insertText: value,
+                    range: {
+                        start: context.replaceStart,
+                        end: context.replaceEnd
+                    },
+                    detail: `@${context.attributeName}`
+                }];
+        });
+        return LspCompletionList.create(items, true);
+    }
+    completeReferenceNames(document, params) {
+        const context = getReferencePrefixContext(document, params.position);
+        if (!context) {
+            return LspCompletionList.create([], true);
+        }
+        const names = new Set();
+        const docs = this.documents.all.toArray();
+        if (!docs.some(doc => doc.uri.toString() === document.uri.toString())) {
+            docs.push(document);
+        }
+        for (const doc of docs) {
+            const model = doc.parseResult.value;
+            if (!isModel(model)) {
+                continue;
+            }
+            for (const element of model.elements) {
+                if (isIdea(element) || isOneLinerIdea(element) || isIdeaSet(element)) {
+                    names.add(element.name);
+                }
+            }
+        }
+        const center = findContainingIdea(document, params.position)?.name;
+        const distances = center
+            ? hopDistancesFromCenter(center, buildIdeaReferenceAdjacency(docs))
+            : new Map();
+        const items = [...names].flatMap(name => {
+            if (context.prefix && !name.startsWith(context.prefix)) {
+                return [];
+            }
+            const distance = distances.get(name) ?? UNREACHABLE_DISTANCE;
+            return [{
+                    label: name,
+                    kind: CompletionItemKind.Reference,
+                    insertText: name,
+                    sortText: `${String(distance).padStart(4, '0')}_${name}`,
+                    range: {
+                        start: context.replaceStart,
+                        end: context.replaceEnd
+                    }
+                }];
+        }).sort((left, right) => {
+            const leftDistance = distances.get(String(left.label)) ?? UNREACHABLE_DISTANCE;
+            const rightDistance = distances.get(String(right.label)) ?? UNREACHABLE_DISTANCE;
+            return leftDistance - rightDistance || String(left.label).localeCompare(String(right.label));
+        });
+        return LspCompletionList.create(items, true);
+    }
+    completeAnonymousImportPath(document, params) {
+        const context = getAnonymousImportPathContext(document, params.position);
+        if (!context) {
+            return LspCompletionList.create([], true);
+        }
+        const candidates = this.collectImportPathCandidates(document, context.prefix)
+            .sort((left, right) => comparePathCompletionCandidates(document, left, right));
+        const items = candidates.map(candidate => ({
+            label: candidate.path,
+            kind: candidate.isDirectory ? CompletionItemKind.Folder : CompletionItemKind.File,
+            textEdit: {
+                newText: candidate.path,
+                range: {
+                    start: context.replaceStart,
+                    end: context.replaceEnd
+                }
+            },
+            sortText: pathCompletionSortText(document, candidate),
+            filterText: pathCompletionFilterText(context.prefix, candidate)
+        }));
+        return LspCompletionList.create(items, true);
+    }
+    completeImportPath(context, acceptor) {
+        const text = context.textDocument.getText();
+        const existingText = text.substring(context.tokenOffset, context.offset);
+        let range = {
+            start: context.position,
+            end: context.position
+        };
+        let prefix = '';
+        if (existingText.length > 0) {
+            const delimiter = reqlanStringDelimiter(existingText);
+            prefix = delimiter
+                ? existingText.slice(1, existingText.endsWith(delimiter) ? -1 : undefined)
+                : existingText;
+            const quoteOffset = delimiter ? 1 : 0;
+            const start = context.textDocument.positionAt(context.tokenOffset + quoteOffset);
+            const end = context.textDocument.positionAt(context.tokenEndOffset - (delimiter && existingText.endsWith(delimiter) ? 1 : 0));
+            range = { start, end };
+        }
+        const candidates = this.collectImportPathCandidates(context.document, prefix)
+            .sort((left, right) => comparePathCompletionCandidates(context.document, left, right));
+        for (const candidate of candidates) {
+            const delimiter = reqlanStringDelimiter(existingText);
+            const opening = delimiter ?? '"';
+            const needsClosing = !delimiter || !existingText.endsWith(delimiter);
+            const closing = needsClosing ? opening : '';
+            acceptor(context, {
+                label: candidate.path,
+                textEdit: {
+                    newText: `${delimiter ? '' : opening}${candidate.path}${closing}`,
+                    range
+                },
+                kind: candidate.isDirectory ? CompletionItemKind.Folder : CompletionItemKind.File,
+                sortText: pathCompletionSortText(context.document, candidate),
+                filterText: pathCompletionFilterText(prefix, candidate)
+            });
+        }
+    }
+    /** Shared candidate set for `import "…"` / `from "…"` and anonymous `["…"]` paths. */
+    collectImportPathCandidates(document, prefix) {
+        return collectPathCompletionCandidates(document, this.documents, this.fileSystem, pathResolveContextFromServices(this.services), { extensionFilter: '.rq', prefix });
+    }
+    collectUsedAttributeKeys(document) {
+        return AstUtils.streamAst(document.parseResult.value)
+            .filter(isAttribute)
+            .map(attribute => attribute.name)
+            .toArray();
+    }
+    refreshWorkspaceAttributeCatalog() {
+        const workspaceCatalog = collectWorkspaceAttributeCatalog(this.documents);
+        this.attributeCatalog.mergeWorkspaceKeys(workspaceCatalog.keys, workspaceCatalog.valuesByKey);
+    }
+}
+/** Undirected idea↔idea edges from bracket/wikilink references in the given documents. */
+export function buildIdeaReferenceAdjacency(documents) {
+    const adjacency = new Map();
+    const addEdge = (left, right) => {
+        if (!left || !right || left === right) {
+            return;
+        }
+        if (!adjacency.has(left)) {
+            adjacency.set(left, new Set());
+        }
+        if (!adjacency.has(right)) {
+            adjacency.set(right, new Set());
+        }
+        adjacency.get(left).add(right);
+        adjacency.get(right).add(left);
+    };
+    for (const document of documents) {
+        for (const node of AstUtils.streamAst(document.parseResult.value)) {
+            if (!isBracketReference(node) && !isWikiLink(node)) {
+                continue;
+            }
+            const source = enclosingIdeaName(node);
+            if (!source) {
+                continue;
+            }
+            for (const target of referencedNames(node.target)) {
+                addEdge(source, target);
+            }
+        }
+    }
+    return adjacency;
+}
+/** BFS hop distances from `center` over an undirected adjacency map. */
+export function hopDistancesFromCenter(center, adjacency) {
+    const distances = new Map();
+    const queue = [center];
+    distances.set(center, 0);
+    while (queue.length > 0) {
+        const current = queue.shift();
+        const nextDist = (distances.get(current) ?? 0) + 1;
+        for (const neighbour of adjacency.get(current) ?? []) {
+            if (!distances.has(neighbour)) {
+                distances.set(neighbour, nextDist);
+                queue.push(neighbour);
+            }
+        }
+    }
+    return distances;
+}
+function enclosingIdeaName(node) {
+    let current = node;
+    while (current) {
+        if (isIdea(current) || isOneLinerIdea(current) || isIdeaSet(current)) {
+            return current.name;
+        }
+        current = current.$container;
+    }
+    return undefined;
+}
+function referencedNames(target) {
+    const names = [];
+    const idea = referenceIdea(target);
+    if (idea) {
+        names.push(idea.ref?.name ?? idea.$refText);
+    }
+    if (isLocalReference(target) && target.ideaset) {
+        names.push(target.ideaset.ref?.name ?? target.ideaset.$refText);
+    }
+    if (isQualifiedReference(target) && target.ideaset) {
+        names.push(target.ideaset.ref?.name ?? target.ideaset.$refText);
+    }
+    return names.filter(Boolean);
+}
+//# sourceMappingURL=reqlan-completion-provider.js.map

package/out/src/reqlan-completion-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reqlan-completion-provider.js","sourceRoot":"","sources":["../../src/reqlan-completion-provider.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAE3C,OAAO,EACH,yBAAyB,EAI5B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,kBAAkB,EAAE,cAAc,IAAI,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,MAAM,EACN,SAAS,EACT,gBAAgB,EAChB,OAAO,EACP,cAAc,EACd,oBAAoB,EACpB,UAAU,EACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAC/F,OAAO,EACH,kBAAkB,EAClB,6BAA6B,EAC7B,sBAAsB,EACtB,wBAAwB,EACxB,iBAAiB,EACjB,yBAAyB,EAC5B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACH,+BAA+B,EAC/B,+BAA+B,EAC/B,wBAAwB,EACxB,sBAAsB,EAEzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yCAAyC,CAAC;AAG3F,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAElC,MAAM,OAAO,wBAAyB,SAAQ,yBAAyB;IAWnE,YAAY,QAAwB,EAAE,gBAAgB,GAAG,IAAI,qBAAqB,EAAE;QAChF,KAAK,CAAC,QAAQ,CAAC,CAAC;QALF,sBAAiB,GAA8B;YAC7D,iBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;SAC/C,CAAC;QAIE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC;QAC5D,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAC;QAC/D,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC,SAAS,CAAC,0BAA0B,CAAC;QAClE,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;IAC7C,CAAC;IAEQ,KAAK,CAAC,aAAa,CACxB,QAAyB,EACzB,MAAwB;QAExB,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC9B,OAAO,iBAAiB,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,2BAA2B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,gCAAgC,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IAEkB,aAAa,CAC5B,OAA0B,EAC1B,IAA+D,EAC/D,QAA4B;QAE5B,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACvD,2EAA2E;YAC3E,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC3C,OAAO;QACX,CAAC;QACD,OAAO,KAAK,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC;IAEkB,sBAAsB,CACrC,OAA2E,EAC3E,OAA0B;QAE1B,MAAM,UAAU,GAAG,KAAK,CAAC,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAClE,IAAI,OAAO,CAAC,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClG,OAAO,UAAU,CAAC;QACtB,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC;YACd,CAAC;YACD,OAAO,KAAK,CAAC,QAAQ;iBAChB,MAAM,CAAC,OAAO,CAAC,EAAE;gBACd,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACjC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC;gBAC9B,CAAC;gBACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC;YACtD,CAAC,CAAC;iBACD,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACzF,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,WAA+B,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACpH,CAAC;IAEO,qBAAqB,CAAC,QAAyB,EAAE,MAAwB;QAC7E,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAClE,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,iBAAiB,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,CAAC,gCAAgC,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,uBAAuB,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACzD,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpD,OAAO,EAAE,CAAC;YACd,CAAC;YACD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,OAAO,EAAE,CAAC;YACd,CAAC;YACD,OAAO,CAAC;oBACJ,KAAK,EAAE,GAAG;oBACV,IAAI,EAAE,kBAAkB,CAAC,QAAQ;oBACjC,UAAU,EAAE,GAAG;oBACf,KAAK,EAAE;wBACH,KAAK,EAAE,OAAO,CAAC,YAAY;wBAC3B,GAAG,EAAE,OAAO,CAAC,UAAU;qBAC1B;oBACD,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,qBAAqB;iBAC3E,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,OAAO,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IAEO,uBAAuB,CAAC,QAAyB,EAAE,MAAwB;QAC/E,MAAM,OAAO,GAAG,wBAAwB,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,iBAAiB,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,CAAC,gCAAgC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QACpF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YACjC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtD,OAAO,EAAE,CAAC;YACd,CAAC;YACD,OAAO,CAAC;oBACJ,KAAK,EAAE,KAAK;oBACZ,IAAI,EAAE,kBAAkB,CAAC,KAAK;oBAC9B,UAAU,EAAE,KAAK;oBACjB,KAAK,EAAE;wBACH,KAAK,EAAE,OAAO,CAAC,YAAY;wBAC3B,GAAG,EAAE,OAAO,CAAC,UAAU;qBAC1B;oBACD,MAAM,EAAE,IAAI,OAAO,CAAC,aAAa,EAAE;iBACtC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,OAAO,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IAEO,sBAAsB,CAAC,QAAyB,EAAE,MAAwB;QAC9E,MAAM,OAAO,GAAG,yBAAyB,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,iBAAiB,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;YACpE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClB,SAAS;YACb,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACnC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC5B,CAAC;YACL,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;QACnE,MAAM,SAAS,GAAG,MAAM;YACpB,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,2BAA2B,CAAC,IAAI,CAAC,CAAC;YACnE,CAAC,CAAC,IAAI,GAAG,EAAkB,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrD,OAAO,EAAE,CAAC;YACd,CAAC;YACD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC;YAC7D,OAAO,CAAC;oBACJ,KAAK,EAAE,IAAI;oBACX,IAAI,EAAE,kBAAkB,CAAC,SAAS;oBAClC,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE;oBACxD,KAAK,EAAE;wBACH,KAAK,EAAE,OAAO,CAAC,YAAY;wBAC3B,GAAG,EAAE,OAAO,CAAC,UAAU;qBAC1B;iBACJ,CAAC,CAAC;QACP,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACpB,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;YAC/E,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;YACjF,OAAO,YAAY,GAAG,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACjG,CAAC,CAAC,CAAC;QACH,OAAO,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IAEO,2BAA2B,CAAC,QAAyB,EAAE,MAAwB;QACnF,MAAM,OAAO,GAAG,6BAA6B,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzE,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,iBAAiB,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC;aACxE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,KAAK,EAAE,SAAS,CAAC,IAAI;YACrB,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI;YACjF,QAAQ,EAAE;gBACN,OAAO,EAAE,SAAS,CAAC,IAAI;gBACvB,KAAK,EAAE;oBACH,KAAK,EAAE,OAAO,CAAC,YAAY;oBAC3B,GAAG,EAAE,OAAO,CAAC,UAAU;iBAC1B;aACJ;YACD,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC;YACrD,UAAU,EAAE,wBAAwB,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC;SAClE,CAAC,CAAC,CAAC;QACJ,OAAO,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IAEO,kBAAkB,CAAC,OAA0B,EAAE,QAA4B;QAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACzE,IAAI,KAAK,GAAG;YACR,KAAK,EAAE,OAAO,CAAC,QAAQ;YACvB,GAAG,EAAE,OAAO,CAAC,QAAQ;SACxB,CAAC;QACF,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,SAAS,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;YACtD,MAAM,GAAG,SAAS;gBACd,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC1E,CAAC,CAAC,YAAY,CAAC;YACnB,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,GAAG,WAAW,CAAC,CAAC;YACjF,MAAM,GAAG,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CACvC,OAAO,CAAC,cAAc,GAAG,CAAC,SAAS,IAAI,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACnF,CAAC;YACF,KAAK,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC3B,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC;aACxE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3F,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,SAAS,IAAI,GAAG,CAAC;YACjC,MAAM,YAAY,GAAG,CAAC,SAAS,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,QAAQ,CAAC,OAAO,EAAE;gBACd,KAAK,EAAE,SAAS,CAAC,IAAI;gBACrB,QAAQ,EAAE;oBACN,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,SAAS,CAAC,IAAI,GAAG,OAAO,EAAE;oBACjE,KAAK;iBACR;gBACD,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI;gBACjF,QAAQ,EAAE,sBAAsB,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAC7D,UAAU,EAAE,wBAAwB,CAAC,MAAM,EAAE,SAAS,CAAC;aAC1D,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,sFAAsF;IAC9E,2BAA2B,CAAC,QAAyB,EAAE,MAAc;QACzE,OAAO,+BAA+B,CAClC,QAAQ,EACR,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,UAAU,EACf,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC7C,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CACrC,CAAC;IACN,CAAC;IAEO,wBAAwB,CAAC,QAAyB;QACtD,OAAO,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC;aAChD,MAAM,CAAC,WAAW,CAAC;aACnB,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;aAChC,OAAO,EAAE,CAAC;IACnB,CAAC;IAEO,gCAAgC;QACpC,MAAM,gBAAgB,GAAG,gCAAgC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1E,IAAI,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAClG,CAAC;CACJ;AAED,0FAA0F;AAC1F,MAAM,UAAU,2BAA2B,CAAC,SAA4B;IACpE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE;QAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACpC,OAAO;QACX,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACpC,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC;IAEF,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,SAAS;YACb,CAAC;YACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,SAAS;YACb,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChD,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC5B,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,SAAmC;IACtF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;IACjC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,MAAM,QAAQ,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACnD,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa;IACpC,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,OAAO,OAAO,EAAE,CAAC;QACb,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YACnE,OAAO,OAAO,CAAC,IAAI,CAAC;QACxB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CAAC,MAA2C;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,IAAI,EAAE,CAAC;QACP,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC"}

package/out/src/reqlan-definition-provider.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Go-to-definition for imports, file references, symbols, and embedded comment references.
+ */
+import type { CstNode, LangiumDocument, MaybePromise } from 'langium';
+import { DefaultDefinitionProvider, type GoToLink } from 'langium/lsp';
+import type { DefinitionParams } from 'vscode-languageserver';
+import { LocationLink } from 'vscode-languageserver';
+import type { ReqlanServices } from './reqlan-module.js';
+export declare class ReqlanDefinitionProvider extends DefaultDefinitionProvider {
+    private readonly documents;
+    private readonly fileSystem;
+    private readonly services;
+    constructor(services: ReqlanServices);
+    private pathContext;
+    getDefinition(document: LangiumDocument, params: DefinitionParams): MaybePromise<LocationLink[] | undefined>;
+    protected findLinks(source: CstNode): GoToLink[];
+    private linkForFileReference;
+    private createNamespaceImportLink;
+    private linkForNamespaceImportReference;
+    private linkForImportPath;
+    private isOnQualifiedReferencePath;
+    private redirectImportPathLink;
+    private createImportedFileLink;
+    private createFileLink;
+    private createCommentIdeaReferenceLinks;
+    private findAnonymousImportPathLinkAtPosition;
+    private findImportPathLinkAtPosition;
+    private findFileReferenceLinkAtPosition;
+    private toLocationLink;
+    private resolvedFileLinkToLocationLink;
+}

package/out/src/reqlan-definition-provider.js

@@ -0,0 +1,240 @@
+import { AstUtils, CstUtils, GrammarUtils, URI } from 'langium';
+import { DefaultDefinitionProvider } from 'langium/lsp';
+import { LocationLink } from 'vscode-languageserver';
+import { findCommentReferencePartAt, resolveCommentDefinitionLinks } from './reqlan-comment-resolver.js';
+import { resolveFileReferenceLink, resolveImportPathLink, resolveQualifiedReferencePathLink, resolvedFileLinkToGoToTarget, resolvedFileLinkToGoToTargetFromFilesystem } from './reqlan-file-link-resolver.js';
+import { isNamespaceImportOnlyReference, resolveNamespaceImportReferenceLink } from './reqlan-namespace-import-links.js';
+import { findFileReferenceAtPosition } from './reqlan-reference-at-position.js';
+import { isMarkdownLinkLabelPosition } from './reqlan-markdown-links.js';
+import { isFileReference, isFileSymbolReference, isFromImport, isImport, isLocalReference, isQualifiedReference } from './generated/ast.js';
+import { pathResolveContextFromServices } from './reqlan-path-resolve.js';
+export class ReqlanDefinitionProvider extends DefaultDefinitionProvider {
+    constructor(services) {
+        super(services);
+        this.documents = services.shared.workspace.LangiumDocuments;
+        this.fileSystem = services.shared.workspace.FileSystemProvider;
+        this.services = services;
+    }
+    pathContext() {
+        return pathResolveContextFromServices(this.services);
+    }
+    getDefinition(document, params) {
+        if (isMarkdownLinkLabelPosition(document, params.position)) {
+            return undefined;
+        }
+        const commentPart = findCommentReferencePartAt(document, params.position);
+        if (commentPart?.property === 'idea') {
+            return this.createCommentIdeaReferenceLinks(document, commentPart.reference);
+        }
+        const fileReference = findFileReferenceAtPosition(document, params.position, this.documents, this.fileSystem, this.pathContext());
+        if (fileReference) {
+            if (fileReference.resolution === 'folder' || fileReference.resolution === 'missing') {
+                return undefined;
+            }
+            return [this.resolvedFileLinkToLocationLink(fileReference)];
+        }
+        const fileLink = this.findFileReferenceLinkAtPosition(document, params.position);
+        if (fileLink) {
+            return [this.toLocationLink(fileLink)];
+        }
+        const anonymousImportPathLink = this.findAnonymousImportPathLinkAtPosition(document, params.position);
+        if (anonymousImportPathLink) {
+            return [this.toLocationLink(anonymousImportPathLink)];
+        }
+        const importPathLink = this.findImportPathLinkAtPosition(document, params.position);
+        if (importPathLink) {
+            return [this.toLocationLink(importPathLink)];
+        }
+        return super.getDefinition(document, params);
+    }
+    findLinks(source) {
+        const fileLink = this.linkForFileReference(source) ?? this.linkForNamespaceImportReference(source);
+        if (fileLink) {
+            return [fileLink];
+        }
+        const importPathLink = this.linkForImportPath(source);
+        if (importPathLink) {
+            return [importPathLink];
+        }
+        return super.findLinks(source).map(link => this.redirectImportPathLink(link) ?? link);
+    }
+    linkForFileReference(source) {
+        const assignment = GrammarUtils.findAssignment(source);
+        if (!assignment) {
+            return undefined;
+        }
+        const container = source.astNode;
+        if ((isFileReference(container) || isFileSymbolReference(container)) && assignment.feature === 'file') {
+            return this.createFileLink(source, container);
+        }
+        return undefined;
+    }
+    createNamespaceImportLink(source, reference) {
+        const resolved = resolveNamespaceImportReferenceLink(reference, this.documents, this.fileSystem, this.pathContext());
+        if (!resolved) {
+            return undefined;
+        }
+        const targetDocument = this.documents.getDocument(URI.parse(resolved.targetUri));
+        if (targetDocument) {
+            return resolvedFileLinkToGoToTarget(resolved, source, targetDocument);
+        }
+        return resolvedFileLinkToGoToTargetFromFilesystem(resolved, source);
+    }
+    linkForNamespaceImportReference(source) {
+        const assignment = GrammarUtils.findAssignment(source);
+        if (!assignment) {
+            return undefined;
+        }
+        const container = source.astNode;
+        if (!(isLocalReference(container) || isQualifiedReference(container))) {
+            return undefined;
+        }
+        if (!isNamespaceImportOnlyReference(container)) {
+            return undefined;
+        }
+        const property = assignment.feature;
+        if (property !== 'idea' && property !== 'ideaset' && property !== 'qualifier') {
+            return undefined;
+        }
+        return this.createNamespaceImportLink(source, container);
+    }
+    linkForImportPath(source) {
+        let current = source;
+        while (current) {
+            const container = current.astNode;
+            const assignment = GrammarUtils.findAssignment(current);
+            if (isImport(container) && assignment?.feature === 'path') {
+                return this.createImportedFileLink(current, container);
+            }
+            if (isQualifiedReference(container) && this.isOnQualifiedReferencePath(current, container)) {
+                const importDecl = container.path?.ref;
+                if (importDecl) {
+                    return this.createImportedFileLink(current, importDecl);
+                }
+                const resolved = resolveQualifiedReferencePathLink(container, this.documents, this.pathContext());
+                if (resolved) {
+                    const targetDocument = this.documents.getDocument(URI.parse(resolved.targetUri.split('#')[0]));
+                    if (targetDocument) {
+                        return resolvedFileLinkToGoToTarget(resolved, current, targetDocument);
+                    }
+                }
+            }
+            current = current.container;
+        }
+        return undefined;
+    }
+    isOnQualifiedReferencePath(source, reference) {
+        const pathNode = reference.path?.$refNode ?? GrammarUtils.findNodeForProperty(reference.$cstNode, 'path');
+        if (!pathNode) {
+            return false;
+        }
+        return source.offset >= pathNode.offset && source.end <= pathNode.end;
+    }
+    redirectImportPathLink(link) {
+        const importDecl = link.target.astNode;
+        if (!isImportPathTarget(importDecl, link.target)) {
+            return undefined;
+        }
+        return this.createImportedFileLink(link.source, importDecl);
+    }
+    createImportedFileLink(source, importDecl) {
+        const resolved = resolveImportPathLink(importDecl, this.documents, this.pathContext());
+        if (!resolved) {
+            return undefined;
+        }
+        const targetDocument = this.documents.getDocument(URI.parse(resolved.targetUri.split('#')[0]));
+        if (!targetDocument) {
+            return undefined;
+        }
+        return resolvedFileLinkToGoToTarget(resolved, source, targetDocument);
+    }
+    createFileLink(source, reference) {
+        const resolved = resolveFileReferenceLink(reference, this.documents, this.fileSystem, this.pathContext());
+        if (!resolved) {
+            return undefined;
+        }
+        const targetDocument = this.documents.getDocument(URI.parse(resolved.targetUri));
+        if (targetDocument) {
+            return resolvedFileLinkToGoToTarget(resolved, source, targetDocument);
+        }
+        return resolvedFileLinkToGoToTargetFromFilesystem(resolved, source);
+    }
+    createCommentIdeaReferenceLinks(document, reference) {
+        return resolveCommentDefinitionLinks(reference, document, this.documents, this.pathContext());
+    }
+    findAnonymousImportPathLinkAtPosition(document, position) {
+        const offset = document.textDocument.offsetAt(position);
+        for (const node of AstUtils.streamAst(document.parseResult.value)) {
+            if (!isQualifiedReference(node) || node.path?.ref) {
+                continue;
+            }
+            const pathNode = node.path?.$refNode ?? GrammarUtils.findNodeForProperty(node.$cstNode, 'path');
+            if (!pathNode || offset < pathNode.offset || offset >= pathNode.end) {
+                continue;
+            }
+            const resolved = resolveQualifiedReferencePathLink(node, this.documents, this.pathContext());
+            if (!resolved) {
+                continue;
+            }
+            const targetDocument = this.documents.getDocument(URI.parse(resolved.targetUri.split('#')[0]));
+            if (!targetDocument) {
+                continue;
+            }
+            return resolvedFileLinkToGoToTarget(resolved, pathNode, targetDocument);
+        }
+        return undefined;
+    }
+    findImportPathLinkAtPosition(document, position) {
+        const root = document.parseResult.value.$cstNode;
+        if (!root) {
+            return undefined;
+        }
+        const offset = document.textDocument.offsetAt(position);
+        let current = CstUtils.findLeafNodeAtOffset(root, offset);
+        while (current) {
+            const link = this.linkForImportPath(current) ?? this.linkForFileReference(current) ?? this.linkForNamespaceImportReference(current);
+            if (link) {
+                return link;
+            }
+            current = current.container;
+        }
+        return undefined;
+    }
+    findFileReferenceLinkAtPosition(document, position) {
+        const root = document.parseResult.value.$cstNode;
+        if (!root) {
+            return undefined;
+        }
+        const offset = document.textDocument.offsetAt(position);
+        let current = CstUtils.findLeafNodeAtOffset(root, offset);
+        while (current) {
+            const link = this.linkForFileReference(current) ?? this.linkForNamespaceImportReference(current);
+            if (link) {
+                return link;
+            }
+            current = current.container;
+        }
+        return undefined;
+    }
+    toLocationLink(link) {
+        return LocationLink.create(link.targetDocument.textDocument.uri, (link.target.astNode?.$cstNode ?? link.target).range, link.target.range, link.source.range);
+    }
+    resolvedFileLinkToLocationLink(link) {
+        const targetRange = link.targetRange ?? {
+            start: { line: 0, character: 0 },
+            end: { line: 0, character: 0 }
+        };
+        return LocationLink.create(link.targetUri, targetRange, targetRange, link.sourceRange);
+    }
+}
+function isImportPathTarget(node, targetCst) {
+    if (!isImport(node)) {
+        return false;
+    }
+    if (isFromImport(node) || !node.alias) {
+        return true;
+    }
+    const pathNode = GrammarUtils.findNodeForProperty(node.$cstNode, 'path');
+    return pathNode === targetCst || (pathNode !== undefined && targetCst.offset >= pathNode.offset && targetCst.end <= pathNode.end);
+}
+//# sourceMappingURL=reqlan-definition-provider.js.map