public interface ScrollProvider extends Provider
| 限定符和类型 | 方法和说明 |
|---|---|
String |
getScrollId()
fetch search scroll id, if the return value is null, it means that current request is initial search request.
|
default boolean |
isClearScroll()
determine whether current request is clear scroll request; if return
true, getScrollId() must return a none null value. |
default boolean isClearScroll()
true, getScrollId() must return a none null value.trueString getScrollId()
Copyright © 2020. All rights reserved.