hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: Reword note about debugging getNextClassInMro

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2023-01-25 10:07:41 +01:00
parent 63b2bd0871
commit f262dc68f8
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
View File

@@ -673,8 +673,9 @@ Class getADirectSubclass(Class cls) { cls = getADirectSuperclass(result) }
*
* NOTE for debugging the results of this predicate: Since a class can be part of
* multiple MROs, results from this predicate might only be valid in some, but not all,
* inheritance chains (such as the result `C` for `cls=B` in the first example -- this
* might make it difficult to see if the definition of `D` is located in an other file)
* inheritance chains: This is the case with the result `C` for `cls=B` in the first
* example -- if `B` and `C` are defined in the same file, but `D` in a different file,
* this might make the results from this predicate difficult to comprehend at first.
*
* For more info on the C3 MRO used in Python see:
* - https://docs.python.org/3/glossary.html#term-method-resolution-order