| Package | Description |
|---|---|
| eu.dnetlib.enabling.resultset.rmi |
| Modifier and Type | Method and Description |
|---|---|
W3CEndpointReference |
ResultSetService.createPushRS(int expiryTime,
int keepAliveTime)
create a new push resultset.
|
int |
ResultSetService.getNumberOfElements(String rsId)
get the number of result elements present in the resultset.
|
String |
ResultSetService.getProperty(String rsId,
String name)
read a resultset property.
|
List<String> |
ResultSetService.getResult(String rsId,
int fromPosition,
int toPosition,
String requestMode)
get one 'page' of results.
|
String |
ResultSetService.getRSStatus(String rsId)
return current status of a resultset.
|
String |
ResultSetService.populateRS(String rsId,
List<String> elements)
add new data to a push resultset.
|
Copyright © 2017. All rights reserved.