rename pr to ref in memberFromRef

This commit is contained in:
Erik Krogh Kristensen
2022-02-03 10:41:29 +01:00
parent ab7fd89653
commit 89786d9ce2

View File

@@ -620,10 +620,10 @@ module API {
LabelUnknownMember unknownMember() { any() }
/** Gets the `member` edge label for the given attribute reference. */
ApiLabel memberFromRef(DataFlow::AttrRef pr) {
result = member(pr.getAttributeName())
ApiLabel memberFromRef(DataFlow::AttrRef ref) {
result = member(ref.getAttributeName())
or
not exists(pr.getAttributeName()) and
not exists(ref.getAttributeName()) and
result = unknownMember()
}