[about extension in vscode] how to enable real time static analysis?

General
1

I notice that when editing ada file (vscode, using Ada & Spark extension), the syntax detecting will only launch after the build end, is there any way can enable real-time analysis ?

here is my config about this extension:

"ada.adaFileDiagnostics": true,
  "ada.alireDiagnostics": true,
2

There is an open issue where they are moving to a new library which relieves a limitation of requiring correct code for formatting. I have file formatting tied to keys and a mouse button and I have to build successfully for that to work for sure but syntax options are shown during writing in Gnat Studio so I’m not sure exactly what you mean and I don’t use vscode much. Even less likely with AI being pushed so hard. I don’t want AI features to have direct access to production code.

2 Likes