public static final class PushEvent.PushEventBuilder
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
PushEvent |
build() |
PushEvent.PushEventBuilder |
headers(MimeHeaders val)
The headers of the push request.
|
PushEvent.PushEventBuilder |
httpRequest(HttpRequestPacket val)
The
HttpRequestPacket of the original request. |
PushEvent.PushEventBuilder |
method(java.lang.String val)
The push method.
|
PushEvent.PushEventBuilder |
path(java.lang.String val)
The path of the push request.
|
public PushEvent.PushEventBuilder method(java.lang.String val)
Method.GET.java.lang.NullPointerException - if no value is provided.java.lang.IllegalArgumentException - if the argument is the empty String,
or any non-cacheable or unsafe methods defined in RFC 7231,
which are POST, PUT, DELETE, CONNECT, OPTIONS and TRACE.public PushEvent.PushEventBuilder headers(MimeHeaders val)
java.lang.NullPointerException - if no MimeHeaders is provided.public PushEvent.PushEventBuilder path(java.lang.String val)
public PushEvent.PushEventBuilder httpRequest(HttpRequestPacket val)
HttpRequestPacket of the original request. This is necessary in order to lookup
the parent stream.java.lang.NullPointerException - if no HttpRequestPacket is provided.public PushEvent build()
java.lang.IllegalArgumentException - if no value has been provided by invoking
path(String), httpRequest(HttpRequestPacket),
or headers(MimeHeaders).Copyright © 2018 Oracle Corporation. All Rights Reserved.