Merge pull request #8241 from igfoo/igfoo/stats4

Java: Update stats and make some performance tweaks

Author: igfoo

java/ql/examples/snippets/extend_class.ql

@@ -13,5 +13,5 @@
 import java
 
 from RefType type
-where type.getASupertype+().hasQualifiedName("com.example", "Class")
+where type.getAStrictAncestor().hasQualifiedName("com.example", "Class")
 select type

java/ql/examples/snippets/throw_exception.ql

@@ -9,5 +9,5 @@
 import java
 
 from ThrowStmt throw
-where throw.getThrownExceptionType().getASupertype*().hasQualifiedName("com.example", "AnException")
+where throw.getThrownExceptionType().getAnAncestor().hasQualifiedName("com.example", "AnException")
 select throw, "Don't throw com.example.AnException"

java/ql/lib/change-notes/2022-02-21-type-hierarchy.md

@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* Added `hasDescendant(RefType anc, Type sub)`
+* Added `RefType.getADescendant()`
+* Added `RefType.getAStrictAncestor()`