Overlay: Mark RefType.getAStrictAncestor overlay[caller?]

2026-04-23 15:55:18 +02:00 · 2025-07-03 12:11:36 +02:00
parent 552e156468
commit dd8af3baf7
1 changed files with 1 additions and 0 deletions
--- a/java/ql/lib/semmle/code/java/Type.qll
+++ b/java/ql/lib/semmle/code/java/Type.qll
@@ -422,6 +422,7 @@ class RefType extends Type, Annotatable, Modifiable, @reftype {
   * This does not include itself, unless this type is part of a cycle
   * in the type hierarchy.
   */
+  overlay[caller?]
  RefType getAStrictAncestor() { result = this.getASupertype().getAnAncestor() }

  /**