📄 pagedisplay.java
字号:
package web;
import java.util.Vector;
/**
* <p>Title: </p>
*
* <p>Description: </p>
*
* <p>Copyright: Copyright (c) 2005</p>
*
* <p>Company: </p>
*
* @author not attributable
* @version 1.0
*/
public class PageDisplay
{
private int TotalRecord;
private int RecordOnePage;
private int TotalPage;
private int CurrentPage;
private Vector v;
public PageDisplay()
{
this.TotalRecord = 0;
this.RecordOnePage = 5;
this.TotalPage = 0;
this.CurrentPage = 1;
}
public PageDisplay(Vector v)
{
this.TotalRecord = v.size();
this.v = v;
}
public void setTotalRecord(int TotalRecord)
{
this.TotalRecord = TotalRecord;
}
public int getTotalRecord()
{
return this.TotalRecord;
}
public void setCurrentPage(int CurrentPage)
{
this.CurrentPage = CurrentPage;
}
public int getCurrentPage()
{
return this.getCurrentPage();
}
public void setRecordOnePage(int RecordOnePage)
{
this.RecordOnePage = RecordOnePage;
}
public int getRecordOnePage()
{
return this.RecordOnePage;
}
public void setTotalPage(int TotalPage)
{
this.TotalPage = TotalPage;
}
public int getTotalPage()
{
return this.TotalPage;
}
public void setVector(Vector v)
{
this.v = v;
}
public Vector getVector()
{
return this.v;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -