From cd646c819dc7e4349f90fe75c4e91f74b764f5d1 Mon Sep 17 00:00:00 2001 From: Philip Ginsbach Date: Fri, 3 Sep 2021 10:55:03 +0100 Subject: [PATCH] explain instanceof extensions via charpred instanceof --- docs/codeql/ql-language-reference/types.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/codeql/ql-language-reference/types.rst b/docs/codeql/ql-language-reference/types.rst index 9d3984b5f5e..ddbd1bc04c4 100644 --- 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