Java: Modelling of the Spring HTTP classes.

Author: lcartey

java/ql/src/semmle/code/java/frameworks/spring/SpringHttp.qll

@@ -0,0 +1,28 @@
+import java
+
+class SpringHttpEntity extends Class {
+  SpringHttpEntity() {
+    getSourceDeclaration()
+        .getErasure()
+        .(RefType)
+        .hasQualifiedName("org.springframework.http", "HttpEntity")
+  }
+}
+
+class SpringRequestEntity extends Class {
+  SpringRequestEntity() {
+    getSourceDeclaration()
+        .getErasure()
+        .(RefType)
+        .hasQualifiedName("org.springframework.http", "RequestEntity")
+  }
+}
+
+class SpringResponseEntity extends Class {
+  SpringResponseEntity() {
+    getSourceDeclaration()
+        .getErasure()
+        .(RefType)
+        .hasQualifiedName("org.springframework.http", "ResponseEntity")
+  }
+}