CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

Member predicate Method::implementsIncludingInterfaceMethods

Holds if this method implements the method m, that is, if m is a method on an interface, and this is a method with the same name on a type that implements that interface.

Note that all methods implement themselves, and that unlike the predicate implements this does allow interface methods to implement other interfaces.

predicate implementsIncludingInterfaceMethods(Method m)