Interface PushBuilder


  • public interface PushBuilder
    The push builder API.
    Author:
    Manfred Riem (mriem@manorrock.com)
    • 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.