home *** CD-ROM | disk | FTP | other *** search
/ ftp.disi.unige.it / 2015-02-11.ftp.disi.unige.it.tar / ftp.disi.unige.it / pub / .person / CataniaB / teach-act / DB3 / servlet-bean-jsp / QueryDBMS.java < prev    next >
Text File  |  2001-04-02  |  3KB  |  99 lines
  1. import java.io.*;
  2. import java.util.*;
  3. import java.text.*; // per il DateFormat
  4. import java.sql.*;
  5. import javax.servlet.*;
  6. import javax.servlet.http.*;
  7.  
  8. /**
  9.  * Semplice query con modulo DBMS e utilizzo dei bean
  10.  *
  11.  * @author Mirko Manea
  12.  */
  13.  
  14. public class QueryDBMS extends HttpServlet {
  15.  
  16.     public void doGet(HttpServletRequest request,
  17.                       HttpServletResponse response)
  18.         throws IOException, ServletException {
  19.  
  20.         PrintWriter out = response.getWriter();
  21.     String sql;
  22.  
  23.     // formattatore per le date
  24.     DateFormat df = DateFormat.getDateInstance(DateFormat.SHORT, Locale.ITALY);
  25.  
  26.     out.println("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\"");
  27.     out.println("          \"http://www.w3.org/TR/REC-html40/loose.dtd\">");
  28.  
  29.  
  30.         out.println("<html>");
  31.  
  32.         out.println("<head>");
  33.         out.println("<title>Studente</title>");
  34.         out.println("</head>");
  35.  
  36.         out.println("<body>");
  37.         out.println("<h1>Studente</h1>");
  38.  
  39.     String matricola = request.getParameter("matr");
  40.     EsameBean esame;
  41.     Vector listaEsami;
  42.  
  43.     try {
  44.         DBMS dbms = new DBMS();
  45.         StudenteBean studente = new StudenteBean();
  46.  
  47.         studente = dbms.extractStudente(matricola);
  48.         out.println("<p>");
  49.         out.println("<strong>Cognome:</strong> "+studente.getCognome());
  50.         out.println("<br>");
  51.         out.println("<strong>Nome:</strong> "+studente.getNome());
  52.         out.println("<br>");
  53.         out.println("<strong>Facoltà:</strong> "+studente.getFacolta());
  54.         out.println("<br>");
  55.         out.println("<strong>Data di nascita:</strong> "+df.format(studente.getDataNascita()));
  56.         out.println("<br>");
  57.         if (studente.getCreditiOttenuti() == -1) {
  58.             out.println("<strong>Crediti ottenuti:</strong> "+studente.getCreditiOttenuti());
  59.         }
  60.         out.println("</p>");
  61.         out.println("<hr>");
  62.  
  63.         listaEsami = dbms.extractEsamiStudente(studente.getMatricola());
  64.         
  65.         out.println("<h2>Esami sostenuti</h2>");
  66.         
  67.         if (listaEsami.size()!=0) {
  68.             out.println("<table border=\"1\">");
  69.             out.println("<tr>");
  70.             out.print("<td><strong>Corso</strong></td>");
  71.             out.print("<td><strong>Data</strong></td>");
  72.             out.print("<td><strong>Voto</strong></td>");
  73.             out.println("</tr>");
  74.             for (int i=0; i<listaEsami.size(); i++) {
  75.                 esame = (EsameBean)listaEsami.get(i);
  76.                 String colore = ((i%2)==0)?"#F7F7F7":"#E0E0E0";
  77.                 out.println("<tr bgcolor=\""+colore+"\">");
  78.                 out.println("<td>"+esame.getDenominazione()+"</td>");
  79.                 out.println("<td>"+df.format(esame.getData())+"</td>");
  80.                 out.println("<td>"+esame.getVoto()+"</td>");
  81.                 out.println("</tr>");
  82.             }
  83.             out.println("</table>");
  84.         } else {
  85.             out.println("Nessuno.");
  86.         }
  87.         
  88.     } catch (UnknownKeyDBMSException ukde) {
  89.         System.err.println("Matricola "+matricola+" non trovata: "+ukde.getMessage());
  90.     } catch (DBMSException dbmse) {
  91.         System.err.println("Errore verso il database: "+dbmse.getMessage());
  92.     }
  93.  
  94.         out.println("</body>");
  95.         out.println("</html>");
  96.  
  97.     }
  98. }
  99.