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

Make I/O during indexing generic #438

Merged
merged 3 commits into from
Jun 13, 2024
Merged

Make I/O during indexing generic #438

merged 3 commits into from
Jun 13, 2024

Conversation

jbaiter
Copy link
Member

@jbaiter jbaiter commented Jun 12, 2024

This refactors the code to use the same SourceReadr API we use for highlighting during indexing.
This should make implementing other storage backends easier, since there's now only one place that I/O has to be implemented instead of two.

@jbaiter jbaiter requested a review from schmika June 12, 2024 10:27
@jbaiter jbaiter force-pushed the indexing-sourcereader branch from d683e1e to da267c4 Compare June 12, 2024 10:44
@schmika schmika force-pushed the indexing-sourcereader branch from 6b505e8 to 120d85a Compare June 12, 2024 11:54
@jbaiter jbaiter changed the title Use SourceReader to obtain a java.io.Reader during indexing Make I/O during indexing generic Jun 13, 2024
Copy link
Contributor

@schmika schmika left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the adaptations, they will make my changes much easier :)

@jbaiter jbaiter merged commit f6a7699 into main Jun 13, 2024
6 checks passed
@jbaiter jbaiter deleted the indexing-sourcereader branch June 13, 2024 10:15
@jbaiter jbaiter restored the indexing-sourcereader branch June 13, 2024 10:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants