From 89786d9ce2405c8ed10da97cf02dd29fc0b11a21 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Thu, 3 Feb 2022 10:41:29 +0100 Subject: [PATCH] rename `pr` to `ref` in `memberFromRef` --- python/ql/lib/semmle/python/ApiGraphs.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/python/ql/lib/semmle/python/ApiGraphs.qll b/python/ql/lib/semmle/python/ApiGraphs.qll index 5ef339626db..de45b3be02a 100644 --- a/python/ql/lib/semmle/python/ApiGraphs.qll +++ b/python/ql/lib/semmle/python/ApiGraphs.qll @@ -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() }