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 {
1096
1096
/** The method accessed at `call`, synthetically treated as a separate object. */
1097
1097
MkMethodAccessNode ( DataFlow:: CallNode call ) or
1098
1098
/** 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
1100
1100
/** 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
1102
1102
/** 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
1104
1104
/** 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
1106
1106
/** Intermediate node for following forward data flow. */
1107
1107
MkForwardNode ( DataFlow:: LocalSourceNode node , TypeTracker t ) { isReachable ( node , t ) } or
1108
1108
/** Intermediate node for following backward data flow. */
You can’t perform that action at this time.
0 commit comments