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

Configurable persistent index format version in the Maven plugin #137

Closed
Ladicek opened this issue Sep 2, 2021 · 0 comments · Fixed by #320
Closed

Configurable persistent index format version in the Maven plugin #137

Ladicek opened this issue Sep 2, 2021 · 0 comments · Fixed by #320
Milestone

Comments

@Ladicek
Copy link
Collaborator

Ladicek commented Sep 2, 2021

The Maven plugin could expose a configuration property for setting which index version to write. It would then call IndexWriter.write(Index, int) instead of just IndexWriter.write(Index). Default would be unconfigured, which would lead to calling IndexWriter.write(Index) and hence using the latest index version.

The purpose would be to decouple Jandex version bump from Jandex persistent index format version bump. Libraries that produce and distribute a Jandex index could decide to bump Jandex without bumping the persistent index format, so that the index remains readable by older Jandex versions.

On the other hand, there's clear desire to make libraries ship latest indices, so that new Jandex features can be used, so maybe we would only allow configuring a subset of possible index versions? Say, current and current - 1, something like that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant