From f98460cfd091f56733a78c8a99d324edb8bfb485 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Mon, 6 Jul 2020 16:54:20 +0200
Subject: [PATCH] Java: Use SpringHttpEntity class.

---
 .../semmle/code/java/frameworks/spring/SpringController.qll  | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/java/ql/src/semmle/code/java/frameworks/spring/SpringController.qll b/java/ql/src/semmle/code/java/frameworks/spring/SpringController.qll
index ca1ea2e1ce8..54849d2d64b 100644
--- a/java/ql/src/semmle/code/java/frameworks/spring/SpringController.qll
+++ b/java/ql/src/semmle/code/java/frameworks/spring/SpringController.qll
@@ -207,10 +207,7 @@ class SpringRequestMappingParameter extends Parameter {
     this.getAnAnnotation() instanceof SpringServletInputAnnotation or
     // HttpEntity is like @RequestBody, but with a wrapper including the headers
     // TODO model unwrapping aspects
-    getType()
-        .(RefType)
-        .getAnAncestor()
-        .hasQualifiedName("org.springframework.http", "HttpEntity<T>") or
+    getType().(RefType).getASourceSupertype*() instanceof SpringHttpEntity or
     this
         .getAnAnnotation()
         .getType()