JSP e pattern Model-View-Controller

<p>Numero di aule: ${aule.size()}</p>              <%-- metodo di un oggetto (EL 3) --%>
<td>${a.nome}</td>                                  <%-- proprietà "nome": chiama a.getNome() --%>
<td>${p.aulaId}</td>                                <%-- chiama p.getAulaId() --%>
<p>Giorno richiesto: ${param.giorno}</p>            <%-- parametro della richiesta: req.getParameter("giorno") --%>
<p>Ciao ${sessionScope.studente}</p>                <%-- attributo di sessione --%>
<c:if test="${empty prenotazioni and not empty errore}">...</c:if>
<option ${a.id == bozza.aulaId ? 'selected' : ''}>  <%-- operatore condizionale --%>

<%@ taglib prefix="c" uri="jakarta.tags.core" %>

browser ──GET /prenotazioni?giorno=2026-10-19──> PrenotazioniServlet (controller)
                                                    1. legge e valida i parametri
                                                    2. chiede i dati al model (DAO) ──> database
                                                    3. req.setAttribute("prenotazioni", lista)
                                                    4. req.getRequestDispatcher(".../prenotazioni.jsp").forward(req, resp)
                                                 prenotazioni.jsp (view)
                                                    5. legge gli attributi con EL e scrive l'HTML
browser <──────────────── 200 + HTML ───────────────────┘

package it.unipd.aule.mvc;

import it.unipd.aule.dao.AulaDAO;
import jakarta.servlet.ServletException;
import jakarta.servlet.annotation.WebServlet;
import jakarta.servlet.http.HttpServlet;
import jakarta.servlet.http.HttpServletRequest;
import jakarta.servlet.http.HttpServletResponse;

import java.io.IOException;
import java.sql.SQLException;

/** Controller: legge i dati con il DAO (model) e li passa alla JSP (view). Non scrive HTML. */
@WebServlet("/aule")
public class AuleServlet extends HttpServlet {
    private AulaDAO aulaDAO;

    @Override
    public void init() {
        aulaDAO = (AulaDAO) getServletContext().getAttribute("aulaDAO");
    }

    @Override
    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException {
        try {
            req.setAttribute("aule", aulaDAO.tutte());                                   // model -> view
            req.getRequestDispatcher("/WEB-INF/jsp/aule.jsp").forward(req, resp);        // forward interno al server
        } catch (SQLException e) {
            throw new ServletException(e);
        }
    }
}

<%@ page contentType="text/html;charset=UTF-8" pageEncoding="UTF-8" %>
<%@ taglib prefix="c" uri="jakarta.tags.core" %>
<!DOCTYPE html>
<html lang="it">
<head>
  <meta charset="utf-8">
  <title>Aule</title>
</head>
<body>
  <h1>Aule disponibili</h1>
  <c:choose>
    <c:when test="${empty aule}">
      <p>Nessuna aula in archivio.</p>
    </c:when>
    <c:otherwise>
      <table>
        <thead><tr><th>Nome</th><th>Posti</th></tr></thead>
        <tbody>
          <c:forEach var="a" items="${aule}">
            <tr>
              <td><c:out value="${a.nome}"/></td>
              <td>${a.posti}</td>
            </tr>
          </c:forEach>
        </tbody>
      </table>
      <p>${aule.size()} aule in totale.
         <a href="${pageContext.request.contextPath}/prenotazioni">Vai alle prenotazioni</a></p>
    </c:otherwise>
  </c:choose>
</body>
</html>

package it.unipd.aule.mvc;

import it.unipd.aule.dao.AulaDAO;
import it.unipd.aule.dao.PrenotazioneDAO;
import it.unipd.aule.dao.PrenotazioneException;
import it.unipd.aule.model.Prenotazione;
import jakarta.servlet.ServletException;
import jakarta.servlet.annotation.WebServlet;
import jakarta.servlet.http.HttpServlet;
import jakarta.servlet.http.HttpServletRequest;
import jakarta.servlet.http.HttpServletResponse;
import jakarta.servlet.http.HttpSession;

import java.io.IOException;
import java.sql.SQLException;
import java.time.LocalDate;
import java.time.format.DateTimeParseException;

/** Controller MVC delle prenotazioni: GET mostra la pagina, POST registra e poi fa il redirect. */
@WebServlet("/prenotazioni")
public class PrenotazioniServlet extends HttpServlet {
    private static final String VISTA = "/WEB-INF/jsp/prenotazioni.jsp";

    private AulaDAO aulaDAO;
    private PrenotazioneDAO prenotazioneDAO;

    @Override
    public void init() {
        aulaDAO = (AulaDAO) getServletContext().getAttribute("aulaDAO");
        prenotazioneDAO = (PrenotazioneDAO) getServletContext().getAttribute("prenotazioneDAO");
    }

