@likec4/language-server 0.6.1 → 0.6.2

package/dist/test/testServices.js

@@ -1,57 +0,0 @@
-import { createLanguageServices } from '../module';
-import { EmptyFileSystem } from 'langium';
-import { URI } from 'vscode-uri';
-export function createTestServices() {
-    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 initPromise = services.shared.workspace.WorkspaceManager.initializeWorkspace([]);
-    let documentIndex = 1;
-    const parse = async (input, uri) => {
-        await initPromise;
-        uri = uri ?? `${documentIndex++}${metaData.fileExtensions[0]}`;
-        const document = services.shared.workspace.LangiumDocumentFactory.fromString(input, URI.file(uri));
-        langiumDocuments.addDocument(document);
-        await documentBuilder.build([document], { validationChecks: 'none' });
-        return document;
-    };
-    const validate = async (input) => {
-        await initPromise;
-        const document = typeof input === 'string' ? await parse(input) : input;
-        await documentBuilder.build([document], { validationChecks: 'all' });
-        const diagnostics = document.diagnostics ?? [];
-        const errors = diagnostics.map(d => d.message);
-        return {
-            document,
-            diagnostics,
-            errors
-        };
-    };
-    const validateAll = async () => {
-        await initPromise;
-        const docs = langiumDocuments.all.toArray();
-        await documentBuilder.build(docs, { validationChecks: 'all' });
-        const diagnostics = docs.flatMap(doc => doc.diagnostics ?? []);
-        const errors = diagnostics.map(d => d.message);
-        return {
-            diagnostics,
-            errors
-        };
-    };
-    const buildModel = async () => {
-        await validateAll();
-        const model = modelBuilder.buildModel();
-        if (!model)
-            throw new Error('No model found');
-        return model;
-    };
-    return {
-        services,
-        parse,
-        validate,
-        validateAll,
-        buildModel
-    };
-}

package/dist/utils.d.ts

@@ -1,2 +0,0 @@
-export declare function failExpectedNever(arg: never): never;
-export declare function ignoreNeverInRuntime(arg: never): void;

package/dist/utils.js

@@ -1,7 +0,0 @@
-export function failExpectedNever(arg) {
-    throw new Error(`Unexpected value: ${JSON.stringify(arg)}`);
-}
-export function ignoreNeverInRuntime(arg) {
-    console.warn(`Unexpected and ignored value: ${JSON.stringify(arg)}`);
-    // throw new Error(`Unexpected value: ${arg}`);
-}

package/dist/validation/element.d.ts

@@ -1,5 +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>;

package/dist/validation/element.js

@@ -1,20 +0,0 @@
-export const elementChecks = (services) => {
-    const fqnIndex = services.likec4.FqnIndex;
-    return (el, accept) => {
-        const fqn = fqnIndex.get(el);
-        if (!fqn) {
-            accept('error', 'Not indexed', {
-                node: el,
-                property: 'name'
-            });
-            return;
-        }
-        const withSameFqn = fqnIndex.byFqn(fqn);
-        if (withSameFqn.length > 1) {
-            accept('error', `Duplicate element name ${el.name !== fqn ? el.name + ' (' + fqn + ')' : el.name}`, {
-                node: el,
-                property: 'name'
-            });
-        }
-    };
-};

package/dist/validation/element.spec.d.ts

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

package/dist/validation/element.spec.js

@@ -1,65 +0,0 @@
-import { describe, expect, it } from 'vitest';
-import { createTestServices } from '../test';
-describe('elementChecks', () => {
-    it('should report duplicate element names', async () => {
-        const { validate } = createTestServices();
-        const { diagnostics } = await validate(`
-      specification {
-        element component
-      }
-      model {
-        component c1
-        component c2
-        component c1
-      }
-    `);
-        expect(diagnostics).toHaveLength(2);
-        for (const diagnostic of diagnostics) {
-            expect(diagnostic.severity, 'diagnostic severity').toBe(1);
-            expect(diagnostic.message, 'diagnostic message').toBe('Duplicate element name c1');
-        }
-    });
-    it('should report duplicate element names in extendElement', async () => {
-        const { parse, validateAll } = createTestServices();
-        await parse(`
-      specification {
-        element component
-      }
-      model {
-        component c1 {
-          component c2 {
-            component c3
-          }
-        }
-      }
-    `);
-        await parse(`
-      model {
-        extend c1.c2 {
-          component c3
-        }
-      }
-    `);
-        const { diagnostics } = await validateAll();
-        expect(diagnostics).toHaveLength(2);
-        for (const diagnostic of diagnostics) {
-            expect(diagnostic.severity, 'diagnostic severity').toBe(1);
-            expect(diagnostic.message, 'diagnostic message').toBe('Duplicate element name c3 (c1.c2.c3)');
-        }
-    });
-    it('should not report duplicate element names in nested', async () => {
-        const { validate } = createTestServices();
-        const { errors } = await validate(`
-      specification {
-        element component
-      }
-      model {
-        component c1
-        component c2 {
-          component c1
-        }
-      }
-    `);
-        expect(errors).toEqual([]);
-    });
-});

