declare namespace javax {
    namespace servlet {
        namespace http {
            interface HttpServletRequest extends javax.servlet.ServletRequest {
                BASIC_AUTH: string
                FORM_AUTH: string
                CLIENT_CERT_AUTH: string
                DIGEST_AUTH: string
                getAuthType(): string
                getCookies(): javax.servlet.http.Cookie[]
                getDateHeader(arg0: java.lang.String | string): long
                getHeader(arg0: java.lang.String | string): string
                getHeaders(arg0: java.lang.String | string): java.util.Enumeration<java.lang.String>
                getHeaderNames(): java.util.Enumeration<java.lang.String>
                getIntHeader(arg0: java.lang.String | string): int
                getMethod(): string
                getPathInfo(): string
                getPathTranslated(): string
                getContextPath(): string
                getQueryString(): string
                getRemoteUser(): string
                isUserInRole(arg0: java.lang.String | string): boolean
                getUserPrincipal(): java.security.Principal
                getRequestedSessionId(): string
                getRequestURI(): string
                getRequestURL(): java.lang.StringBuffer
                getServletPath(): string
                getSession(arg0: boolean): javax.servlet.http.HttpSession
                getSession(): javax.servlet.http.HttpSession
                changeSessionId(): string
                isRequestedSessionIdValid(): boolean
                isRequestedSessionIdFromCookie(): boolean
                isRequestedSessionIdFromURL(): boolean
                isRequestedSessionIdFromUrl(): boolean
                authenticate(arg0: javax.servlet.http.HttpServletResponse): boolean
                login(arg0: java.lang.String | string, arg1: java.lang.String | string): void
                logout(): void
                getParts(): java.util.Collection<javax.servlet.http.Part>
                getPart(arg0: java.lang.String | string): javax.servlet.http.Part
                upgrade<T extends javax.servlet.http.HttpUpgradeHandler>(arg0: java.lang.Class<T>): T
            }
        }
    }
}