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.

Sign up for GitHub

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

Jump to bottom

Aya External System #34

Merged
merged 31 commits into from
Feb 13, 2025
Merged

Aya External System #34

merged 31 commits into from
Feb 13, 2025

Conversation

HoshinoTented
Copy link
Contributor

@HoshinoTented HoshinoTented commented Feb 7, 2025 •
edited
Loading

This PR registers aya as an external system (like gradle)

TODO List:

HoshinoTented and others added 30 commits February 5, 2025 04:26
@HoshinoTented
integration: new external system integration for aya
5c3daf7
@HoshinoTented
notice: disable InLibraryChecker when not use integration
ee953c2
@HoshinoTented
integration: improve impl
a9c27e3
@HoshinoTented
fix: duplicate content root
b7887ad
@HoshinoTented
fix: do delegate
d832398
@HoshinoTented
toolwindow: use ExternalSystemToolWindowFactory
a8b4ba3
@HoshinoTented
misc: upgrade to 2023.1 and fixes ExternalSystem bugs
6401fe2
@HoshinoTented
toolwindow: enable toolwindow when ayaLspState == Enable
3e8f48b
@HoshinoTented
external system: fix duplicate content root
59a9126
@HoshinoTented
misc: delete useless
003a28c
@HoshinoTented
misc: add logger and fix no project tree view after open project
ad14f6f
@HoshinoTented
es: fix something
635d528
@HoshinoTented
es: more
d4cf010
@HoshinoTented
fix: SlowOperations
1fc20b0
@HoshinoTented
misc: misc
e67d9e1
@HoshinoTented
inspection: unimported con
f966b68
@HoshinoTented
es: remove UseIntegration option, find some problem
c801666
@HoshinoTented
findUsage: enum
5ebc965
@HoshinoTented
es: ProjectImportProvider
ee254fd
@HoshinoTented
es: support multi projects for AyaLsp & fix some bugs
c82530b
@HoshinoTented
es: fix silly bug
2ef7b98
@HoshinoTented
bug: seems fixes aya-prover#22 by copy from intellij-scala
bc131e0
@HoshinoTented
es: misc
7395d42
@HoshinoTented
notification: fix wrongly displayed "fix button"
47236e5
@HoshinoTented
misc: abstract
3bf4e97
@HoshinoTented
misc: document
e37b561
@HoshinoTented
fix: bundle
0e28ac8
@ice1000
bundle: inline one more
fb936c6
@ice1000
deps: upgrade upstream
b836363
@HoshinoTented
adapt: to newest aya
93f7c4b
@HoshinoTented
Copy link
Contributor Author

There is a double initialization occurrence error in the first refreshing, and sometimes certain aya project may fail to resolve. The later one may be a threading problem

@ice1000
Copy link
Member

ice1000 commented Feb 12, 2025

@HoshinoTented How can I reproduce?

@imkiva
Copy link
Member

imkiva commented Feb 12, 2025

WOWoWowwow this is AMAZING!

@HoshinoTented
Copy link
Contributor Author

HoshinoTented commented Feb 12, 2025 •
edited
Loading

  1. :runIde
  2. open src/test/sample as a regular idea project
  3. link both independent and primary (the order may be irrelevant) as aya project by the + button in aya tool window.
  4. reopen project
  5. click the refresh button in aya tool window

@ice1000
Copy link
Member

ice1000 commented Feb 12, 2025

@HoshinoTented Tysm!

@HoshinoTented
Copy link
Contributor Author

I guess we can merge this, the threading problem/double initialization occurrence is not very urgent as most user will link only one aya project.

@HoshinoTented HoshinoTented marked this pull request as ready for review February 13, 2025 12:36
@ice1000 ice1000 merged commit 5b0472c into aya-prover:main Feb 13, 2025
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@HoshinoTented @ice1000 @imkiva