avoid redundant sources

This commit is contained in:
erik-krogh
2023-03-16 13:34:01 +01:00
parent a72436f6f1
commit f718d78a9a

View File

@@ -683,13 +683,13 @@ module Express {
(
if exists(queryRef(request).getAPropertyRead())
then this = queryRef(request).getAPropertyRead()
else this = queryRef(request)
else this = request.ref().getAPropertyRead("query")
)
or
(
if exists(paramsRef(request).getAPropertyRead())
then this = paramsRef(request).getAPropertyRead()
else this = paramsRef(request)
else this = request.ref().getAPropertyRead("params")
)
)
or