Post-validation

[sorawee]

I have a validation that I want to run only if the program passes all other validations. How can I accomplish this?

One possibility would be to wrap ValidationAcceptor when running "other validations" to see if there's a validation error of severity "error" being emitted or not. If not, then execute this post-validation. But that seems really painful to do.

Another possibility would be to register the post-validation with a user category (#1837), or maybe "slow" category. Then, do DocumentBuilder.onBuildPhase(DocumentState.Validated, ...) to listen for when the "fast" validations are done. If document.diagnostics is empty, and then do a DocumentBuilder.build with the non-fast category.

I really like the latter approach, but it's unclear to me how to listen for only the "fast" validations. The non-fast validation shouldn't trigger DocumentBuilder.onBuildPhase(DocumentState.Validated, ...) itself, since it will create an infinite loop, etc.

[sorawee]

Ah, I guess I can inherit from DefaultDocumentValidator and override validateAst?

[msujew]

Sounds reasonable. An alternative might be to store some data on the respective LangiumDocument by overriding the DefaultDocumentBuilder.