Commit cc48276
authored
Python: Use API graphs in
Eliminates _almost_ all of the bespoke type trackers found here. The
ones that remain do not fit easily inside the framework of API graphs
(at least, not yet), and I did not see any easy ways to clean them up.
They have, however, been rewritten to use `LocalSourceNode` internally,
which was the primary goal of this exercise.
I'm sure we could also clean up many of the inner modules given the more
lean presentation we have now, but this can wait for a different PR.Stdlib.qll
1 parent ab58cb3 commit cc48276
1 file changed
+143
-714
lines changed
0 commit comments