Skip to content

CodeQL model editor: Use suggest box for type path suggestions#3316

Merged
shati-patel merged 2 commits intomainfrom
shati-patel/type-path-suggestions
Feb 6, 2024
Merged

CodeQL model editor: Use suggest box for type path suggestions#3316
shati-patel merged 2 commits intomainfrom
shati-patel/type-path-suggestions

Conversation

@shati-patel
Copy link
Copy Markdown
Contributor

@shati-patel shati-patel commented Feb 6, 2024

(Paired with @koesie10 🍐)

As suggested in #3305 (review), we can also use the SuggestBox for "Type" methods (specifically for path suggestions). This technically uses the outputAccessPathSuggestions because ReturnValue is a valid value.

image

Second commit is another small fix from that same PR review comment!

Checklist

N/A—feature-flagged for internal use only 🔐

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

(I'd accidentally copied some outdated code from before we'd added the type textbox)
@shati-patel shati-patel marked this pull request as ready for review February 6, 2024 11:18
@shati-patel shati-patel requested a review from a team as a code owner February 6, 2024 11:18
Copy link
Copy Markdown
Member

@koesie10 koesie10 left a comment

Choose a reason for hiding this comment

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

LGTM, but we paired on this, so you may want to get another review

Copy link
Copy Markdown
Contributor

@robertbrignull robertbrignull left a comment

Choose a reason for hiding this comment

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

Looks reasonable to me too, just from looking at the code. Sadly I couldn't try it out as I got some errors relating to not having the latest queries. Sometime would be nice to get it working for me so I can follow along, but doesn't need to block this PR.

@shati-patel shati-patel merged commit 19d85a7 into main Feb 6, 2024
@shati-patel shati-patel deleted the shati-patel/type-path-suggestions branch February 6, 2024 15:11
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.

3 participants