declare namespace javax {
    namespace servlet {
        interface ServletRequest {
            getAttribute(arg0: java.lang.String | string): java.lang.Object
            getAttributeNames(): java.util.Enumeration<java.lang.String>
            getCharacterEncoding(): string
            setCharacterEncoding(arg0: java.lang.String | string): void
            getContentLength(): int
            getContentLengthLong(): long
            getContentType(): string
            getInputStream(): javax.servlet.ServletInputStream
            getParameter(arg0: java.lang.String | string): string
            getParameterNames(): java.util.Enumeration<java.lang.String>
            getParameterValues(arg0: java.lang.String | string): java.lang.String[]
            getParameterMap(): java.util.Map<java.lang.String, java.lang.String[]>
            getProtocol(): string
            getScheme(): string
            getServerName(): string
            getServerPort(): int
            getReader(): java.io.BufferedReader
            getRemoteAddr(): string
            getRemoteHost(): string
            setAttribute(arg0: java.lang.String | string, arg1: java.lang.Object): void
            removeAttribute(arg0: java.lang.String | string): void
            getLocale(): java.util.Locale
            getLocales(): java.util.Enumeration<java.util.Locale>
            isSecure(): boolean
            getRequestDispatcher(arg0: java.lang.String | string): javax.servlet.RequestDispatcher
            getRealPath(arg0: java.lang.String | string): string
            getRemotePort(): int
            getLocalName(): string
            getLocalAddr(): string
            getLocalPort(): int
            getServletContext(): javax.servlet.ServletContext
            startAsync(): javax.servlet.AsyncContext
            startAsync(arg0: javax.servlet.ServletRequest, arg1: javax.servlet.ServletResponse): javax.servlet.AsyncContext
            isAsyncStarted(): boolean
            isAsyncSupported(): boolean
            getAsyncContext(): javax.servlet.AsyncContext
            getDispatcherType(): javax.servlet.DispatcherType
        }
    }
}