simpler first instanceof extension example

ginsbach · ginsbach · commit 35b0e8337080 · 2021-09-03T10:52:05.000+01:00
diff --git a/docs/codeql/ql-language-reference/types.rst b/docs/codeql/ql-language-reference/types.rst
@@ -397,8 +397,8 @@ Besides extending base types, classes can also declare `instanceof` relationship
       string foo_method() { result = "foo" }
     }
 
-    class Bar extends int instanceof Foo {
-      string bar_method() { result = super.foo_method() }
+    class Bar instanceof Foo {
+      string toString() { result = super.foo_method() }
     }
 
 In this example, the characteristic predicate from `Foo` also applies to `Bar`.

Original file line number	Diff line number	Diff line change
@@ -397,8 +397,8 @@ Besides extending base types, classes can also declare `instanceof` relationship
`397`	`397`	`string foo_method() { result = "foo" }`
`398`	`398`	`}`
`399`	`399`
`400`		`- class Bar extends int instanceof Foo {`
`401`		`- string bar_method() { result = super.foo_method() }`
	`400`	`+ class Bar instanceof Foo {`
	`401`	`+ string toString() { result = super.foo_method() }`
`402`	`402`	`}`
`403`	`403`
`404`	`404`	In this example, the characteristic predicate from `Foo` also applies to `Bar`.