public class RequestInfo extends Object
| Modifier and Type | Field and Description |
|---|---|
Instant |
closed
Timestamp of global closing of request.
|
List<RequestStatusInfo> |
nodeStatus |
Instant |
published
Timestamp when the request was published.
|
boolean |
targeted
If
true the request is targeted only at specific nodes. |
String[] |
types
Media types of available query definitions
|
| Modifier | Constructor and Description |
|---|---|
protected |
RequestInfo() |
|
RequestInfo(int id,
Instant published,
Instant closed,
boolean targeted) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
int |
getId() |
int |
hashCode() |
boolean |
hasMediaType(String type)
Determine whether the specified media type is present in the
list of supported media types.
|
void |
setTypes(String[] types) |
public Instant published
public Instant closed
public boolean targeted
true the request is targeted only at specific nodes.
false means that all nodes (even new/unknown nodes) will retrieve this request.public String[] types
public List<RequestStatusInfo> nodeStatus
public int getId()
public void setTypes(String[] types)
public boolean hasMediaType(String type)
type - desired typetrue if the desired media type is supported. false otherwise.Copyright © 2014–2018 University of Oldenburg. All rights reserved.