package/dist/validation/index.d.ts

@@ -1,2 +0,0 @@
-import type { LikeC4Services } from '../module';
-export declare function registerValidationChecks(services: LikeC4Services): void;

package/dist/validation/index.js

@@ -1,22 +0,0 @@
-import { elementChecks } from './element';
-import { relationChecks } from './relation';
-import { elementKindChecks, tagChecks } from './specification';
-import { viewChecks } from './view';
-export function registerValidationChecks(services) {
-    const registry = services.validation.ValidationRegistry;
-    // const checks: ValidationChecks = {
-    // Element: validator.checkElementNameDuplicates,
-    // Tag: validator.checkTagDuplicates,
-    // ElementKind: elementKindChecks(services),
-    // ElementStyleProperty: validator.checkElementStyleProperty,
-    // View: validator.checkViewNameDuplicates,
-    // ColorStyleProperty: validator.checkColorStyleProperty,
-    // }
-    registry.register({
-        ElementView: viewChecks(services),
-        Element: elementChecks(services),
-        ElementKind: elementKindChecks(services),
-        Relation: relationChecks(services),
-        Tag: tagChecks(services)
-    });
-}

package/dist/validation/relation.d.ts

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

package/dist/validation/relation.js

@@ -1,53 +0,0 @@
-import { resolveRelationPoints } from '../ast';
-import { isSameHierarchy } from '@likec4/core/utils';
-export const relationChecks = (services) => {
-    const fqnIndex = services.likec4.FqnIndex;
-    return (el, accept) => {
-        try {
-            const coupling = resolveRelationPoints(el);
-            const target = fqnIndex.get(coupling.target);
-            if (!target) {
-                return accept('error', 'Invalid target', {
-                    node: el,
-                    property: 'target'
-                });
-            }
-            const source = fqnIndex.get(coupling.source);
-            if (!source) {
-                return accept('error', 'Invalid source', {
-                    node: el
-                });
-            }
-            if (isSameHierarchy(source, target)) {
-                return accept('error', 'Invalid relation (same hierarchy)', {
-                    node: el
-                });
-            }
-        }
-        catch (e) {
-            if (e instanceof Error) {
-                return accept('error', e.message, {
-                    node: el
-                });
-            }
-            accept('error', 'Invalid relation', {
-                node: el
-            });
-        }
-        // const fqn = fqnIndex.get(el)
-        // if (!fqn) {
-        //   accept('error', 'Not indexed', {
-        //     node: el,
-        //     property: 'name',
-        //   })
-        //   return
-        // }
-        // const withSameFqn = fqnIndex.byFqn(fqn)
-        // if (withSameFqn.length > 1) {
-        //   accept('error', `Duplicate element name ${el.name !== fqn ? el.name +' (' + fqn + ')' : el.name}`, {
-        //     node: el,
-        //     property: 'name',
-        //   })
-        // }
-    };
-};

package/dist/validation/relation.spec.d.ts

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

package/dist/validation/relation.spec.js

@@ -1,93 +0,0 @@
-import { describe, expect, it } from 'vitest';
-import { createTestServices } from '../test';
-describe('relationChecks', () => {
-    it('should not report invalid relations', async () => {
-        const { validate } = createTestServices();
-        const { errors } = await validate(`
-      specification {
-        element component
-      }
-      model {
-        component c1 {
-          component c2 {
-            -> c3
-          }
-        }
-        component c3 {
-          this -> c1
-        }
-        c3 -> c2
-      }
-    `);
-        expect(errors).toEqual([]);
-    });
-    it('should report invalid relation: parent -> child', async () => {
-        const { validate } = createTestServices();
-        const { errors } = await validate(`
-      specification {
-        element component
-      }
-      model {
-        component c1 {
-          component c2 {
-            component c3
-          }
-        }
-        c1 -> c3
-      }
-    `);
-        expect(errors).toEqual(['Invalid relation (same hierarchy)']);
-    });
-    it('should report invalid relation: -> nested child', async () => {
-        const { validate } = createTestServices();
-        const { errors } = await validate(`
-      specification {
-        element component
-      }
-      model {
-        component c1 {
-          component c2 {
-            component c3
-          }
-          -> c3
-        }
-      }
-    `);
-        expect(errors).toEqual(['Invalid relation (same hierarchy)']);
-    });
-    it('should report invalid relation: child -> parent', async () => {
-        const { validate } = createTestServices();
-        const { errors } = await validate(`
-      specification {
-        element component
-      }
-      model {
-        component c1 {
-          component c2 {
-            component c3
-          }
-        }
-        c3 -> c2
-      }
-    `);
-        expect(errors).toEqual(['Invalid relation (same hierarchy)']);
-    });
-    it('should report invalid relation: nested child -> parent', async () => {
-        const { validate } = createTestServices();
-        const { errors } = await validate(`
-      specification {
-        element component
-      }
-      model {
-        component c1 {
-          component c2 {
-            component c3 {
-              -> c1
-            }
-          }
-        }
-      }
-    `);
-        expect(errors).toEqual(['Invalid relation (same hierarchy)']);
-    });
-});

