public class ResultSetPageProvider extends Object
| Constructor and Description |
|---|
ResultSetPageProvider(eu.dnetlib.enabling.resultset.rmi.ResultSetService resultSet,
String rsId) |
ResultSetPageProvider(eu.dnetlib.enabling.resultset.rmi.ResultSetService resultSet,
String rsId,
int pageSize) |
| Modifier and Type | Method and Description |
|---|---|
int |
getPageSize() |
boolean |
hasElements()
Deprecated.
|
List<String> |
nextPage() |
void |
setMaxWaitTime(long maxWaitTime) |
void |
setPageSize(int pageSize) |
public ResultSetPageProvider(eu.dnetlib.enabling.resultset.rmi.ResultSetService resultSet,
String rsId)
throws ResultSetRuntimeException
resultSet - rsId - eu.dnetlib.enabling.resultset.rmi.ResultSetExceptionResultSetRuntimeExceptionpublic ResultSetPageProvider(eu.dnetlib.enabling.resultset.rmi.ResultSetService resultSet,
String rsId,
int pageSize)
throws ResultSetRuntimeException
ResultSetRuntimeExceptionpublic List<String> nextPage() throws ResultSetTimeoutException, ResultSetRuntimeException
ResultSetTimeoutExceptioneu.dnetlib.enabling.resultset.rmi.ResultSetExceptionResultSetRuntimeExceptionpublic int getPageSize()
public void setPageSize(int pageSize)
@Deprecated public boolean hasElements() throws ResultSetRuntimeException
ResultSetRuntimeExceptionpublic void setMaxWaitTime(long maxWaitTime)
Copyright © 2020. All rights reserved.