feat: import statment validation (#369)

- show an error if cannot find the imported model file
- support Go To Definition for valid import statement

Author: jiashengguo

packages/schema/src/language-server/validator/schema-validator.ts

@@ -3,14 +3,15 @@ import { isDataSource, Model } from '@zenstackhq/language/ast';
 import { AstValidator } from '../types';
 import { LangiumDocuments, ValidationAcceptor } from 'langium';
 import { validateDuplicatedDeclarations } from './utils';
-import { getAllDeclarationsFromImports, resolveTransitiveImports } from '../../utils/ast-utils';
+import { getAllDeclarationsFromImports, resolveImport, resolveTransitiveImports } from '../../utils/ast-utils';
 
 /**
  * Validates toplevel schema.
  */
 export default class SchemaValidator implements AstValidator<Model> {
     constructor(protected readonly documents: LangiumDocuments) {}
     validate(model: Model, accept: ValidationAcceptor): void {
+        this.validateImports(model, accept);
         validateDuplicatedDeclarations(model.declarations, accept);
 
         const importedModels = resolveTransitiveImports(this.documents, model);
@@ -40,4 +41,13 @@ export default class SchemaValidator implements AstValidator<Model> {
             accept('error', 'Multiple datasource declarations are not allowed', { node: dataSources[1] });
         }
     }
+
+    private validateImports(model: Model, accept: ValidationAcceptor) {
+        model.imports.forEach((imp) => {
+            const importedModel = resolveImport(this.documents, imp);
+            if (!importedModel) {
+                accept('error', `Cannot find model file ${imp.path}.zmodel`, { node: imp });
+            }
+        });
+    }
 }

packages/schema/src/language-server/zmodel-definition.ts

@@ -0,0 +1,36 @@
+import { DefaultDefinitionProvider, LangiumDocuments, LangiumServices, LeafCstNode, MaybePromise } from 'langium';
+import { DefinitionParams, LocationLink, Range } from 'vscode-languageserver';
+import { resolveImport } from '../utils/ast-utils';
+import { isModelImport } from '@zenstackhq/language/ast';
+
+export class ZModelDefinitionProvider extends DefaultDefinitionProvider {
+    protected documents: LangiumDocuments;
+
+    constructor(services: LangiumServices) {
+        super(services);
+        this.documents = services.shared.workspace.LangiumDocuments;
+    }
+    protected override collectLocationLinks(
+        sourceCstNode: LeafCstNode,
+        _params: DefinitionParams
+    ): MaybePromise<LocationLink[] | undefined> {
+        if (isModelImport(sourceCstNode.element)) {
+            const importedModel = resolveImport(this.documents, sourceCstNode.element);
+            if (importedModel?.$document) {
+                const targetObject = importedModel;
+                const selectionRange = this.nameProvider.getNameNode(targetObject)?.range ?? Range.create(0, 0, 0, 0);
+                const previewRange = targetObject.$cstNode?.range ?? Range.create(0, 0, 0, 0);
+                return [
+                    LocationLink.create(
+                        importedModel.$document.uri.toString(),
+                        previewRange,
+                        selectionRange,
+                        sourceCstNode.range
+                    ),
+                ];
+            }
+            return undefined;
+        }
+        return super.collectLocationLinks(sourceCstNode, _params);
+    }
+}

packages/schema/src/language-server/zmodel-module.ts

@@ -25,6 +25,7 @@ import { ZModelFormatter } from './zmodel-formatter';
 import { ZModelLinker } from './zmodel-linker';
 import { ZModelScopeComputation, ZModelScopeProvider } from './zmodel-scope';
 import ZModelWorkspaceManager from './zmodel-workspace-manager';
+import { ZModelDefinitionProvider } from './zmodel-definition';
 
 /**
  * Declaration of custom services - add your own service classes here.
@@ -59,6 +60,7 @@ export const ZModelModule: Module<ZModelServices, PartialLangiumServices & ZMode
     lsp: {
         Formatter: () => new ZModelFormatter(),
         CodeActionProvider: (services) => new ZModelCodeActionProvider(services),
+        DefinitionProvider: (services) => new ZModelDefinitionProvider(services),
     },
 };
 

packages/schema/src/utils/ast-utils.ts

@@ -211,9 +211,9 @@ function resolveTransitiveImportsInternal(
     if (!visited.has(doc.uri)) {
         visited.add(doc.uri);
         for (const imp of model.imports) {
-            const importedGrammar = resolveImport(documents, imp);
-            if (importedGrammar) {
-                resolveTransitiveImportsInternal(documents, importedGrammar, initialModel, visited, models);
+            const importedModel = resolveImport(documents, imp);
+            if (importedModel) {
+                resolveTransitiveImportsInternal(documents, importedModel, initialModel, visited, models);
             }
         }
     }

packages/schema/tests/schema/validation/schema-validation.test.ts

@@ -24,4 +24,18 @@ describe('Toplevel Schema Validation Tests', () => {
         `)
         ).toContain('Duplicated declaration name "X"');
     });
+
+    it('not exsited import', async () => {
+        expect(
+            await loadModelWithError(`
+                import 'models/abc'
+                datasource db1 {
+                    provider = 'postgresql'
+                    url = env('DATABASE_URL')
+                }
+
+                model X {id String @id }
+        `)
+        ).toContain('Cannot find model file models/abc.zmodel');
+    });
 });