Skipping validation when there are linking errors

[ymc9]

Hello guys,

I'm trying to suppress validators when there are linking errors. I think in a non-language-server environment (e.g., CLI, I can pass the { validation: { stopAfterLinkingErrors: true } } to achieve it when calling document builder), however I'm unsure how to get the same effect in language server (specifically in VSCode extension), since document builder is implicitly called if I understand it correctly.

I guess I must have missed something obvious. Thanks!

[ymc9]

OK, I think I've got it to work by implementing a custom document builder and override buildDocuments and force the validation options:

export class ZModelDocumentBuilder extends DefaultDocumentBuilder {
    override buildDocuments(documents: LangiumDocument[], options: BuildOptions, cancelToken: any): Promise<void> {
        console.log('Building documents: ' + documents.map((d) => d.uri).join(', '));
        return super.buildDocuments(
            documents,
            {
                ...options,
                validation: {
                    stopAfterLexingErrors: true,
                    stopAfterParsingErrors: true,
                    stopAfterLinkingErrors: true,
                },
            },
            cancelToken,
        );
    }
}

Not sure if it's the right way to do it.

[msujew]

Hey @ymc9,

That's a reasonable solution. However, you can also just adjust the following property of the document builder:

langium/packages/langium/src/workspace/document-builder.ts

Lines 142 to 147 in 98460c8

	updateBuildOptions: BuildOptions = {
	// Default: run only the built-in validation checks and those in the _fast_ category (includes those without category)
	validation: {
	categories: ['built-in', 'fast']
	}
	};

[ymc9]

Thanks! This looks better.