qldoc changes and renaming

This commit is contained in:
Erik Krogh Kristensen
2020-04-01 11:12:54 +02:00
parent 49a8a48a72
commit a188c6f804
6 changed files with 96 additions and 102 deletions

View File

@@ -25,7 +25,7 @@ DataFlow::SourceNode trackSource(DataFlow::TypeTracker t, DataFlow::SourceNode s
exists(DataFlow::TypeTracker t2 | t = t2.step(trackSource(t2, start), result))
or
exists(DataFlow::TypeTracker t2 |
result = MapsAndSetsTypeTracking::mapOrSetStep(trackSource(t2, start), t, t2)
result = CollectionsTypeTracking::collectionStep(trackSource(t2, start), t, t2)
)
}