Module cloud.piranha.servlet.api
Package javax.servlet.http

Interface PushBuilder

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

  • Method Details

    • addHeader

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

    • getHeader

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

    • getHeaderNames

      java.util.Set<java.lang.String> getHeaderNames()
      Get the header names.
      Returns:
      the header names.

    • getMethod

      java.lang.String getMethod()
      Get the HTTP method.
      Returns:
      the HTTP method.

    • getPath

      java.lang.String getPath()
      Get the path.
      Returns:
      the path.

    • getQueryString

      java.lang.String getQueryString()
      Get the query string.
      Returns:
      the query string.

    • getSessionId

      java.lang.String getSessionId()
      Get the session id.
      Returns:
      the session id.

    • method

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

    • path

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

    • push

      void push()
      Push.

    • queryString

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

    • removeHeader

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

    • sessionId

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

    • setHeader

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