Subversion Repositories eFlore/Applications.cel

Rev

Details | Last modification | View Log | RSS feed

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