package/dist/validation/specification.d.ts

@@ -1,5 +0,0 @@
-import type { ValidationCheck } from 'langium';
-import { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const elementKindChecks: (services: LikeC4Services) => ValidationCheck<ast.ElementKind>;
-export declare const tagChecks: (services: LikeC4Services) => ValidationCheck<ast.Tag>;

package/dist/validation/specification.js

@@ -1,33 +0,0 @@
-import { ast } from '../ast';
-export const elementKindChecks = (services) => {
-    const index = services.shared.workspace.IndexManager;
-    return (node, accept) => {
-        const sameKinds = index
-            .allElements(ast.ElementKind)
-            .filter(n => n.name === node.name)
-            .limit(2)
-            .count();
-        if (sameKinds > 1) {
-            accept('error', `Duplicate element kind '${node.name}'`, {
-                node: node,
-                property: 'name'
-            });
-        }
-    };
-};
-export const tagChecks = (services) => {
-    const index = services.shared.workspace.IndexManager;
-    return (node, accept) => {
-        const sameKinds = index
-            .allElements(ast.Tag)
-            .filter(n => n.name === node.name)
-            .limit(2)
-            .count();
-        if (sameKinds > 1) {
-            accept('error', `Duplicate tag '${node.name}'`, {
-                node: node,
-                property: 'name'
-            });
-        }
-    };
-};

package/dist/validation/specification.spec.d.ts

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

package/dist/validation/specification.spec.js

@@ -1,31 +0,0 @@
-import { expect, test } from 'vitest';
-import { createTestServices } from '../test';
-const { validate } = createTestServices();
-test('elementKindChecks', async () => {
-    const { diagnostics } = await validate(`
-    specification {
-      element component
-      element user
-      element component
-    }
-  `);
-    expect(diagnostics).toHaveLength(2);
-    for (const diagnostic of diagnostics) {
-        expect(diagnostic.severity, 'diagnostic severity').toBe(1);
-        expect(diagnostic.message, 'diagnostic message').toBe("Duplicate element kind 'component'");
-    }
-});
-test('tagChecks', async () => {
-    const { diagnostics } = await validate(`
-    specification {
-      tag tag1
-      tag tag2
-      tag tag1
-    }
-  `);
-    expect(diagnostics).toHaveLength(2);
-    for (const diagnostic of diagnostics) {
-        expect(diagnostic.severity, 'diagnostic severity').toBe(1);
-        expect(diagnostic.message, 'diagnostic message').toBe("Duplicate tag 'tag1'");
-    }
-});

package/dist/validation/view.d.ts

@@ -1,4 +0,0 @@
-import type { ValidationCheck } from 'langium';
-import { ast } from '../ast';
-import type { LikeC4Services } from '../module';
-export declare const viewChecks: (services: LikeC4Services) => ValidationCheck<ast.ElementView>;

package/dist/validation/view.js

@@ -1,20 +0,0 @@
-import { ast } from '../ast';
-export const viewChecks = (services) => {
-    const index = services.shared.workspace.IndexManager;
-    return (el, accept) => {
-        if (!el.name) {
-            return;
-        }
-        const anotherViews = index
-            .allElements(ast.View)
-            .filter(n => n.name === el.name)
-            .limit(2)
-            .count();
-        if (anotherViews > 1) {
-            accept('error', `Duplicate view '${el.name}'`, {
-                node: el,
-                property: 'name'
-            });
-        }
-    };
-};

package/dist/validation/view.spec.d.ts

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

package/dist/validation/view.spec.js

@@ -1,20 +0,0 @@
-import { describe, expect, it } from 'vitest';
-import { createTestServices } from '../test';
-describe('viewChecks', () => {
-    it('should report duplicate view names', async () => {
-        const { validate } = createTestServices();
-        const { diagnostics } = await validate(`
-      views {
-        view v1 {
-        }
-        view v1 {
-        }
-      }
-    `);
-        expect(diagnostics).toHaveLength(2);
-        for (const diagnostic of diagnostics) {
-            expect(diagnostic.severity, 'diagnostic severity').toBe(1);
-            expect(diagnostic.message, 'diagnostic message').toBe("Duplicate view 'v1'");
-        }
-    });
-});