jakarta.servlet.http.PushBuilder Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of tomcat-embed-core Show documentation
Core Tomcat implementation
The newest version!
/*
 * Licensed to the Apache Software Foundation (ASF) under one or more
 * contributor license agreements.  See the NOTICE file distributed with
 * this work for additional information regarding copyright ownership.
 * The ASF licenses this file to You under the Apache License, Version 2.0
 * (the "License"); you may not use this file except in compliance with
 * the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package jakarta.servlet.http;

import java.util.Set;

/**
 * Builds a push request based on the {@link HttpServletRequest} from which this builder was obtained. The push request
 * will be constructed on the following basis:
 * 
 * The request method is set to GET.
 * The path will not be set. This must be set explicitly via a call to {@link #path(String)}.
 * Conditional, range, expectation, authorization and referer headers will be removed.
 * Cookies added to the associated response will be added to the push request unless maxAge <= 0 in which case
 * any request cookie with the same name will be removed.
 * The referer header will be set to {@link HttpServletRequest#getRequestURL()} plus, if present, the query string
 * from {@link HttpServletRequest#getQueryString()}.
 * 
 *
 * @since Servlet 4.0
 */
public interface PushBuilder {

    /**
     * Specify the HTTP method to use for the push request.
     *
     * @param method The method to use for the push request
     *
     * @return This builder instance
     *
     * @throws IllegalArgumentException if an HTTP method is specified that is known not to be
     *                                      cacheable and
     *                                      safe. POST, PUT, DELETE, CONNECT, OPTIONS and TRACE will trigger the
     *                                      exception.
     */
    PushBuilder method(String method);

    /**
     * Specifies the query string to use in subsequent push requests generated by a call to {@link #push()}. This will
     * be appended to any query string specified in the call to {@link #path(String)}.
     *
     * @param queryString The query string to use to generate push requests
     *
     * @return This builder instance
     */
    PushBuilder queryString(String queryString);

    /**
     * Specifies the session ID to use in subsequent push requests generated by a call to {@link #push()}. The session
     * ID will be presented the same way as it is on the original request (cookie or URL parameter). The default is
     * determined in the following order:
     * 
     * the requested session ID for the originating request
     * the session ID generated in the originated request
     * {@code null}
     * 
     *
     * @param sessionId The session ID to use to generate push requests
     *
     * @return This builder instance
     */
    PushBuilder sessionId(String sessionId);

    /**
     * Sets an HTTP header on the request. Any existing headers of the same name are first remove.
     *
     * @param name  The name of the header to set
     * @param value The value of the header to set
     *
     * @return This builder instance
     */
    PushBuilder setHeader(String name, String value);

    /**
     * Adds an HTTP header to the request.
     *
     * @param name  The name of the header to add
     * @param value The value of the header to add
     *
     * @return This builder instance
     */
    PushBuilder addHeader(String name, String value);

    /**
     * Removes an HTTP header from the request.
     *
     * @param name The name of the header to remove
     *
     * @return This builder instance
     */
    PushBuilder removeHeader(String name);

    /**
     * Sets the URI path to be used for the push request. This must be called before every call to {@link #push()}. If
     * the path includes a query string, the query string will be appended to the existing query string (if any) and no
     * de-duplication will occur.
     *
     * @param path Paths beginning with '/' are treated as absolute paths. All other paths are treated as relative to
     *                 the context path of the request used to create this builder instance. The path may include a
     *                 query string.
     *
     * @return This builder instance
     */
    PushBuilder path(String path);

    /**
     * Generates the push request and sends it to the client unless pushes are not available for some reason. After
     * calling this method the following fields are set to {@code null}:
     * 
     * {@code path}
     * conditional request headers ({@code if-none-match} and {@code if-modified-since})
     * 
     *
     * @throws IllegalStateException    If this method is called when {@code path} is {@code null}
     * @throws IllegalArgumentException If the request to push requires a body
     */
    void push();

    /**
     * Obtain the name of the HTTP method that will be used for push requests generated by future calls to
     * {@code push()}.
     *
     * @return The HTTP method to be used for future push requests
     */
    String getMethod();

    /**
     * Obtain the query string that will be used for push requests generated by future calls to {@code push()}.
     *
     * @return The query string that will be appended to push requests.
     */
    String getQueryString();

    /**
     * Obtain the session ID that will be used for push requests generated by future calls to {@code push()}.
     *
     * @return The session that will be used for push requests.
     */
    String getSessionId();

    /**
     * @return The current set of names of HTTP headers to be used the next time {@code push()} is called.
     */
    Set getHeaderNames();

    /**
     * Obtain a value for the given HTTP header. TODO Servlet 4.0 Clarify the behaviour of this method
     *
     * @param name The name of the header whose value is to be returned
     *
     * @return The value of the given header. If multiple values are defined then any may be returned
     */
    String getHeader(String name);

    /**
     * Obtain the path that will be used for the push request that will be generated by the next call to {@code push()}.
     *
     * @return The path value that will be associated with the next push request
     */
    String getPath();
}