Module Servlets

Provides classes and predicates for working with the Java Servlet API.

Import path

import semmle.code.java.frameworks.Servlets

Imports

Type	Provides classes and predicates for working with Java types.

Predicates

isRequestGetParamMethod	Holds if `ma` is a call that gets a request parameter.
isServletRequestMethod	Holds if `m` is a request handler method (for example `doGet` or `doPost`).

Classes

CookieGetCommentMethod	The method `getComment()` declared in `javax.servlet.http.Cookie`.
CookieGetNameMethod	The method `getName()` declared in `javax.servlet.http.Cookie`.
CookieGetValueMethod	The method `getValue()` declared in `javax.servlet.http.Cookie`.
CookieSetValueMethod	The method `setValue(String)` declared in `javax.servlet.http.Cookie`.
GetRequestDispatcherMethod	The `getRequestDispatcher` method.
GetServletResourceAsStreamMethod	The `getResourceAsStream` method of `ServletContext`.
GetServletResourceMethod	The `getResource` method of `ServletContext`.
HttpServletRequest	The interface `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetHeaderMethod	The method `getHeader(String)` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetHeaderNamesMethod	The method `getHeaderNames()` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetHeadersMethod	The method `getHeaders(String)` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetPathMethod	The method `getPathInfo()` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetQueryStringMethod	The method `getQueryString()` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetRemoteUserMethod	The method `getRemoteUser()` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetRequestUriMethod	The method `getRequestURI()` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletRequestGetRequestUrlMethod	The method `getRequestURL()` declared in `javax.servlet.http.HttpServletRequest`.
HttpServletResponse	The interface `javax.servlet.http.HttpServletResponse`.
HttpServletResponseSendErrorMethod	The method `sendError(int,String)` declared in `javax.servlet.http.HttpServletResponse`.
HttpServletResponseSendRedirectMethod	The method `sendRedirect(String)` declared in `javax.servlet.http.HttpServletResponse`.
HttpServletSession	The interface `javax.servlet.http.HttpSession`
RequestDispatchMethod	The request dispatch method.
RequestDispatcher	The Java EE RequestDispatcher.
ResponseAddCookieMethod	The method `addCookie(Cookie)` declared in `javax.servlet.http.HttpServletResponse`.
ResponseAddHeaderMethod	The method `addHeader` declared in `javax.servlet.http.HttpServletResponse`.
ResponseSetHeaderMethod	The method `setHeader` declared in `javax.servlet.http.HttpServletResponse`.
ServletClass	A class that has `javax.servlet.Servlet` as an ancestor.
ServletContext	The interface `javax.servlet.ServletContext`.
ServletRequest	The interface `javax.servlet.ServletRequest` or `javax.servlet.http.HttpServletRequest`.
ServletRequestGetBodyMethod	The method `getInputStream()` or `getReader()` declared in `javax.servlet.ServletRequest`.
ServletRequestGetParameterMapMethod	The method `getParameterMap()` declared in `javax.servlet.ServletRequest`.
ServletRequestGetParameterMethod	The method `getParameter(String)` or `getParameterValues(String)` declared in `javax.servlet.ServletRequest`.
ServletRequestGetParameterNamesMethod	The method `getParameterNames()` declared in `javax.servlet.ServletRequest`.
ServletRequestGetRequestDispatcherMethod	The method `getRequestDispatcher(String)` declared in `javax.servlet.http.HttpServletRequest` or `javax.servlet.ServletRequest`.
ServletResponse	The interface `javax.servlet.ServletResponse` or `javax.servlet.http.HttpServletResponse`.
ServletResponseGetOutputStreamMethod	The method `getOutputStream()` declared in `javax.servlet.ServletResponse`.
ServletResponseGetWriterMethod	The method `getWriter()` declared in `javax.servlet.ServletResponse`.
ServletWebXmlListenerType	The set of `Servlet` listener types that can be specified in a `web.xml` file.
TypeCookie	The class `javax.servlet.http.Cookie`.