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.PushBuilderaddHeader(java.lang.String name, java.lang.String value)java.lang.StringgetHeader(java.lang.String name)java.util.Set<java.lang.String>getHeaderNames()java.lang.StringgetMethod()java.lang.StringgetPath()java.lang.StringgetQueryString()java.lang.StringgetSessionId()jakarta.servlet.http.PushBuildermethod(java.lang.String method)jakarta.servlet.http.PushBuilderpath(java.lang.String path)voidpush()jakarta.servlet.http.PushBuilderqueryString(java.lang.String queryString)jakarta.servlet.http.PushBuilderremoveHeader(java.lang.String name)jakarta.servlet.http.PushBuildersessionId(java.lang.String sessionId)jakarta.servlet.http.PushBuildersetHeader(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:
methodin interfacejakarta.servlet.http.PushBuilder
-
queryString
public jakarta.servlet.http.PushBuilder queryString(java.lang.String queryString)
- Specified by:
queryStringin interfacejakarta.servlet.http.PushBuilder
-
sessionId
public jakarta.servlet.http.PushBuilder sessionId(java.lang.String sessionId)
- Specified by:
sessionIdin interfacejakarta.servlet.http.PushBuilder
-
setHeader
public jakarta.servlet.http.PushBuilder setHeader(java.lang.String name, java.lang.String value)- Specified by:
setHeaderin interfacejakarta.servlet.http.PushBuilder
-
addHeader
public jakarta.servlet.http.PushBuilder addHeader(java.lang.String name, java.lang.String value)- Specified by:
addHeaderin interfacejakarta.servlet.http.PushBuilder
-
removeHeader
public jakarta.servlet.http.PushBuilder removeHeader(java.lang.String name)
- Specified by:
removeHeaderin interfacejakarta.servlet.http.PushBuilder
-
path
public jakarta.servlet.http.PushBuilder path(java.lang.String path)
- Specified by:
pathin interfacejakarta.servlet.http.PushBuilder
-
push
public void push()
- Specified by:
pushin interfacejakarta.servlet.http.PushBuilder
-
getMethod
public java.lang.String getMethod()
- Specified by:
getMethodin interfacejakarta.servlet.http.PushBuilder
-
getQueryString
public java.lang.String getQueryString()
- Specified by:
getQueryStringin interfacejakarta.servlet.http.PushBuilder
-
getSessionId
public java.lang.String getSessionId()
- Specified by:
getSessionIdin interfacejakarta.servlet.http.PushBuilder
-
getHeaderNames
public java.util.Set<java.lang.String> getHeaderNames()
- Specified by:
getHeaderNamesin interfacejakarta.servlet.http.PushBuilder
-
getHeader
public java.lang.String getHeader(java.lang.String name)
- Specified by:
getHeaderin interfacejakarta.servlet.http.PushBuilder
-
getPath
public java.lang.String getPath()
- Specified by:
getPathin interfacejakarta.servlet.http.PushBuilder
-
-