?? pager.java
字號:
package com.component.pagination;
import java.util.Set;
import java.util.Vector;
/**
* An interface to different types of pager.
* All Pagers should implement this interface, thus abstracting the
* paging details from the <code>PaginationModel</code>.
*
* @author chetan_bh
*/
public interface Pager {
/**
* Returns a page given a page index.
* A page is a <code>Collection</code> of <code>PageElement</code>s.
*
* @param index in the page indices collection.
* @return a page.
*/
public Vector<PageElement> getPage(PageIndex pageIndex);
/**
* Returns the current page index.
* @return current page index.
*/
public PageIndex getCurrentPageIndex();
/**
* Returns true if the pager has more elements, after the current page index, else false.
* @return true, if more pages are available.
*/
public boolean hasNextMainPage();
/**
* Returns true if the pager has more elements, before the current page index, else false.
* @return true if more pages are available.
*/
public boolean hasPreviousMainPage();
/**
* Returns the first page in the paged collection in the pager.
* @return
*/
public Vector<PageElement> firstMainPage();
/**
* Returns the next page to the current page index in the pager.
* @return next page.
*/
public Vector<PageElement> nextMainPage();
/**
* Returns the previous page to the current page index in the pager.
* @return previous page.
*/
public Vector<PageElement> previousMainPage();
//public Vector nextPageIndices();
//public Vector previousPageIndices();
/**
* Returns the page indices needed to access the pages.
* @return page indices.
*/
public Vector<String> getAllPageIndices();
public Set<String> getAllSubPageIndices(String mainPageIndex);
/**
* Returns elements per page parameter.
* @return
*/
public int getElementsPerPage();
/**
* Sets the elements per page parameter.
* @param elementsPerPage
*/
public void setElementsPerPage(int elementsPerPage);
/**
* Returns the page element given an page element index.
* @param pageEleIndex
* @return
*/
public PageElement getPageElement(PageElementIndex pageEleIndex);
/**
* Returns pager name.
* @return
*/
public String getPagerName();
/*
* Not sure now whether mainPageIndex parameter needs to be passes to all
* of the below methods.
*/
public Vector<PageElement> firstSubPage(String mainPageIndex);
public Vector<PageElement> nextSubPage(String mainPageIndex);
public Vector<PageElement> previousSubPage(String mainPageIndex);
public boolean hasNextSubPage(String mainPageIndex);
public boolean hasPreviousSubPage(String mainPageIndex);
}
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -