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

Add Quantifier enum #133

Merged
merged 5 commits into from
Feb 14, 2024
Merged

Add Quantifier enum #133

merged 5 commits into from
Feb 14, 2024

Conversation

dabico
Copy link
Member

@dabico dabico commented Feb 14, 2024

The documentation for the new enum and added methods is quite thorough so I see no reason as to why I should go into much detail here. Basically: one of the few remaining unmapped APIs has been added to the binding.

Said method currently resides in `Query` due to the ease of which we can
check all the preconditions. However, the method is package-private at
this time, as I can not decide on where the `Quantifier` retrieval logic
should reside.
This includes a variant that returns a quantifier for one query pattern,
as well as a variant that returns quantifiers for all query patterns.
@dabico dabico merged commit 3924946 into master Feb 14, 2024
2 checks passed
@dabico dabico deleted the feature/quantifier branch February 14, 2024 14:10
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.

1 participant