Package io.undertow.servlet.spec
Class PushBuilderImpl
- java.lang.Object
-
- io.undertow.servlet.spec.PushBuilderImpl
-
- All Implemented Interfaces:
jakarta.servlet.http.PushBuilder
public class PushBuilderImpl extends java.lang.Object implements jakarta.servlet.http.PushBuilder
- Author:
- Stuart Douglas, Richard Opalka
-
-
Constructor Summary
Constructors Constructor Description PushBuilderImpl(HttpServletRequestImpl servletRequest)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description jakarta.servlet.http.PushBuilder
addHeader(java.lang.String name, java.lang.String value)
java.lang.String
getHeader(java.lang.String name)
java.util.Set<java.lang.String>
getHeaderNames()
java.lang.String
getMethod()
java.lang.String
getPath()
java.lang.String
getQueryString()
java.lang.String
getSessionId()
jakarta.servlet.http.PushBuilder
method(java.lang.String method)
jakarta.servlet.http.PushBuilder
path(java.lang.String path)
void
push()
jakarta.servlet.http.PushBuilder
queryString(java.lang.String queryString)
jakarta.servlet.http.PushBuilder
removeHeader(java.lang.String name)
jakarta.servlet.http.PushBuilder
sessionId(java.lang.String sessionId)
jakarta.servlet.http.PushBuilder
setHeader(java.lang.String name, java.lang.String value)
-
-
-
Constructor Detail
-
PushBuilderImpl
public PushBuilderImpl(HttpServletRequestImpl servletRequest)
-
-
Method Detail
-
method
public jakarta.servlet.http.PushBuilder method(java.lang.String method)
- Specified by:
method
in interfacejakarta.servlet.http.PushBuilder
-
queryString
public jakarta.servlet.http.PushBuilder queryString(java.lang.String queryString)
- Specified by:
queryString
in interfacejakarta.servlet.http.PushBuilder
-
sessionId
public jakarta.servlet.http.PushBuilder sessionId(java.lang.String sessionId)
- Specified by:
sessionId
in interfacejakarta.servlet.http.PushBuilder
-
setHeader
public jakarta.servlet.http.PushBuilder setHeader(java.lang.String name, java.lang.String value)
- Specified by:
setHeader
in interfacejakarta.servlet.http.PushBuilder
-
addHeader
public jakarta.servlet.http.PushBuilder addHeader(java.lang.String name, java.lang.String value)
- Specified by:
addHeader
in interfacejakarta.servlet.http.PushBuilder
-
removeHeader
public jakarta.servlet.http.PushBuilder removeHeader(java.lang.String name)
- Specified by:
removeHeader
in interfacejakarta.servlet.http.PushBuilder
-
path
public jakarta.servlet.http.PushBuilder path(java.lang.String path)
- Specified by:
path
in interfacejakarta.servlet.http.PushBuilder
-
push
public void push()
- Specified by:
push
in interfacejakarta.servlet.http.PushBuilder
-
getMethod
public java.lang.String getMethod()
- Specified by:
getMethod
in interfacejakarta.servlet.http.PushBuilder
-
getQueryString
public java.lang.String getQueryString()
- Specified by:
getQueryString
in interfacejakarta.servlet.http.PushBuilder
-
getSessionId
public java.lang.String getSessionId()
- Specified by:
getSessionId
in interfacejakarta.servlet.http.PushBuilder
-
getHeaderNames
public java.util.Set<java.lang.String> getHeaderNames()
- Specified by:
getHeaderNames
in interfacejakarta.servlet.http.PushBuilder
-
getHeader
public java.lang.String getHeader(java.lang.String name)
- Specified by:
getHeader
in interfacejakarta.servlet.http.PushBuilder
-
getPath
public java.lang.String getPath()
- Specified by:
getPath
in interfacejakarta.servlet.http.PushBuilder
-
-