Re: compiling GPS (aka GNAT Studio!) from source

[briot.emmanuel@gmail.com]

> I found the indent code; it's in https://github.com/AdaCore/libadalang-tools src/pp-actions.adb

Likely it is the same code used by gnatpp, which was rewritten last year
to use libadalang, I believe. It likely has far less configuration options
than the Emacs ada-mode does, but it would be nice to share the code nonetheless, and perhaps suggest new configs to AdaCore.

Ultimately, the language server protocol also supports "formatting", and I
think the GNAT Studio team intends to use that for GPS down the line.
It would be awesome if all tools supported the same indentation engine and
switches, that would allow users to better switch editors (even vim supports
the Language Server Protocol, via multiple plugins).

> Yes, but LSP does not support indent, face (as documented in ada-mode.info). I don't remember if it supports all the cross-reference actions used by ada-mode.

I think it does, if you check https://langserver.org/.
"indent" is called "formatting". Of course the Ada server doesn't yet support everything...

I have been using libadalang extensively to parse our 2+ million lines of code and generate input/output subprograms for out types, and I think there was one case where it wasn't able to resolve a type, and this is with a few months old libadalang. So I am really hopeful this is the right technology, even when the sources do not compile yet.

> I should be able to implement an ada-mode backend using libadalang-tools.

What are the Emacs plugins for the Language Server Protocol ?

Emmanuel