Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

feat: add getASupertype() predicate in ValueOrRefType.#20008

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
michaelnebel merged 4 commits intogithub:mainfromHug0Vincent:csharp
Jul 16, 2025

Conversation

Hug0Vincent
Copy link
Contributor

Add thegetASupertype() predicate inValueOrRefType like in Java:https://codeql.github.com/codeql-standard-libraries/java/semmle/code/java/Type.qll/predicate.Type$RefType$getASupertype.0.html

It's my first PR for CodeQL let me know if I did something wrong :)

michaelnebel reacted with hooray emojimichaelnebel reacted with rocket emoji
Add the getASupertype() predicate in ValueOrRefType.
@Hug0VincentHug0Vincent requested a review froma team as acode ownerJuly 10, 2025 00:20
Create 2025-06-10-getasupertype.md
@michaelnebel
Copy link
Contributor

DCA looks good.

Copy link
Contributor

@michaelnebelmichaelnebel left a comment

Choose a reason for hiding this comment

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

Thank you very much for doing this! 😄

@Hug0Vincent
Copy link
ContributorAuthor

Let me know if it's good now

@michaelnebel
Copy link
Contributor

Let me know if it's good now

Excellent! 🎉 Thank you! 😄

Hug0Vincent reacted with rocket emoji

Copy link
Contributor

@michaelnebelmichaelnebel left a comment

Choose a reason for hiding this comment

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

LGTM!

@michaelnebelmichaelnebel merged commitc5357ff intogithub:mainJul 16, 2025
23 checks passed
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment
Reviewers

@michaelnebelmichaelnebelmichaelnebel approved these changes

Assignees
No one assigned
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

2 participants
@Hug0Vincent@michaelnebel
[8]ページ先頭
©2009-2025 Movatter.jp