From b22de69ab293dbb2b860a6aa3055aa5c801833d0 Mon Sep 17 00:00:00 2001 From: yoff Date: Thu, 23 Jun 2022 08:41:28 +0000 Subject: [PATCH] python: update qldoc now predicates may be empty --- .../dataflow/new/internal/DataFlowDispatchPointsTo.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatchPointsTo.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatchPointsTo.qll index 5cd6cef35bf..cdfafe1ca57 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatchPointsTo.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatchPointsTo.qll @@ -459,16 +459,16 @@ abstract class DataFlowCall extends TDataFlowCall { /** Gets the enclosing callable of this call. */ abstract DataFlowCallable getEnclosingCallable(); - /** Get the callable to which this call goes. */ + /** Get the callable to which this call goes, if such exists. */ abstract DataFlowCallable getCallable(); /** * Gets the argument to this call that will be sent - * to the `n`th parameter of the callable. + * to the `n`th parameter of the callable, if such exists. */ abstract Node getArg(int n); - /** Get the control flow node representing this call. */ + /** Get the control flow node representing this call, if such exists. */ abstract ControlFlowNode getNode(); /** Gets the location of this dataflow call. */