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

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

Commits on Feb 14, 2024

  1. Add Quantifier enum

    @dabico
    dabico committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    82fa63f View commit details
    Browse the repository at this point in the history

  2. Create native method for retrieving Quantifier values 

    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.
    @dabico
    dabico committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    4f94501 View commit details
    Browse the repository at this point in the history

  3. Add instance methods to Capture for retrieving Quantifiers 

    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 committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    e29e7cd View commit details
    Browse the repository at this point in the history

  4. Add missing @NotNull annotations to method parameters

    @dabico
    dabico committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    7ebc02f View commit details
    Browse the repository at this point in the history

  5. Add basic test cases for Quantifier-related APIs

    @dabico
    dabico committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    2ef629d View commit details
    Browse the repository at this point in the history