    @Override
    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException {
        String giorno = req.getParameter("giorno");
        if (giorno == null || giorno.isBlank()) {
            giorno = LocalDate.now().toString();
        }
        try {
            LocalDate.parse(giorno);
        } catch (DateTimeParseException e) {
            resp.sendError(HttpServletResponse.SC_BAD_REQUEST, "giorno non valido");
            return;
        }
        HttpSession sessione = req.getSession();
        Object messaggio = sessione.getAttribute("messaggio");       // "flash": scritto prima del redirect
        if (messaggio != null) {
            req.setAttribute("messaggio", messaggio);
            sessione.removeAttribute("messaggio");                   // si mostra una volta sola
        }
        mostra(req, resp, giorno);
    }

    @Override
    protected void doPost(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException {
        Prenotazione p = new Prenotazione();
        p.setGiorno(req.getParameter("giorno"));
        p.setOraInizio(req.getParameter("ora_inizio"));
        p.setOraFine(req.getParameter("ora_fine"));
        p.setStudente((String) req.getSession().getAttribute("studente"));   // messo dal login, controllato dal filtro
        try {
            p.setAulaId(Integer.parseInt(req.getParameter("aula_id")));
            p.valida();
            prenotazioneDAO.crea(p);
        } catch (IllegalArgumentException | PrenotazioneException e) {      // NumberFormatException è un IllegalArgumentException
            // errore dell'utente: stessa pagina, con il form già compilato e il messaggio; nessun redirect
            req.setAttribute("errore", e instanceof NumberFormatException ? "aula non valida" : e.getMessage());
            req.setAttribute("bozza", p);
            resp.setStatus(e instanceof PrenotazioneException ? HttpServletResponse.SC_CONFLICT : HttpServletResponse.SC_BAD_REQUEST);
            mostra(req, resp, p.getGiorno() != null ? p.getGiorno() : LocalDate.now().toString());
            return;
        } catch (SQLException e) {
            throw new ServletException(e);
        }
        req.getSession().setAttribute("messaggio", "Prenotazione registrata.");
        resp.sendRedirect(req.getContextPath() + "/prenotazioni?giorno=" + p.getGiorno());   // Post/Redirect/Get
    }

    private void mostra(HttpServletRequest req, HttpServletResponse resp, String giorno)
            throws ServletException, IOException {
        try {
            req.setAttribute("giorno", giorno);
            req.setAttribute("aule", aulaDAO.tutte());
            req.setAttribute("prenotazioni", prenotazioneDAO.lista(null, giorno));
        } catch (SQLException e) {
            throw new ServletException(e);
        }
        req.getRequestDispatcher(VISTA).forward(req, resp);
    }
}

<%@ page contentType="text/html;charset=UTF-8" pageEncoding="UTF-8" %>
<%@ taglib prefix="c" uri="jakarta.tags.core" %>
<!DOCTYPE html>
<html lang="it">
<head>
  <meta charset="utf-8">
  <title>Prenotazioni del <c:out value="${giorno}"/></title>
</head>
<body>
  <h1>Prenotazioni del <c:out value="${giorno}"/></h1>

  <c:if test="${not empty messaggio}"><p class="ok"><c:out value="${messaggio}"/></p></c:if>
  <c:if test="${not empty errore}"><p class="errore"><c:out value="${errore}"/></p></c:if>

  <table>
    <thead><tr><th>Aula</th><th>Dalle</th><th>Alle</th><th>Studente</th></tr></thead>
    <tbody>
      <c:forEach var="p" items="${prenotazioni}">
        <tr>
          <td>${p.aulaId}</td><td>${p.oraInizio}</td><td>${p.oraFine}</td>
          <td><c:out value="${p.studente}"/></td>
        </tr>
      </c:forEach>
      <c:if test="${empty prenotazioni}"><tr><td colspan="4">Nessuna prenotazione.</td></tr></c:if>
    </tbody>
  </table>

  <form method="post" action="${pageContext.request.contextPath}/prenotazioni">
    <select name="aula_id">
      <c:forEach var="a" items="${aule}">
        <option value="${a.id}" ${a.id == bozza.aulaId ? 'selected' : ''}><c:out value="${a.nome}"/></option>
      </c:forEach>
    </select>
    <input type="date" name="giorno" value="<c:out value='${giorno}'/>" required>
    <input type="time" name="ora_inizio" value="<c:out value='${bozza.oraInizio}'/>" required>
    <input type="time" name="ora_fine" value="<c:out value='${bozza.oraFine}'/>" required>
    <button>Prenota</button>
  </form>
</body>
</html>

POST /prenotazioni HTTP/1.1
Content-Type: application/x-www-form-urlencoded

aula_id=1&giorno=2026-10-19&ora_inizio=11%3A00&ora_fine=12%3A00

HTTP/1.1 302
Location: /prenotazioni?giorno=2026-10-19

GET /prenotazioni?giorno=2026-10-19 HTTP/1.1