Subversion Repositories eFlore/Applications.cel

Rev

Rev 128 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 128 Rev 214
1
package org.tela_botanica.client.vues;
1
package org.tela_botanica.client.vues;
2
 
2
 
3
 
3
 
4
import org.tela_botanica.client.interfaces.ListePaginable;
4
import org.tela_botanica.client.interfaces.ListePaginable;
5
import org.tela_botanica.client.interfaces.Rafraichissable;
5
import org.tela_botanica.client.interfaces.Rafraichissable;
6
 
6
 
7
import com.gwtext.client.core.EventCallback;
7
import com.gwtext.client.core.EventCallback;
8
import com.gwtext.client.core.EventObject;
8
import com.gwtext.client.core.EventObject;
9
import com.gwtext.client.core.Template;
9
import com.gwtext.client.core.Template;
10
import com.gwtext.client.data.Record;
10
import com.gwtext.client.data.Record;
11
import com.gwtext.client.data.SimpleStore;
11
import com.gwtext.client.data.SimpleStore;
12
import com.gwtext.client.data.Store;
12
import com.gwtext.client.data.Store;
13
import com.gwtext.client.widgets.Button;
13
import com.gwtext.client.widgets.Button;
14
import com.gwtext.client.widgets.Toolbar;
14
import com.gwtext.client.widgets.Toolbar;
15
import com.gwtext.client.widgets.ToolbarButton;
15
import com.gwtext.client.widgets.ToolbarButton;
16
import com.gwtext.client.widgets.ToolbarTextItem;
16
import com.gwtext.client.widgets.ToolbarTextItem;
17
import com.gwtext.client.widgets.event.ButtonListenerAdapter;
17
import com.gwtext.client.widgets.event.ButtonListenerAdapter;
18
import com.gwtext.client.widgets.form.ComboBox;
18
import com.gwtext.client.widgets.form.ComboBox;
19
import com.gwtext.client.widgets.form.Field;
19
import com.gwtext.client.widgets.form.Field;
20
import com.gwtext.client.widgets.form.TextField;
20
import com.gwtext.client.widgets.form.TextField;
21
import com.gwtext.client.widgets.form.event.ComboBoxListenerAdapter;
21
import com.gwtext.client.widgets.form.event.ComboBoxListenerAdapter;
22
import com.gwtext.client.widgets.form.event.TextFieldListenerAdapter;
22
import com.gwtext.client.widgets.form.event.TextFieldListenerAdapter;
23
 
23
 
24
/**
24
/**
25
 * Barre de pagination asynchrone avec filtrage des touches et accès directs et
25
 * Barre de pagination asynchrone avec filtrage des touches et accès directs et
26
 * séquentiels à une page
26
 * séquentiels à une page
27
 * 
27
 * 
28
 * @author aurelien
28
 * @author aurelien
29
 * 
29
 * 
30
 */
30
 */
31
public class BarrePaginationVue extends Toolbar implements Rafraichissable {
31
public class BarrePaginationVue extends Toolbar implements Rafraichissable {
32
 
32
 
33
	/**
33
	/**
34
	 * Instance du médiateur à qui on notifie les évnènements
34
	 * Instance du médiateur à qui on notifie les évnènements
35
	 */
35
	 */
36
	private ListePaginable listePaginable = null;
36
	private ListePaginable listePaginable = null;
37
 
37
 
38
	/**
38
	/**
39
	 * Bouton précédent
39
	 * Bouton précédent
40
	 */
40
	 */
41
	private ToolbarButton prevPage = new ToolbarButton();
41
	private ToolbarButton prevPage = new ToolbarButton();
42
	/**
42
	/**
43
	 * Bouton suivant
43
	 * Bouton suivant
44
	 */
44
	 */
45
	private ToolbarButton suivPage = new ToolbarButton();
45
	private ToolbarButton suivPage = new ToolbarButton();
46
	/**
46
	/**
47
	 * Numéro de la page courante (attention, commence à zéro pour des raisons
47
	 * Numéro de la page courante (attention, commence à zéro pour des raisons
48
	 * pratiques)
48
	 * pratiques)
49
	 */
49
	 */
50
	private int pageCourante = 0;
50
	private int pageCourante = 0;
51
	/**
51
	/**
52
	 * Nombre de page total
52
	 * Nombre de page total
53
	 */
53
	 */
54
	private int pageTotale = 1;
54
	private int pageTotale = 1;
55
	/**
55
	/**
56
	 * Nombre d'élements total
56
	 * Nombre d'élements total
57
	 */
57
	 */
58
	private int nbElement = 0;
58
	private int nbElement = 0;
59
	/**
59
	/**
60
	 * Nombre d'élément par page
60
	 * Nombre d'élément par page
61
	 */
61
	 */
62
	private int taillePage = 0;
62
	private int taillePage = 0;
63
	/**
63
	/**
64
	 * Texte statique de la toolbar 1
64
	 * Texte statique de la toolbar 1
65
	 */
65
	 */
66
	private ToolbarTextItem page = new ToolbarTextItem("Page ");
66
	private ToolbarTextItem page = new ToolbarTextItem("Page ");
67
	/**
67
	/**
68
	 * Affichage de la page courante
68
	 * Affichage de la page courante
69
	 */
69
	 */
70
	private TextField champPage = new TextField("" + (pageCourante + 1));
70
	private TextField champPage = new TextField("" + (pageCourante + 1));
71
	/**
71
	/**
72
	 * Affichage de "sur pageTotale "
72
	 * Affichage de "sur pageTotale "
73
	 */
73
	 */
74
	private ToolbarTextItem surTotalPage = new ToolbarTextItem(" sur "
74
	private ToolbarTextItem surTotalPage = new ToolbarTextItem(" sur "
75
			+ pageTotale);
75
			+ pageTotale);
76
	/**
76
	/**
77
	 * Texte statique de la toolbar 2
77
	 * Texte statique de la toolbar 2
78
	 */
78
	 */
79
	private ToolbarTextItem afficherNbElem = new ToolbarTextItem("Afficher ");
79
	private ToolbarTextItem afficherNbElem = new ToolbarTextItem("Afficher ");
80
	/**
80
	/**
81
	 * Combobox permettant de selectionner le nombre d'élements à afficher par
81
	 * Combobox permettant de selectionner le nombre d'élements à afficher par
82
	 * page et donc de changer la variable taillePage
82
	 * page et donc de changer la variable taillePage
83
	 */
83
	 */
84
	private ComboBox selecteurTaillePage = new ComboBox();
84
	private ComboBox selecteurTaillePage = new ComboBox();
85
	
85
	
86
	/**
86
	/**
87
	 * Les différents intervalles de page possibles (intialisé par défaut)
87
	 * Les différents intervalles de page possibles (intialisé par défaut)
88
	 */
88
	 */
89
	String[] pages = { "200","100","50", "20", "10" };
89
	String[] pages = { "200","100","50", "20", "10" };
90
	
90
	
91
	Store storeIntervalle = null ;
91
	Store storeIntervalle = null ;
92
	
92
	
93
	
93
	
94
 
94
 
95
	/**
95
	/**
96
	 * Label indiquant le type d'element affiché
96
	 * Label indiquant le type d'element affiché
97
	 *  
97
	 *  
98
	 */	
98
	 */	
99
 
99
 
100
	private String labelElement="Elements";
100
	private String labelElement="Elements";
101
 
101
 
102
	/**
102
	/**
103
	 * taille de la page par defaut
103
	 * taille de la page par defaut
104
	 *  
104
	 *  
105
	 */	
105
	 */	
106
 
106
 
107
	private int taillePageDefaut = 50;
107
	private int taillePageDefaut = 50;
108
 
108
 
109
	
109
	
110
	/**
110
	/**
111
	 * Texte statique de la toolbar 3
111
	 * Texte statique de la toolbar 3
112
	 */
112
	 */
113
	private ToolbarTextItem nbElemParPage = new ToolbarTextItem(
113
	private ToolbarTextItem nbElemParPage = new ToolbarTextItem(
114
			labelElement + " par page ");
114
			labelElement + " par page ");
115
	/**
115
	/**
116
	 * Affiche l'intervalle des éléments contenus dans la page
116
	 * Affiche l'intervalle des éléments contenus dans la page
117
	 */
117
	 */
118
	private ToolbarTextItem intervalleElements = new ToolbarTextItem(labelElement + " "
118
	private ToolbarTextItem intervalleElements = new ToolbarTextItem(labelElement + " "
119
			+ pageCourante * taillePage + " sur " + nbElement);
119
			+ pageCourante * taillePage + " sur " + nbElement);
120
 
120
 
121
 
121
 
122
	/**
122
	/**
123
	 * retourne la liste associé à la barre
123
	 * retourne la liste associé à la barre
124
	 */
124
	 */
125
	
125
	
126
	public ListePaginable getlistePaginable() {
126
	public ListePaginable getlistePaginable() {
127
		return listePaginable;
127
		return listePaginable;
128
	}
128
	}
129
 
129
 
130
	/***************************************************************************
130
	/***************************************************************************
131
	 * constructeur sans argument (privé car ne doit pas être utilisé)
131
	 * constructeur sans argument (privé car ne doit pas être utilisé)
132
	 */
132
	 */
133
	@SuppressWarnings("unused")
133
	@SuppressWarnings("unused")
134
	private BarrePaginationVue() {
134
	private BarrePaginationVue() {
135
		super();
135
		super();
136
	}
136
	}
137
 
137
 
138
	/**
138
	/**
139
	 * constructeur avec paramètres
139
	 * constructeur avec paramètres
140
	 * 
140
	 * 
141
	 * @param im
141
	 * @param im
142
	 *            le médiateur à associer à la barre
142
	 *            le médiateur à associer à la barre
143
	 */
143
	 */
144
	public BarrePaginationVue(ListePaginable lst) {
144
	public BarrePaginationVue(ListePaginable lst) {
145
		super();
145
		super();
146
 
146
 
147
		listePaginable = lst;
147
		listePaginable = lst;
148
 
148
 
149
		// on remplit l'espace pour que l'intervalle d'élement se place à droite
149
		// on remplit l'espace pour que l'intervalle d'élement se place à droite
150
		// de la barre
150
		// de la barre
151
		addItem(intervalleElements);
151
		addItem(intervalleElements);
152
		addSpacer();
152
		addSpacer();
153
		// on remplit l'espace pour que l'intervalle d'élement se place à droite
153
		// on remplit l'espace pour que l'intervalle d'élement se place à droite
154
		// de la barre
154
		// de la barre
155
		addFill();
155
		addFill();
156
		
156
		
157
		// on dispose un peu de texte et quelques espaces pour séparer les
157
		// on dispose un peu de texte et quelques espaces pour séparer les
158
		// éléments
158
		// éléments
159
		addButton(prevPage);
159
		addButton(prevPage);
160
		addSpacer();
160
		addSpacer();
161
		addItem(page);
161
		addItem(page);
162
		addField(champPage);
162
		addField(champPage);
163
		addItem(surTotalPage);
163
		addItem(surTotalPage);
164
		addSpacer();
164
		addSpacer();
165
		addButton(suivPage);
165
		addButton(suivPage);
166
 
166
 
167
		champPage.setWidth(30);
167
		champPage.setWidth(30);
168
 
168
 
169
		addSpacer();
169
		addSpacer();
170
		addItem(afficherNbElem);
170
		addItem(afficherNbElem);
171
 
171
 
172
		prevPage.setIcon("page_prev.png");
172
		prevPage.setIcon("page_prev.png");
173
		suivPage.setIcon("page_suiv.png");
173
		suivPage.setIcon("page_suiv.png");
174
 
174
 
175
		setIntervallesPages(pages) ;
175
		setIntervallesPages(pages) ;
176
 
176
 
177
		// le template definit ce que l'on affiche pour chaque element du store
177
		// le template definit ce que l'on affiche pour chaque element du store
178
		// dans la combobox
178
		// dans la combobox
179
		final Template tp = new Template("<div class=\"x-combo-list-item\">"
179
		final Template tp = new Template("<div class=\"x-combo-list-item\">"
180
				+ "{nb_page}" + "<div class=\"x-clear\"></div></div>");
180
				+ "{nb_page}" + "<div class=\"x-clear\"></div></div>");
181
		tp.compile();
181
		tp.compile();
182
 
182
 
183
		selecteurTaillePage.setTpl(tp);
183
		selecteurTaillePage.setTpl(tp);
184
		selecteurTaillePage.setStore(storeIntervalle);
184
		selecteurTaillePage.setStore(storeIntervalle);
185
		selecteurTaillePage.setWidth(40);
-
 
186
		selecteurTaillePage.setEditable(false);
185
		selecteurTaillePage.setEditable(false);
187
		addField(selecteurTaillePage);
186
		addField(selecteurTaillePage);
188
		selecteurTaillePage.setValue(""+taillePageDefaut);
187
		selecteurTaillePage.setValue(""+taillePageDefaut);
189
		selecteurTaillePage.setWidth(50);
188
		selecteurTaillePage.setWidth(50);
190
		addItem(nbElemParPage);
189
		addItem(nbElemParPage);
191
		
190
		
192
 
191
 
193
		// on ajoute les différents listeners
192
		// on ajoute les différents listeners
194
		ajouterListeners();
193
		ajouterListeners();
195
	}
194
	}
196
 
195
 
197
	
196
	
198
	/**
197
	/**
199
	 *  Texte nommant les elements pagines (Images, Observation, truc, machin etc...).
198
	 *  Texte nommant les elements pagines (Images, Observation, truc, machin etc...).
200
	 * 	@param label
199
	 * 	@param label
201
	 */
200
	 */
202
	
201
	
203
	public void setLabelElement(String label) {
202
	public void setLabelElement(String label) {
204
		this.labelElement = label;
203
		this.labelElement = label;
205
		nbElemParPage.setText(labelElement + " par page ");
204
		nbElemParPage.setText(labelElement + " par page ");
206
		intervalleElements.setText(labelElement + " " + pageCourante * taillePage + " sur " + nbElement);
205
		intervalleElements.setText(labelElement + " " + pageCourante * taillePage + " sur " + nbElement);
207
	}
206
	}
208
 
207
 
209
	public void setTaillePageParDefaut(int taille) {
208
	public void setTaillePageParDefaut(int taille) {
210
		this.taillePageDefaut = taille;
209
		this.taillePageDefaut = taille;
211
		selecteurTaillePage.setValue(""+taillePageDefaut);
210
		selecteurTaillePage.setValue(""+taillePageDefaut);
212
	}
211
	}
213
	
212
	
214
	public void setIntervallesPages(String[] intervalle)
213
	public void setIntervallesPages(String[] intervalle)
215
	{
214
	{
216
		String[][] intervallesPages = new String[intervalle.length][1] ;
215
		String[][] intervallesPages = new String[intervalle.length][1] ;
217
		
216
		
218
		for(int i = 0 ; i < intervalle.length ; i++)
217
		for(int i = 0 ; i < intervalle.length ; i++)
219
		{
218
		{
220
			intervallesPages[i][0] = intervalle[i] ;
219
			intervallesPages[i][0] = intervalle[i] ;
221
		}
220
		}
222
		
221
		
223
		storeIntervalle = new SimpleStore(new String[] { "nb_page" },
222
		storeIntervalle = new SimpleStore(new String[] { "nb_page" },
224
				intervallesPages );
223
				intervallesPages );
225
		storeIntervalle.load();
224
		storeIntervalle.load();
226
		selecteurTaillePage.setStore(storeIntervalle);	
225
		selecteurTaillePage.setStore(storeIntervalle);	
227
	}
226
	}
228
	
227
	
229
	
228
	
230
	/**
229
	/**
231
	 * ajoute les différents listeners nécessaires au bon fonctionnement des
230
	 * ajoute les différents listeners nécessaires au bon fonctionnement des
232
	 * éléments de la barre de pagination
231
	 * éléments de la barre de pagination
233
	 */
232
	 */
234
	private void ajouterListeners() {
233
	private void ajouterListeners() {
235
		
234
		
236
		
235
		
237
 
236
 
238
		// boutons suivants et précédents
237
		// boutons suivants et précédents
239
		prevPage.addListener(new ButtonListenerAdapter() {
238
		prevPage.addListener(new ButtonListenerAdapter() {
240
 
239
 
241
			public void onClick(Button button, EventObject e) {
240
			public void onClick(Button button, EventObject e) {
242
 
241
 
243
				// si la page courante n'est pas la première
242
				// si la page courante n'est pas la première
244
				if (pageCourante > 0) {
243
				if (pageCourante > 0) {
245
					// on décrémente la page courante de 1
244
					// on décrémente la page courante de 1
246
					pageCourante--;
245
					pageCourante--;
247
					// on rafraichit l'affichage
246
					// on rafraichit l'affichage
248
					rafraichirNumeroPage();
247
					rafraichirNumeroPage();
249
					// et on notifie le médiateur de l'évenement
248
					// et on notifie le médiateur de l'évenement
250
					listePaginable.changerNumeroPage(pageCourante);
249
					listePaginable.changerNumeroPage(pageCourante);
251
 
250
 
252
				}
251
				}
253
			}
252
			}
254
		});
253
		});
255
 
254
 
256
		suivPage.addListener(new ButtonListenerAdapter() {
255
		suivPage.addListener(new ButtonListenerAdapter() {
257
 
256
 
258
			public void onClick(Button button, EventObject e) {
257
			public void onClick(Button button, EventObject e) {
259
 
258
 
260
				// si la page courante n'est pas la dernière
259
				// si la page courante n'est pas la dernière
261
				if (pageCourante < pageTotale - 1) {
260
				if (pageCourante < pageTotale - 1) {
262
					// on incrémente la page courante de 1
261
					// on incrémente la page courante de 1
263
					pageCourante++;
262
					pageCourante++;
264
					// on rafraichit l'affichage
263
					// on rafraichit l'affichage
265
					rafraichirNumeroPage();
264
					rafraichirNumeroPage();
266
					// et on notifie le médiateur de l'évenement
265
					// et on notifie le médiateur de l'évenement
267
					listePaginable.changerNumeroPage(pageCourante);
266
					listePaginable.changerNumeroPage(pageCourante);
268
 
267
 
269
				}
268
				}
270
			}
269
			}
271
		});
270
		});
272
 
271
 
273
		champPage.addListener(new TextFieldListenerAdapter() {
272
		champPage.addListener(new TextFieldListenerAdapter() {
274
 
273
 
275
			public void onSpecialKey(Field field, EventObject e) {
274
			public void onSpecialKey(Field field, EventObject e) {
276
 
275
 
277
				// on teste si la touche entrée a été pressée
276
				// on teste si la touche entrée a été pressée
278
				if (e.getKey() == EventObject.ENTER) {
277
				if (e.getKey() == EventObject.ENTER) {
279
					int nouvellePage = pageCourante;
278
					int nouvellePage = pageCourante;
280
					// on teste avec parseInt si la valeur entrée est un entier
279
					// on teste avec parseInt si la valeur entrée est un entier
281
					try {
280
					try {
282
						nouvellePage = Integer
281
						nouvellePage = Integer
283
								.parseInt(champPage.getRawValue());
282
								.parseInt(champPage.getRawValue());
284
					}
283
					}
285
					// si ce n'est pas le cas alors on remet le numéro de page
284
					// si ce n'est pas le cas alors on remet le numéro de page
286
					// correct
285
					// correct
287
					catch (NumberFormatException nfe) {
286
					catch (NumberFormatException nfe) {
288
						rafraichirNumeroPage();
287
						rafraichirNumeroPage();
289
						champPage.focus(true);
288
						champPage.focus(true);
290
						return;
289
						return;
291
					}
290
					}
292
 
291
 
293
					// si la conversion reussit on verifie s'il est nécessaire
292
					// si la conversion reussit on verifie s'il est nécessaire
294
					// de changer de page
293
					// de changer de page
295
					// et si la nouvelle est comprise dans l'intervalle des
294
					// et si la nouvelle est comprise dans l'intervalle des
296
					// pages existantes (0..pageTotale)
295
					// pages existantes (0..pageTotale)
297
					if (nouvellePage != pageCourante + 1 && nouvellePage > 0
296
					if (nouvellePage != pageCourante + 1 && nouvellePage > 0
298
							&& nouvellePage <= pageTotale) {
297
							&& nouvellePage <= pageTotale) {
299
						// le cas échéant, on charge la nouvelle page et on
298
						// le cas échéant, on charge la nouvelle page et on
300
						// notifie le médiateur
299
						// notifie le médiateur
301
						changerPageCourante(nouvellePage - 1);
300
						changerPageCourante(nouvellePage - 1);
302
						listePaginable.changerNumeroPage(pageCourante);
301
						listePaginable.changerNumeroPage(pageCourante);
303
 
302
 
304
					} else {
303
					} else {
305
						// sinon on reaffiche l'ancien numero de page sans rien
304
						// sinon on reaffiche l'ancien numero de page sans rien
306
						// changer
305
						// changer
307
						rafraichirNumeroPage();
306
						rafraichirNumeroPage();
308
						champPage.focus(true);
307
						champPage.focus(true);
309
					}
308
					}
310
				}
309
				}
311
			}
310
			}
312
 
311
 
313
			public void onFocus(Field field) {
312
			public void onFocus(Field field) {
314
 
313
 
315
				champPage.focus(true);
314
				champPage.focus(true);
316
			}
315
			}
317
 
316
 
318
		});
317
		});
319
 
318
 
320
		// pour éviter de se compliquer la vie, on filtre tous les charactères
319
		// pour éviter de se compliquer la vie, on filtre tous les charactères
321
		// non numériques
320
		// non numériques
322
		champPage.addKeyPressListener(new EventCallback() {
321
		champPage.addKeyPressListener(new EventCallback() {
323
 
322
 
324
			public void execute(EventObject e) {
323
			public void execute(EventObject e) {
325
 
324
 
326
				// si c'est un numerique
325
				// si c'est un numerique
327
				if (Character.isDigit((char) e.getCharCode())) {
326
				if (Character.isDigit((char) e.getCharCode())) {
328
					// on laisse passer
327
					// on laisse passer
329
					return;
328
					return;
330
				}
329
				}
331
 
330
 
332
				// si c'est la touche entrée ou backspace (valider ou effacer)
331
				// si c'est la touche entrée ou backspace (valider ou effacer)
333
				if (e.getKey() == EventObject.ENTER
332
				if (e.getKey() == EventObject.ENTER
334
						|| e.getKey() == EventObject.BACKSPACE) {
333
						|| e.getKey() == EventObject.BACKSPACE) {
335
					// on laisse passer
334
					// on laisse passer
336
					return;
335
					return;
337
				} else {
336
				} else {
338
					// sinon on remet le numero de page correct et on annule
337
					// sinon on remet le numero de page correct et on annule
339
					// l'évenement
338
					// l'évenement
340
					rafraichirNumeroPage();
339
					rafraichirNumeroPage();
341
					e.stopEvent();
340
					e.stopEvent();
342
				}
341
				}
343
			}
342
			}
344
 
343
 
345
		});
344
		});
346
 
345
 
347
		// listener pour la selection dans la combobox
346
		// listener pour la selection dans la combobox
348
		selecteurTaillePage.addListener(new ComboBoxListenerAdapter() {
347
		selecteurTaillePage.addListener(new ComboBoxListenerAdapter() {
349
 
348
 
350
			public void onSelect(ComboBox comboBox, Record record, int index) {
349
			public void onSelect(ComboBox comboBox, Record record, int index) {
351
 
350
 
352
				String nouvelleTaillePageString = comboBox.getStore()
351
				String nouvelleTaillePageString = comboBox.getStore()
353
						.getRecordAt(index).getAsString("nb_page");
352
						.getRecordAt(index).getAsString("nb_page");
354
				int nouvelleTaillePage = Integer
353
				int nouvelleTaillePage = Integer
355
						.parseInt(nouvelleTaillePageString);
354
						.parseInt(nouvelleTaillePageString);
356
 
355
 
357
				// si la taille de page est différente de l'ancienne
356
				// si la taille de page est différente de l'ancienne
358
				if (nouvelleTaillePage != taillePage) {
357
				if (nouvelleTaillePage != taillePage) {
359
					// on la change
358
					// on la change
360
					changerTaillePage(nouvelleTaillePage);
359
					changerTaillePage(nouvelleTaillePage);
361
				}
360
				}
362
				// et on met la valeur à jour dans la combobox
361
				// et on met la valeur à jour dans la combobox
363
				comboBox.setValue(nouvelleTaillePageString);
362
				comboBox.setValue(nouvelleTaillePageString);
364
			}
363
			}
365
 
364
 
366
		});
365
		});
367
	}
366
	}
368
 
367
 
369
	/**
368
	/**
370
	 * Met à jour les affichage sur les numéros de pages et d'intervalle
369
	 * Met à jour les affichage sur les numéros de pages et d'intervalle
371
	 * d'éléments à partir des variables de classes
370
	 * d'éléments à partir des variables de classes
372
	 */
371
	 */
373
	public void rafraichirNumeroPage() {
372
	public void rafraichirNumeroPage() {
374
		surTotalPage.setText(" sur " + pageTotale);
373
		surTotalPage.setText(" sur " + pageTotale);
375
 
374
 
376
		if (nbElement == 0) {
375
		if (nbElement == 0) {
377
			champPage.setValue("" + (0));
376
			champPage.setValue("" + (0));
378
			// on met simplement à jour l'intervalle qui contient toujours le
377
			// on met simplement à jour l'intervalle qui contient toujours le
379
			// même nombre d'éléments
378
			// même nombre d'éléments
380
			intervalleElements.setText(labelElement + " 0 - 0 sur 0");
379
			intervalleElements.setText(labelElement + " 0 - 0 sur 0");
381
		} else {
380
		} else {
382
			champPage.setValue("" + (pageCourante + 1));
381
			champPage.setValue("" + (pageCourante + 1));
383
 
382
 
384
			// si la page n'est pas la dernière
383
			// si la page n'est pas la dernière
385
			if (pageCourante + 1 != pageTotale) {
384
			if (pageCourante + 1 != pageTotale) {
386
				// sauf pour la dernière page qui contient souvent moins
385
				// sauf pour la dernière page qui contient souvent moins
387
				// d'élements que le nombre d'élements par page
386
				// d'élements que le nombre d'élements par page
388
				intervalleElements.setText(labelElement + " " + pageCourante
387
				intervalleElements.setText(labelElement + " " + pageCourante
389
						* taillePage + " - " + (pageCourante + 1) * taillePage
388
						* taillePage + " - " + (pageCourante + 1) * taillePage
390
						+ " sur " + nbElement);
389
						+ " sur " + nbElement);
391
			} else {
390
			} else {
392
				// on met simplement à jour l'intervalle qui contient toujours
391
				// on met simplement à jour l'intervalle qui contient toujours
393
				// le même nombre d'éléments
392
				// le même nombre d'éléments
394
				intervalleElements.setText(labelElement + " " + pageCourante
393
				intervalleElements.setText(labelElement + " " + pageCourante
395
						* taillePage + " - " + nbElement + " sur " + nbElement);
394
						* taillePage + " - " + nbElement + " sur " + nbElement);
396
			}
395
			}
397
		}
396
		}
398
	}
397
	}
399
 
398
 
400
	/**
399
	/**
401
	 * Met à jour la page en cours
400
	 * Met à jour la page en cours
402
	 * 
401
	 * 
403
	 * @param nouvellePageCourante
402
	 * @param nouvellePageCourante
404
	 *            la nouvelle page en cours
403
	 *            la nouvelle page en cours
405
	 */
404
	 */
406
	public void changerPageCourante(int nouvellePageCourante) {
405
	public void changerPageCourante(int nouvellePageCourante) {
407
		pageCourante = nouvellePageCourante;
406
		pageCourante = nouvellePageCourante;
408
	}
407
	}
409
 
408
 
410
	/**
409
	/**
411
	 * Methode héritée de l'interface rafraichissable
410
	 * Methode héritée de l'interface rafraichissable
412
	 */
411
	 */
413
	public void rafraichir(Object nouvelleDonnees,
412
	public void rafraichir(Object nouvelleDonnees,
414
			boolean repandreRaffraichissement) {
413
			boolean repandreRaffraichissement) {
415
 
414
 
416
		// si on reçoit un tableau de int
415
		// si on reçoit un tableau de int
417
		if (nouvelleDonnees instanceof int[]) {
416
		if (nouvelleDonnees instanceof int[]) {
418
			int[] page = (int[]) nouvelleDonnees;
417
			int[] page = (int[]) nouvelleDonnees;
419
			// le premier élement est le nombre de pages totales
418
			// le premier élement est le nombre de pages totales
420
			pageTotale = page[0];
419
			pageTotale = page[0];
421
			// le second la page en cours
420
			// le second la page en cours
422
			pageCourante = page[1];
421
			pageCourante = page[1];
423
			// le troisième la taille de la page
422
			// le troisième la taille de la page
424
			taillePage = page[2];
423
			taillePage = page[2];
425
			// et le dernier le nombre total d'éléments
424
			// et le dernier le nombre total d'éléments
426
			nbElement = page[3];
425
			nbElement = page[3];
427
 
426
 
428
			// si la page courante dépasse la page totale (cas normalement
427
			// si la page courante dépasse la page totale (cas normalement
429
			// improbable car géré en amont)
428
			// improbable car géré en amont)
430
			// on met le numéro de page à la page courante -1 (car la page
429
			// on met le numéro de page à la page courante -1 (car la page
431
			// courante est comptée à partir
430
			// courante est comptée à partir
432
			// de zéro)
431
			// de zéro)
433
			if (pageCourante >= pageTotale && pageCourante != 0) {
432
			if (pageCourante >= pageTotale && pageCourante != 0) {
434
				pageCourante = pageTotale - 1;
433
				pageCourante = pageTotale - 1;
435
				// le cas échéant on en notifie le médiateur
434
				// le cas échéant on en notifie le médiateur
436
				listePaginable.changerNumeroPage(pageCourante);
435
				listePaginable.changerNumeroPage(pageCourante);
437
			}
436
			}
438
		}
437
		}
439
 
438
 
440
		// enfin on rafraichit les informations affichées à partir des nouvelles
439
		// enfin on rafraichit les informations affichées à partir des nouvelles
441
		// variables de classes mises à jour
440
		// variables de classes mises à jour
442
		rafraichirNumeroPage();
441
		rafraichirNumeroPage();
443
	}
442
	}
444
 
443
 
445
	/**
444
	/**
446
	 * Renvoie les différents intervalles de pages possibles
445
	 * Renvoie les différents intervalles de pages possibles
447
	 * 
446
	 * 
448
	 * @return un tableau de string qui contient les différentes
447
	 * @return un tableau de string qui contient les différentes
449
	 *         taille de pages
448
	 *         taille de pages
450
	 */
449
	 */
451
	public String[] getNbPages() {
450
	public String[] getNbPages() {
452
 
451
 
453
		return pages;
452
		return pages;
454
	}
453
	}
455
 
454
 
456
	/**
455
	/**
457
	 * Envoie au médiateur une demande pour modifier la taille de la page (qui
456
	 * Envoie au médiateur une demande pour modifier la taille de la page (qui
458
	 * va à son tour faire les modifications nécessaires)
457
	 * va à son tour faire les modifications nécessaires)
459
	 * 
458
	 * 
460
	 * @param nouvelleTaillePage
459
	 * @param nouvelleTaillePage
461
	 *            la nouvelle taille de page (élement appartenant au tableau
460
	 *            la nouvelle taille de page (élement appartenant au tableau
462
	 *            renvoyé par getNbPages())
461
	 *            renvoyé par getNbPages())
463
	 */
462
	 */
464
	public void changerTaillePage(int nouvelleTaillePage) {
463
	public void changerTaillePage(int nouvelleTaillePage) {
465
 
464
 
466
		listePaginable.changerTaillePage(nouvelleTaillePage);
465
		listePaginable.changerTaillePage(nouvelleTaillePage);
467
 
466
 
468
	}
467
	}
469
 
468
 
470
	/**
469
	/**
471
	 * Selectionne la valeur correspond à celle passée en paramètre dans la
470
	 * Selectionne la valeur correspond à celle passée en paramètre dans la
472
	 * combobox (si elle existe)
471
	 * combobox (si elle existe)
473
	 * 
472
	 * 
474
	 * @param nouvelleTaillePage
473
	 * @param nouvelleTaillePage
475
	 *            la nouvelle taille de page
474
	 *            la nouvelle taille de page
476
	 */
475
	 */
477
	public void selectionnerTaillePage(int nouvelleTaillePage) {
476
	public void selectionnerTaillePage(int nouvelleTaillePage) {
478
 
477
 
479
		selecteurTaillePage.setValue("" + nouvelleTaillePage);
478
		selecteurTaillePage.setValue("" + nouvelleTaillePage);
480
	}
479
	}
481
 
480
 
482
}
481
}