Package javax.servlet.http

Interface PushBuilder

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

    • Method Detail

      • 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()
        Get the header names.
        Returns:
        the header names.

      • getMethod

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

      • getPath

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

      • getQueryString

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

      • getSessionId

        String getSessionId()
        Get 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.