Class 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
    • 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • method

        public jakarta.servlet.http.PushBuilder method​(java.lang.String method)
        Specified by:
        method in interface jakarta.servlet.http.PushBuilder
      • queryString

        public jakarta.servlet.http.PushBuilder queryString​(java.lang.String queryString)
        Specified by:
        queryString in interface jakarta.servlet.http.PushBuilder
      • sessionId

        public jakarta.servlet.http.PushBuilder sessionId​(java.lang.String sessionId)
        Specified by:
        sessionId in interface jakarta.servlet.http.PushBuilder
      • setHeader

        public jakarta.servlet.http.PushBuilder setHeader​(java.lang.String name,
                                                          java.lang.String value)
        Specified by:
        setHeader in interface jakarta.servlet.http.PushBuilder
      • addHeader

        public jakarta.servlet.http.PushBuilder addHeader​(java.lang.String name,
                                                          java.lang.String value)
        Specified by:
        addHeader in interface jakarta.servlet.http.PushBuilder
      • removeHeader

        public jakarta.servlet.http.PushBuilder removeHeader​(java.lang.String name)
        Specified by:
        removeHeader in interface jakarta.servlet.http.PushBuilder
      • path

        public jakarta.servlet.http.PushBuilder path​(java.lang.String path)
        Specified by:
        path in interface jakarta.servlet.http.PushBuilder
      • push

        public void push()
        Specified by:
        push in interface jakarta.servlet.http.PushBuilder
      • getMethod

        public java.lang.String getMethod()
        Specified by:
        getMethod in interface jakarta.servlet.http.PushBuilder
      • getQueryString

        public java.lang.String getQueryString()
        Specified by:
        getQueryString in interface jakarta.servlet.http.PushBuilder
      • getSessionId

        public java.lang.String getSessionId()
        Specified by:
        getSessionId in interface jakarta.servlet.http.PushBuilder
      • getHeaderNames

        public java.util.Set<java.lang.String> getHeaderNames()
        Specified by:
        getHeaderNames in interface jakarta.servlet.http.PushBuilder
      • getHeader

        public java.lang.String getHeader​(java.lang.String name)
        Specified by:
        getHeader in interface jakarta.servlet.http.PushBuilder
      • getPath

        public java.lang.String getPath()
        Specified by:
        getPath in interface jakarta.servlet.http.PushBuilder