public class SearchRequestResult
extends java.lang.Object
Constructor and Description |
---|
SearchRequestResult(java.util.List<SearchResult> results,
int total_result_count,
int page_index) |
SearchRequestResult(java.util.List<SearchResult> results,
int total_result_count,
int page_count,
int page_index) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Filter> |
getFilters()
Some libraries support a "refined search": On the search results page you
have a list of options to refine your search, for example "Media type"
with the options "book", "cd" or "movie" or "Language" with "German" or
"English".
|
int |
getPage_count() |
int |
getPage_index() |
java.util.List<SearchResult> |
getResults() |
int |
getTotal_result_count() |
void |
setFilters(java.util.List<Filter> filters)
Some libraries support a "refined search": On the search results page you
have a list of options to refine your search, for example "Media type"
with the options "book", "cd" or "movie" or "Language" with "German" or
"English".
|
void |
setPage_count(int page_count) |
void |
setPage_number(int page_index) |
void |
setResults(java.util.List<SearchResult> results) |
void |
setTotal_result_count(int total_result_count) |
public SearchRequestResult(java.util.List<SearchResult> results, int total_result_count, int page_count, int page_index)
results
- The results found for this search.total_result_count
- The total number of results for the search request.page_count
- The total number of result pages for the search request.page_index
- The index of the result page requested.public SearchRequestResult(java.util.List<SearchResult> results, int total_result_count, int page_index)
results
- The results found for this search.total_result_count
- The total number of results for the search request.page_index
- The index of the result page requested.public int getTotal_result_count()
public void setTotal_result_count(int total_result_count)
total_result_count
- The total number of results for the search request.public int getPage_count()
public void setPage_count(int page_count)
page_count
- The total number of result pages for the search request.public int getPage_index()
public void setPage_number(int page_index)
page_index
- The index of the result page requested.public java.util.List<SearchResult> getResults()
public void setResults(java.util.List<SearchResult> results)
results
- The results found for this search.public java.util.List<Filter> getFilters()
OpacApi.search(List)
. If a
library does not, this is null
.Filter
public void setFilters(java.util.List<Filter> filters)
OpacApi.search(List)
. If your
library does not, just set null
.filters
- List of filters availableFilter