Module jakarta.servlet
Package jakarta.servlet.http

Interface PushBuilder

public interface PushBuilder
The push builder API.
Author:
Manfred Riem ([email protected])

  • Method Details

    • addHeader

      PushBuilder addHeader​(String name, String value)
      Add the header.
      Parameters:
      name - the name.
      value - the value.
      Returns:
      the push builder.

    • getHeader

      String getHeader​(String name)
      Get the header.
      Parameters:
      name - the name.
      Returns:
      the value.

    • getHeaderNames

      Set<String> getHeaderNames()
      Returns the header names.
      Returns:
      the header names

    • getMethod

      String getMethod()
      Returns the HTTP method.
      Returns:
      the HTTP method

    • getPath

      String getPath()
      Returns the path.
      Returns:
      the path

    • getQueryString

      String getQueryString()
      Returns the query string.
      Returns:
      the query string

    • getSessionId

      String getSessionId()
      Returns the session id.
      Returns:
      the session id

    • method

      PushBuilder method​(String method)
      Set the HTTP method.
      Parameters:
      method - the method.
      Returns:
      the push builder.

    • path

      PushBuilder path​(String path)
      Set the path.
      Parameters:
      path - the path.
      Returns:
      the push builder.

    • push

      void push()
      Push.

    • queryString

      PushBuilder queryString​(String queryString)
      Set the query string.
      Parameters:
      queryString - the query string.
      Returns:
      the push builder.

    • removeHeader

      PushBuilder removeHeader​(String name)
      Remove the header.
      Parameters:
      name - the name.
      Returns:
      the push builder.

    • sessionId

      PushBuilder sessionId​(String sessionId)
      Set the session id.
      Parameters:
      sessionId - the session id.
      Returns:
      the push builder.

    • setHeader

      PushBuilder setHeader​(String name, String value)
      Set the header.
      Parameters:
      name - the name.
      value - the value.
      Returns:
      the push builder.