From 6efb3c69efb0d7c74c9ed8a23e89ae8caa7a25f4 Mon Sep 17 00:00:00 2001
From: Kevin Stubbings <kwstubbs@github.com>
Date: Tue, 3 Sep 2024 15:54:06 -0700
Subject: [PATCH] QLformatting

---
 python/ql/lib/semmle/python/frameworks/Bottle.qll | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/python/ql/lib/semmle/python/frameworks/Bottle.qll b/python/ql/lib/semmle/python/frameworks/Bottle.qll
index d9f97e3b3536..2372cfc20f4a 100644
--- a/python/ql/lib/semmle/python/frameworks/Bottle.qll
+++ b/python/ql/lib/semmle/python/frameworks/Bottle.qll
@@ -84,8 +84,10 @@ module Bottle {
         }
       }
 
-      module Header {
-        API::Node instance() { result = bottle().getMember("response").getMember("headers") }
+      /** Provides models for the `bottle.headers` module */
+      module Headers {
+        /** Gets a reference to the `bottle.headers` module. */
+        API::Node headers() { result = bottle().getMember("response").getMember("headers") }
 
         /** A dict-like write to a response header. */
         class HeaderWriteSubscript extends Http::Server::ResponseHeaderWrite::Range, DataFlow::Node {
@@ -94,7 +96,7 @@ module Bottle {
 
           HeaderWriteSubscript() {
             exists(API::Node holder |
-              holder = instance() and
+              holder = headers() and
               this = holder.asSource() and
               value = holder.getSubscriptAt(name)
             )