From 0db535bdd7e940a7a9312f2d7225efe88f3db81d Mon Sep 17 00:00:00 2001
From: Rasmus Wriedt Larsen <rasmuswl@github.com>
Date: Fri, 14 Jul 2023 12:54:54 +0200
Subject: [PATCH] Python: Minor naming update

---
 python/ql/lib/semmle/python/frameworks/Aiohttp.qll | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/python/ql/lib/semmle/python/frameworks/Aiohttp.qll b/python/ql/lib/semmle/python/frameworks/Aiohttp.qll
index 7389d0dba36..e6bc433a01f 100644
--- a/python/ql/lib/semmle/python/frameworks/Aiohttp.qll
+++ b/python/ql/lib/semmle/python/frameworks/Aiohttp.qll
@@ -469,14 +469,15 @@ module AiohttpWebModel {
   }
 
   /**
-   * An heuristic source that considers a method parameter with a type hint of `aiohttp.web.Request`
-   * as a parameter that will receive an `aiohttp.web.Request` instance when a request
-   * handler is invoked.
+   * A parameter that has a type annotation of `aiohttp.web.Request`, so with all
+   * likelihood will receive an `aiohttp.web.Request` instance at some point when a
+   * request handler is invoked.
    */
-  class AiohttpHeuristicRequestHandlerRequestParam extends Request::InstanceSource,
+  class AiohttpRequestParamFromTypeAnnotation extends Request::InstanceSource,
     DataFlow::ParameterNode, RemoteFlowSource::Range
   {
-    AiohttpHeuristicRequestHandlerRequestParam() {
+    AiohttpRequestParamFromTypeAnnotation() {
+      not this instanceof AiohttpRequestHandlerRequestParam and
       this.getParameter().getAnnotation() =
         API::moduleImport("aiohttp")
             .getMember("web")