Home  >  Article  >  Java  >  JAVA8 paging tool

JAVA8 paging tool

(*-*)浩
(*-*)浩forward
2019-09-19 16:30:092958browse

JAVA8 paging tool

Paging can be achieved using JAVA8 API. When the amount of data is relatively stable, all data can be found and used with caching

import java.util.ArrayList;
import java.util.List;
import java.util.Optional;
 
/**
 * @version 1.0
 * @author levelmini
 * @param 
 */
public class Page {
	private int current_page;
	private int size;
	private int total_page; 
	private int total_sum;
	private transient List instanceList;//Gson不序列化transient字段
	private List currentPageData;
	private transient Optional> op;
	
	public Page(List instanceList,int size) {
		this.size = size;
		setInstanceList(instanceList);
	}
	
	public int getCurrent_page() {
		return current_page;
	}
	public void setCurrent_page(int current_page) {
		this.current_page = current_page<1?1:current_page>this.total_page?this.total_page:current_page;
		setCurrentPageData(currentPageData());
	}
	public int getSize() {
		return size;
	}
	public void setSize(int size) {
		this.size = size;
	}
	public int getTotal_page() {
		return total_page;
	}
	public int getTotal_sum() {
		return total_sum;
	}
	public List getInstanceList() {
		return instanceList;
	}
	public void setInstanceList(List instanceList) {
		this.op= Optional.ofNullable(instanceList);
		this.instanceList = op.orElse(new ArrayList());
		this.total_sum = this.instanceList.size();
		this.total_page =(int) Math.ceil(1.0*this.total_sum/this.size);
	}
	public void setCurrentPageData(List currentPageData) {
		this.currentPageData = currentPageData;
	}
	public List getCurrentPageData(){
		return this.currentPageData;
	}
	private List currentPageData(){
		if(this.size==0 || this.total_page == 1){
			return this.instanceList;
		}
		List currentPageData = new ArrayList();
		instanceList.stream().skip((this.current_page-1)*this.size).limit(this.size).forEach(e->currentPageData.add(e));
		return currentPageData;
	}
}

Usage:

List newsList = newsService.findAll();
Page page = new Page<>(newsList, size);
page.setCurrent_page(current_page);
return JsonUtil.toJson(page,"yyyy-MM-dd");

The above is the detailed content of JAVA8 paging tool. For more information, please follow other related articles on the PHP Chinese website!

Statement:
This article is reproduced at:csdn.net. If there is any infringement, please contact admin@php.cn delete