File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -1096,13 +1096,13 @@ module API {
10961096 /** The method accessed at `call`, synthetically treated as a separate object. */
10971097 MkMethodAccessNode ( DataFlow:: CallNode call ) or
10981098 /** The module object `mod` with epsilon edges to its ancestors. */
1099- MkModuleObjectUp ( DataFlow:: ModuleNode mod ) or
1099+ MkModuleObjectUp ( DataFlow:: ModuleNode mod ) { not mod . getQualifiedName ( ) = "Object" } or
11001100 /** The module object `mod` with epsilon edges to its descendents. */
1101- MkModuleObjectDown ( DataFlow:: ModuleNode mod ) or
1101+ MkModuleObjectDown ( DataFlow:: ModuleNode mod ) { not mod . getQualifiedName ( ) = "Object" } or
11021102 /** Instances of `mod` with epsilon edges to its ancestors. */
1103- MkModuleInstanceUp ( DataFlow:: ModuleNode mod ) or
1103+ MkModuleInstanceUp ( DataFlow:: ModuleNode mod ) { not mod . getQualifiedName ( ) = "Object" } or
11041104 /** Instances of `mod` with epsilon edges to its descendents, and to its upward node. */
1105- MkModuleInstanceDown ( DataFlow:: ModuleNode mod ) or
1105+ MkModuleInstanceDown ( DataFlow:: ModuleNode mod ) { not mod . getQualifiedName ( ) = "Object" } or
11061106 /** Intermediate node for following forward data flow. */
11071107 MkForwardNode ( DataFlow:: LocalSourceNode node , TypeTracker t ) { isReachable ( node , t ) } or
11081108 /** Intermediate node for following backward data flow. */
You can’t perform that action at this time.
0 commit comments