JS: Clarifying comment on commonStep

This commit is contained in:
Asger F
2025-06-11 10:24:21 +02:00
parent 2aa5fa17f7
commit e848aa747b

View File

@@ -65,6 +65,8 @@ module NameResolution {
/**
* Holds if values/namespaces/types in `node1` can flow to values/namespaces/types in `node2`.
*
* May also include some type-specific steps in cases where this is harmless when tracking values.
*/
private predicate commonStep(Node node1, Node node2) {
// Import paths are part of the graph and has an incoming edge from the imported module, if found.