Python: Use cls.getMethod instead of getName

This commit is contained in:
Taus
2026-03-23 15:26:00 +00:00
parent 93e35661e6
commit ac48eca916

View File

@@ -2145,8 +2145,7 @@ module DuckTyping {
exists(Class cls |
f.getScope() = cls and
superclass = getADirectSuperclass+(cls) and
overridden = superclass.getAMethod() and
overridden.getName() = f.getName()
overridden = superclass.getMethod(f.getName())
)
}