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

[Query API] Location Query #1046

Open
wants to merge 9 commits into
base: main
Choose a base branch
from
Open

[Query API] Location Query #1046

wants to merge 9 commits into from
+121 −1

Commits on Oct 8, 2024

  1. feat: added location query 

    Grouping of locations will be implemented shortly :)
    @LukasPietzschmann
    LukasPietzschmann committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    f81249e View commit details
    Browse the repository at this point in the history

  2. feat: map node id to location so we don't rely on the order of the qu… 

    …eries
    @LukasPietzschmann
    LukasPietzschmann committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    f07fb04 View commit details
    Browse the repository at this point in the history

  3. feat: switched from dfg to ast in order to get location information

    @LukasPietzschmann
    LukasPietzschmann committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    4ac9a3c View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. feat: add location query to repl-query

    @LukasPietzschmann
    LukasPietzschmann committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    3000d45 View commit details
    Browse the repository at this point in the history

  2. doc: added doc for location query

    @LukasPietzschmann
    LukasPietzschmann committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    782d9c6 View commit details
    Browse the repository at this point in the history

  3. test: added location query test

    @LukasPietzschmann
    LukasPietzschmann committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    c7d6c52 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into 1041-query-api-location-query

    @LukasPietzschmann
    LukasPietzschmann authored Oct 9, 2024
    Configuration menu
    Copy the full SHA
    b7cf1ec View commit details
    Browse the repository at this point in the history

  5. feat-fix: fixed alignment of object entries

    @LukasPietzschmann
    LukasPietzschmann committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    c6c2c8e View commit details
    Browse the repository at this point in the history

  6. feat: return labeled source ranges instead of an array

    @LukasPietzschmann
    LukasPietzschmann committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    d42c5ed View commit details
    Browse the repository at this point in the history