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

All internal uses of this.atEndOfInput() and this.atEndOfDocument() has been optimized (and justified), closing #20 #21

Merged
merged 3 commits into from
Dec 7, 2023

Conversation

fidel-ml
Copy link
Contributor

WARNING: this PR MUST be done AFTER accepting the PR #18 (closing #17), as it is based on that branch.

The internal operations to implement this.atEndOfInput() and this.atEndOfDocument() were renamed for clarity, and then all uses of those operations were inlined and simplified, to avoid redundant calls and checks.
All those changes were added as comments, justifying the changes step by step.

@fidel-ml fidel-ml added the enhancement New feature or request label Nov 22, 2023
@fidel-ml fidel-ml requested a review from alanrodas November 22, 2023 08:40
@fidel-ml fidel-ml self-assigned this Nov 22, 2023
@fidel-ml
Copy link
Contributor Author

I think that some of these changes will be better exposed as API. Do not accept until I changed also that. :)

@fidel-ml fidel-ml changed the title All internal uses of this.atEndOfInput() and this.atEndOfDocument() has been optimized (and justified). All internal uses of this.atEndOfInput() and this.atEndOfDocument() has been optimized (and justified), closing #20 Nov 23, 2023
@alanrodas alanrodas merged commit 98df228 into main Dec 7, 2023
2 checks passed
@fidel-ml fidel-ml deleted the 20-no-api-in-internals branch December 13, 2023 15:19
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

Successfully merging this pull request may close these issues.

2 participants