Skip to content

Commit 785e027

Browse files
authored
Merge pull request #19968 from kaspersv/kaspersv/overlay-java-getastrictancestor-caller
Overlay: Mark `RefType.getAStrictAncestor`` overlay[caller?]`
2 parents 6124940 + dd8af3b commit 785e027

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

java/ql/lib/semmle/code/java/Type.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -422,6 +422,7 @@ class RefType extends Type, Annotatable, Modifiable, @reftype {
422422
* This does not include itself, unless this type is part of a cycle
423423
* in the type hierarchy.
424424
*/
425+
overlay[caller?]
425426
RefType getAStrictAncestor() { result = this.getASupertype().getAnAncestor() }
426427

427428
/**

0 commit comments

Comments
 (0)