Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

IDE integration for Xtc tracker #59

Open
lagergren opened this issue May 19, 2023 · 0 comments
Open

IDE integration for Xtc tracker #59

lagergren opened this issue May 19, 2023 · 0 comments
Assignees
Labels
enhancement New feature or request

Comments

@lagergren
Copy link
Contributor

Once we have a language aware build system, in our case, a gradle XTC plugin, and simplified the build to look like any other language build, based only on what we want done, and dependency, not explicitly telling the build system how to do it, we fulfil the fundamental requirements to put language integration with IDEs on top of that.

This is intended as an umbrella issue, that will be split up into subtasks, once we start implementing it

Some of them likely are:

  • Eclipse / VS Code / other APIs than IntelliJ, seem to be standardising on language server APIs. Hence, it makes sens to write a language sever for xtc to be able to plug stuff like debugging into it.
  • If possible, we can try to appropriate whatever language server plugins exist for IntelliJ too, so we only need this amount of code. The existing attempts of language servers for IntelliJ, however, are still very alpha, and quite limited. Part of the reason for that seems to be that IntelliJ is very different from other IDEs internally.
  • IntelliJ integration requires the IntelliJ tooling API, and there is no mature language server, so we would likely have to have a unique implementation.
  • Any language support like lexing, highlighting, auto-completion that is outside the language server scope. First task for dogfooding purposes would be to do this with the IntelliJ API as well.
@lagergren lagergren self-assigned this May 19, 2023
@ggleyzer ggleyzer added the enhancement New feature or request label Oct 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants