1
|
1 package de.mpiwg.itgroup.ismi.util.guiComponents;
|
|
2
|
|
3 import java.text.MessageFormat;
|
|
4
|
|
5 public class DataPaginator {
|
|
6 /* This should be parameters or properties stored somewhere */
|
|
7 private int itemsPerPage = 10;
|
|
8 private int rewindFastForwardBy = 10;
|
|
9
|
|
10 private int currentPage;
|
|
11 private int numberOfPages;
|
|
12
|
|
13 private String recordStatus;
|
|
14
|
|
15 public void first(){
|
|
16 this.currentPage = 0;
|
|
17 }
|
|
18
|
|
19 public void last(){
|
|
20 this.currentPage = this.numberOfPages -1;
|
|
21 }
|
|
22
|
|
23 public void fastRewind () {
|
|
24 this.rewind(this.rewindFastForwardBy);
|
|
25 }
|
|
26
|
|
27 private void rewind (int aRewindFastForwardBy) {
|
|
28 int newPageNumber = currentPage - aRewindFastForwardBy;
|
|
29 if (newPageNumber < 0) {
|
|
30 currentPage = 0;
|
|
31 } else {
|
|
32 currentPage = newPageNumber;
|
|
33 }
|
|
34 }
|
|
35
|
|
36 public void goToPage(int newPageNumber){
|
|
37 if (newPageNumber > this.numberOfPages -1) {
|
|
38 currentPage = this.numberOfPages -1;
|
|
39 } else if(newPageNumber < 0 ){
|
|
40 currentPage = 0;
|
|
41 }else{
|
|
42 currentPage = newPageNumber;
|
|
43 }
|
|
44
|
|
45 }
|
|
46
|
|
47 private void forward (int aRewindFastForwardBy) {
|
|
48 int newPageNumber = currentPage + aRewindFastForwardBy;
|
|
49 if (newPageNumber > this.numberOfPages - 1) {
|
|
50 currentPage = this.numberOfPages -1;
|
|
51 } else {
|
|
52 currentPage = newPageNumber;
|
|
53 }
|
|
54 }
|
|
55
|
|
56 public void previous () {
|
|
57 this.rewind(1);
|
|
58 }
|
|
59
|
|
60 public void next () {
|
|
61 this.forward(1);
|
|
62 }
|
|
63
|
|
64 public void fastForward () {
|
|
65 this.forward(this.rewindFastForwardBy);
|
|
66 }
|
|
67
|
|
68 public void initCount() {
|
|
69 if (currentPage > numberOfPages) {
|
|
70 currentPage=numberOfPages;
|
|
71 }
|
|
72 }
|
|
73
|
|
74 public int getNumberOfPages() {
|
|
75 return numberOfPages;
|
|
76 }
|
|
77
|
|
78 public void setNumberOfPages(int numberOfPages) {
|
|
79 this.numberOfPages = numberOfPages;
|
|
80 }
|
|
81
|
|
82 public void resetNumberOfPages(int itemsTotal){
|
|
83 int numberOfPages = (itemsTotal
|
|
84 % this.getItemsPerPage() == 0) ?
|
|
85 itemsTotal
|
|
86 / this.getItemsPerPage() :
|
|
87 (itemsTotal
|
|
88 / this.getItemsPerPage()) + 1;
|
|
89 this.setNumberOfPages(numberOfPages);
|
|
90 }
|
|
91
|
|
92 public int getCurrentPage() {
|
|
93 return currentPage;
|
|
94 }
|
|
95
|
|
96 public void setCurrentPage(int currentPage) {
|
|
97 this.currentPage = currentPage;
|
|
98 }
|
|
99
|
|
100 public String getRecordStatus () {
|
|
101 this.recordStatus = MessageFormat.format("{0} of {1}",
|
|
102 new Object []{
|
|
103 Integer.valueOf(currentPage + 1),
|
|
104 Integer.valueOf(numberOfPages)
|
|
105 });
|
|
106 return recordStatus;
|
|
107 }
|
|
108
|
|
109 public void setRecordStatus(String recordStatus) {
|
|
110 this.recordStatus = recordStatus;
|
|
111 }
|
|
112
|
|
113 public int getItemsPerPage() {
|
|
114 return itemsPerPage;
|
|
115 }
|
|
116
|
|
117 public void setItemsPerPage(int itemsPerPage) {
|
|
118 this.itemsPerPage = itemsPerPage;
|
|
119 }
|
|
120
|
|
121 public int getRewindFastForwardBy() {
|
|
122 return rewindFastForwardBy;
|
|
123 }
|
|
124
|
|
125 public void setRewindFastForwardBy(int rewindFastForwardBy) {
|
|
126 this.rewindFastForwardBy = rewindFastForwardBy;
|
|
127 }
|
|
128 }
|