Package org.apache.catalina.core
Class ApplicationPushBuilder
- java.lang.Object
-
- org.apache.catalina.core.ApplicationPushBuilder
-
- All Implemented Interfaces:
jakarta.servlet.http.PushBuilder
public class ApplicationPushBuilder extends Object implements jakarta.servlet.http.PushBuilder
Implementation of jakarta.servlet.http.PushBuilder.- Author:
- Shing Wai Chan
-
-
Constructor Summary
Constructors Constructor Description ApplicationPushBuilder(jakarta.servlet.http.HttpServletRequest request)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description jakarta.servlet.http.PushBuilder
addHeader(String name, String value)
String
getHeader(String name)
Set<String>
getHeaderNames()
String
getMethod()
String
getPath()
String
getQueryString()
String
getSessionId()
jakarta.servlet.http.PushBuilder
method(String method)
jakarta.servlet.http.PushBuilder
path(String path)
void
push()
jakarta.servlet.http.PushBuilder
queryString(String queryString)
jakarta.servlet.http.PushBuilder
removeHeader(String name)
jakarta.servlet.http.PushBuilder
sessionId(String sessionId)
jakarta.servlet.http.PushBuilder
setHeader(String name, String value)
-
-
-
Method Detail
-
method
public jakarta.servlet.http.PushBuilder method(String method)
- Specified by:
method
in interfacejakarta.servlet.http.PushBuilder
-
getMethod
public String getMethod()
- Specified by:
getMethod
in interfacejakarta.servlet.http.PushBuilder
-
queryString
public jakarta.servlet.http.PushBuilder queryString(String queryString)
- Specified by:
queryString
in interfacejakarta.servlet.http.PushBuilder
-
getQueryString
public String getQueryString()
- Specified by:
getQueryString
in interfacejakarta.servlet.http.PushBuilder
-
sessionId
public jakarta.servlet.http.PushBuilder sessionId(String sessionId)
- Specified by:
sessionId
in interfacejakarta.servlet.http.PushBuilder
-
getSessionId
public String getSessionId()
- Specified by:
getSessionId
in interfacejakarta.servlet.http.PushBuilder
-
addHeader
public jakarta.servlet.http.PushBuilder addHeader(String name, String value)
- Specified by:
addHeader
in interfacejakarta.servlet.http.PushBuilder
-
setHeader
public jakarta.servlet.http.PushBuilder setHeader(String name, String value)
- Specified by:
setHeader
in interfacejakarta.servlet.http.PushBuilder
-
removeHeader
public jakarta.servlet.http.PushBuilder removeHeader(String name)
- Specified by:
removeHeader
in interfacejakarta.servlet.http.PushBuilder
-
getHeaderNames
public Set<String> getHeaderNames()
- Specified by:
getHeaderNames
in interfacejakarta.servlet.http.PushBuilder
-
getHeader
public String getHeader(String name)
- Specified by:
getHeader
in interfacejakarta.servlet.http.PushBuilder
-
path
public jakarta.servlet.http.PushBuilder path(String path)
- Specified by:
path
in interfacejakarta.servlet.http.PushBuilder
-
getPath
public String getPath()
- Specified by:
getPath
in interfacejakarta.servlet.http.PushBuilder
-
push
public void push()
- Specified by:
push
in interfacejakarta.servlet.http.PushBuilder
-
-