Class PushBuilderWrapper

  • All Implemented Interfaces:
    jakarta.servlet.http.PushBuilder

    public class PushBuilderWrapper
    extends Object
    implements jakarta.servlet.http.PushBuilder
    Push builder wrapper
    • Constructor Detail

      • PushBuilderWrapper

        public PushBuilderWrapper​(@NotNull
                                  javax.servlet.http.PushBuilder c)
        Create new wrapper
        Parameters:
        c - Wrapped builder
    • Method Detail

      • method

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

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

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

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

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

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

        public jakarta.servlet.http.PushBuilder path​(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 String getMethod()
        Specified by:
        getMethod in interface jakarta.servlet.http.PushBuilder
      • getQueryString

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

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

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

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

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