From f6b2accabdf745f3c72d81f205cd577fcd9c09d0 Mon Sep 17 00:00:00 2001 From: "lcartey@github.com" Date: Sun, 17 May 2020 21:47:10 +0100 Subject: [PATCH] Java: Model ResponseEntity.BodyBuilder --- .../src/semmle/code/java/frameworks/spring/SpringHttp.qll | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/java/ql/src/semmle/code/java/frameworks/spring/SpringHttp.qll b/java/ql/src/semmle/code/java/frameworks/spring/SpringHttp.qll index 3b45c86538a..73612339e68 100644 --- a/java/ql/src/semmle/code/java/frameworks/spring/SpringHttp.qll +++ b/java/ql/src/semmle/code/java/frameworks/spring/SpringHttp.qll @@ -25,4 +25,11 @@ class SpringResponseEntity extends Class { .(RefType) .hasQualifiedName("org.springframework.http", "ResponseEntity") } +} + +class SpringResponseEntityBodyBuilder extends Interface { + SpringResponseEntityBodyBuilder() { + getSourceDeclaration().getEnclosingType() = any(SpringResponseEntity sre) and + hasName("BodyBuilder") + } } \ No newline at end of file