]> matita.cs.unibo.it Git - logicplayer.git/blob - public_html/prova.js
Printing of dates improved.
[logicplayer.git] / public_html / prova.js
1 function update(event)
2 {
3         var str;
4         if (event==null)
5                 str='all';
6     else{
7                 var object=event.target;
8                 str=object.getAttribute("esercizio");
9         }
10         var query="./serverRequest.php";
11         var request=new Object();
12         request.name=str;
13         var sendstr=JSON.stringify(request);
14         $.ajax({
15                 url:query,
16                 type:"POST",
17                 async: "true",
18                 dataType: "json",
19                 data:sendstr,
20                 contentType: "application/json; charset=utf-8",
21                 success:function(val)
22                 {
23                         $("#tabella").empty();
24                         $("#tabella").append("<tr><th>Nome Esercizio</th><th>Studente</th><th>voto</th><th>ora</th>");
25                         $.each(val.esercizi, function(i, item) {
26                                 var id="es"+i;
27                                 if(item.risultati[0].id!=null)
28                                 {
29                                         for(j=0;j<item.risultati.length;j++)
30                                         {
31                                                 var id_i=id+j;
32                                                 var tmpel='<input class="elimina" type="submit" risultato='+item.risultati[j].id+' value="elimina">';
33                                                 var date= new Date(item.risultati[j].time*1000/1000);
34                                                 var options = new Object();
35                                                 options.hour12=false;
36                                                 var data_ora=date.toLocaleString('en-us',options);
37                                                 $("#tabella").append($('<tr>').attr('id',id_i));
38                                                 id_i="#"+id_i;
39                                                 $(id_i).append($('<td>').text(item.esercizio));
40                                                 $(id_i).append($('<td>').text(item.risultati[j].utente));
41                                                 $(id_i).append($('<td>').text(item.risultati[j].click));
42                                                 $(id_i).append($('<td>').text(data_ora));
43                                                 $(id_i).append($('<td>').append(tmpel));
44                                         }
45                                 }
46                         });
47                         $(".elimina").click(function(event){elimina(event);});
48                 },
49         });
50 }
51
52 function updateUsr(event)
53 {
54         var str;
55         if (event==null)
56                 str='all';
57     else{
58                 var object=event.target;
59                 str=object.getAttribute("utente");
60         }
61         var query="./esForUsr.php";
62         var request=new Object();
63         request.name=str;
64         var sendstr=JSON.stringify(request);
65         $.ajax({
66                 url:query,
67                 type:"POST",
68                 async: "true",
69                 dataType: "json",
70                 data:sendstr,
71                 contentType: "application/json; charset=utf-8",
72                 success:function(val)
73                 {
74                         $("#tab").empty();
75                         $("#tab").append("<tr><th>Studente</th><th>Nome Esercizio</th><th>voto</th><th>ora</th>");
76                         $.each(val.esercizi, function(i, item) {
77                                 var id="ut"+i;
78                                 if(item.risultati[0].id!=null)
79                                 {
80                                         for(j=0;j<item.risultati.length;j++)
81                                         {
82                                                 var id_i=id+j;
83                                                 var tmpel='<input class="elimina" type="submit" risultato='+item.risultati[j].id+' value="elimina">';
84                                                 var date= new Date(item.risultati[j].time*1000/1000);
85                                                 var options = new Object();
86                                                 options.hour12=false;
87                                                 var data_ora=date.toLocaleString('en-us',options);
88                                                 $("#tab").append($('<tr>').attr('id',id_i));
89                                                 id_i="#"+id_i;
90                                                 $(id_i).append($('<td>').text(item.risultati[j].utente));
91                                                 $(id_i).append($('<td>').text(item.esercizio));
92                                                 $(id_i).append($('<td>').text(item.risultati[j].click));
93                                                 $(id_i).append($('<td>').text(data_ora));
94                                                 $(id_i).append($('<td>').append(tmpel));
95                                         }
96                                 }
97                         });
98                         $(".elimina").click(function(event){elimina(event);});
99                 },
100         });
101 }
102
103 function esList()
104 {
105         var query="./xmlPharse.php";
106         $.ajax({
107                 url:query,
108                 type:"GET",
109                 async: "true",
110                 dataType: "json",
111                 accepts: {json:"application/json"},
112                 success:function(val)
113                 {
114                         var ok=0;
115                         $("#esTable").empty();
116                         $("#esTable").append("<tr><th>Nome Esercizio</th>");
117                         $.each(val.esercizi, function(i, item) {
118                                 if(item!=null)
119                                 {
120                                         ok=1;
121                                         var id="ex"+i;
122                                         var tmpel='<input class="elimina" type="submit" esercizio='+item+' risultato="0" value="elimina">';
123                                         var tmpsel='<input class="seleziona" type="submit" esercizio='+item+' risultato="0" value="seleziona">';
124                                         $("#esTable").append($('<tr>').attr('id',id));
125                                         $("#ex"+i).append($('<td>').text(item));
126                                         $("#ex"+i).append($('<td></td>').append(tmpsel));
127                                         $("#ex"+i).append($('<td></td>').append(tmpel));
128                                 }
129                         });
130                         if(ok==1)       
131                                 $("#esTable").append('<button type="button" esercizio="all" class="seleziona">seleziona tutti</button>');
132                         $(".seleziona").click(function(event){update(event);});
133                         $(".elimina").click(function(event){elimina(event);});
134                 },
135         });
136 }
137
138 function usrList()
139 {
140         var query="./utenti.php";
141         $.ajax({
142                 url:query,
143                 type:"GET",
144                 async: "true",
145                 dataType: "json",
146                 accepts: {json:"application/json"},
147                 success:function(val)
148                 {
149                         var ok=0;
150                         $("#esTa").empty();
151                         $("#esTa").append("<tr><th>Nome Studente</th>");
152                         $.each(val.utenti, function(i, item) {
153                                 if(item!=null)
154                                 {
155                                         ok=1;
156                                         var id="ut"+i;
157                                         var tmpel='<input class="elimina" type="submit" utente='+item+' risultato="-1" value="elimina">';
158                                         var tmpsel='<input class="selezionaUT" type="submit" utente='+item+' risultato="-1" value="seleziona">';
159                                         $("#esTa").append($('<tr>').attr('id',id));
160                                         $("#ut"+i).append($('<td>').text(item));
161                                         $("#ut"+i).append($('<td></td>').append(tmpsel));
162                                         $("#ut"+i).append($('<td></td>').append(tmpel));
163                                 }
164                         });
165                         if(ok==1)       
166                                 $("#esTa").append('<button type="button" utente="all" class="selezionaUT">seleziona tutti</button>');
167                         $(".selezionaUT").click(function(event){updateUsr(event);});
168                         $(".elimina").click(function(event){elimina(event);});
169                 },
170         });
171 }
172
173 function elimina(event)
174 {
175         var object=event.target;
176         var query="./elimina_esercizio.php";
177         var request=new Object();
178         request.id=object.getAttribute("risultato");
179         if(request.id==0)
180                 request.esercizio=object.getAttribute("esercizio");
181         else if(request.id<0)
182                 request.utente=object.getAttribute("utente");
183         var sendstr=JSON.stringify(request);
184         $.ajax({
185                 url:query,
186                 type:"POST",
187                 async: "true",
188                 dataType: "json",
189                 data:sendstr,
190                 contentType: "application/json; charset=utf-8",
191                 success:function(val)
192                 {
193                                 esList();
194                                 update();
195                                 usrList();
196                                 updateUsr();
197                 }
198         });
199 }
200
201 $(document).ready(function(){
202                 esList();
203                 usrList();
204                 update();
205                 updateUsr();
206                 $(".seleziona").click(function(event){update(event);});
207 });