jakarta.servlet.http.PushBuilder Maven / Gradle / Ivy
/*
* 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();
}