explain instanceof extensions via charpred instanceof

2026-02-10 12:11:07 +01:00 · 2021-09-03 10:55:03 +01:00
parent 35b0e83370
commit cd646c819d
1 changed files with 2 additions and 0 deletions
--- a/docs/codeql/ql-language-reference/types.rst
+++ b/docs/codeql/ql-language-reference/types.rst
@@ -388,6 +388,8 @@ Non-extending subtypes
 ======================

 Besides extending base types, classes can also declare `instanceof` relationships with other types.
+Declaring a class as `instanceof Foo` is roughly equivalent to saying `this instanceof Foo` the charpred.
+The main differences are that you can call methods on Bar via `super` and you can get better optimisation.

 .. code-block:: ql