Shared: add location for 'this' nodes

This commit is contained in:
Asger F
2024-05-06 13:50:40 +02:00
parent 5a2260b481
commit 23d28fc098

View File

@@ -645,6 +645,8 @@ module Flow<LocationSig Location, InputSig<Location> Input> implements OutputSig
Location getLocation() {
exists(CapturedVariable v | this = TVariable(v) and result = v.getLocation())
or
exists(Callable c | this = TThis(c) and result = c.getLocation())
}
}