Servizi REST in Java - progettazione delle risorse e implementazione con servlet

{"id": 2, "nome": "Aula B2", "posti": 45}

{"id": 1, "aula_id": 1, "giorno": "2026-10-19", "ora_inizio": "09:00", "ora_fine": "11:00", "studente": "Rossi"}

package it.unipd.aule.rest;

import com.google.gson.FieldNamingPolicy;
import com.google.gson.Gson;
import com.google.gson.GsonBuilder;
import jakarta.servlet.http.HttpServletResponse;

import java.io.IOException;
import java.util.Map;

/** Piccole utilità comuni alle servlet REST: scrivere JSON e leggere l'identificatore dal path. */
final class Json {
    // aulaId diventa "aula_id", oraInizio "ora_inizio": nel JSON i nomi sono quelli delle colonne
    static final Gson GSON = new GsonBuilder()
            .setFieldNamingPolicy(FieldNamingPolicy.LOWER_CASE_WITH_UNDERSCORES)
            .disableHtmlEscaping()                  // di serie Gson trasforma l'apostrofo e <, >, & in sequenze "uXXXX"
            .create();

    private Json() { }

    static void invia(HttpServletResponse resp, int stato, Object corpo) throws IOException {
        resp.setStatus(stato);
        resp.setContentType("application/json");
        resp.setCharacterEncoding("UTF-8");
        resp.getWriter().write(GSON.toJson(corpo));
    }

    static void errore(HttpServletResponse resp, int stato, String messaggio) throws IOException {
        invia(resp, stato, Map.of("errore", messaggio));
    }

    /** 405 con l'header Allow obbligatorio (RFC 9110, par. 15.5.6). */
    static void nonConsentito(HttpServletResponse resp, String allow) throws IOException {
        resp.setHeader("Allow", allow);
        errore(resp, HttpServletResponse.SC_METHOD_NOT_ALLOWED, "metodo non consentito su questa risorsa");
    }

    /** True se il path è la collezione: nessun path oppure solo "/". */
    static boolean eCollezione(String pathInfo) {
        return pathInfo == null || pathInfo.equals("/");
    }

    /** Estrae l'id da "/12". Lancia NumberFormatException per "/abc" o "/12/altro": la servlet risponde 404. */
    static int id(String pathInfo) {
        return Integer.parseInt(pathInfo.substring(1));
    }
}

package it.unipd.aule.rest;

import it.unipd.aule.dao.AulaDAO;
import it.unipd.aule.model.Aula;
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;

/** Risorse /api/aule (collezione) e /api/aule/{id} (singola aula): solo lettura. */
@WebServlet("/api/aule/*")
public class AuleServlet extends HttpServlet {
    private AulaDAO dao;

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

    @Override
    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException {
        try {
            String path = req.getPathInfo();                     // ciò che segue /api/aule: null, "/" oppure "/3"
            if (Json.eCollezione(path)) {
                Json.invia(resp, HttpServletResponse.SC_OK, dao.tutte());
                return;
            }
            Aula aula = dao.perId(Json.id(path));
            if (aula == null) {
                Json.errore(resp, HttpServletResponse.SC_NOT_FOUND, "aula inesistente");
            } else {
                Json.invia(resp, HttpServletResponse.SC_OK, aula);
            }
        } catch (NumberFormatException e) {
            Json.errore(resp, HttpServletResponse.SC_NOT_FOUND, "risorsa inesistente");
        } catch (SQLException e) {
            log("errore SQL", e);
            Json.errore(resp, HttpServletResponse.SC_INTERNAL_SERVER_ERROR, "errore interno");
        }
    }

    @Override
    protected void doPost(HttpServletRequest req, HttpServletResponse resp) throws IOException {
        Json.nonConsentito(resp, "GET");
    }

    @Override
    protected void doDelete(HttpServletRequest req, HttpServletResponse resp) throws IOException {
        Json.nonConsentito(resp, "GET");
    }
}

package it.unipd.aule.rest;

import com.google.gson.JsonSyntaxException;
import it.unipd.aule.dao.PrenotazioneDAO;
import it.unipd.aule.dao.PrenotazioneException;
import it.unipd.aule.model.Prenotazione;
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;
import java.time.LocalDate;
import java.time.format.DateTimeParseException;

/**
 * API REST delle prenotazioni. Una sola servlet per due tipi di risorsa, scelti dal path:
 *   /api/prenotazioni        collezione: GET (elenco, filtri ?aula= e ?giorno=), POST (crea)
 *   /api/prenotazioni/{id}   singola prenotazione: GET, DELETE
 */
@WebServlet("/api/prenotazioni/*")
public class PrenotazioniServlet extends HttpServlet {
    private PrenotazioneDAO dao;

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

    @Override
    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException {
        try {
            String path = req.getPathInfo();
            if (Json.eCollezione(path)) {
                String aula = req.getParameter("aula");
                String giorno = req.getParameter("giorno");
                if (giorno != null) {
                    LocalDate.parse(giorno);                                  // solo per validarlo
                }
                Integer aulaId = aula == null ? null : Integer.valueOf(aula);
                Json.invia(resp, HttpServletResponse.SC_OK, dao.lista(aulaId, giorno));
                return;
            }
            Prenotazione p = dao.perId(Json.id(path));
            if (p == null) {
                Json.errore(resp, HttpServletResponse.SC_NOT_FOUND, "prenotazione inesistente");
            } else {
                Json.invia(resp, HttpServletResponse.SC_OK, p);
            }
        } catch (DateTimeParseException e) {
            Json.errore(resp, HttpServletResponse.SC_BAD_REQUEST, "giorno: formato aaaa-mm-gg");
        } catch (NumberFormatException e) {
            // "/abc" nel path è una risorsa che non esiste; "?aula=abc" è una richiesta malformata
            boolean nelPath = !Json.eCollezione(req.getPathInfo());
            Json.errore(resp, nelPath ? HttpServletResponse.SC_NOT_FOUND : HttpServletResponse.SC_BAD_REQUEST,
                        nelPath ? "risorsa inesistente" : "aula: numero intero");
        } catch (SQLException e) {
            erroreInterno(resp, e);
        }
    }

    @Override
    protected void doPost(HttpServletRequest req, HttpServletResponse resp) throws IOException {
        if (!Json.eCollezione(req.getPathInfo())) {
            Json.nonConsentito(resp, "GET, DELETE");
            return;
        }
        String tipo = req.getContentType();
        if (tipo == null || !tipo.startsWith("application/json")) {
            Json.errore(resp, HttpServletResponse.SC_UNSUPPORTED_MEDIA_TYPE, "serve Content-Type: application/json");
            return;
        }
        req.setCharacterEncoding("UTF-8");
        try {
            Prenotazione p = Json.GSON.fromJson(req.getReader(), Prenotazione.class);
            if (p == null) {
                Json.errore(resp, HttpServletResponse.SC_BAD_REQUEST, "corpo vuoto");
                return;
            }
            p.setId(0);                       // l'id lo assegna il server, qualunque cosa mandi il client
            p.valida();
            dao.crea(p);
            resp.setHeader("Location", req.getContextPath() + "/api/prenotazioni/" + p.getId());
            Json.invia(resp, HttpServletResponse.SC_CREATED, p);
        } catch (JsonSyntaxException e) {
            Json.errore(resp, HttpServletResponse.SC_BAD_REQUEST, "il corpo non è un JSON valido");
        } catch (IllegalArgumentException e) {
            Json.errore(resp, HttpServletResponse.SC_BAD_REQUEST, e.getMessage());          // dal metodo valida()
        } catch (PrenotazioneException e) {
            int stato = e.getTipo() == PrenotazioneException.Tipo.SOVRAPPOSIZIONE ? HttpServletResponse.SC_CONFLICT : 422;
            Json.errore(resp, stato, e.getMessage());
        } catch (SQLException e) {
            erroreInterno(resp, e);
        }
    }

    @Override
    protected void doDelete(HttpServletRequest req, HttpServletResponse resp) throws IOException {
        if (Json.eCollezione(req.getPathInfo())) {
            Json.nonConsentito(resp, "GET, POST");
            return;
        }
        try {
            if (dao.elimina(Json.id(req.getPathInfo()))) {
                resp.setStatus(HttpServletResponse.SC_NO_CONTENT);            // successo senza corpo
            } else {
                Json.errore(resp, HttpServletResponse.SC_NOT_FOUND, "prenotazione inesistente");
            }
        } catch (NumberFormatException e) {
            Json.errore(resp, HttpServletResponse.SC_NOT_FOUND, "risorsa inesistente");
        } catch (SQLException e) {
            erroreInterno(resp, e);
        }
    }

    private void erroreInterno(HttpServletResponse resp, SQLException e) throws IOException {
        log("errore SQL", e);                                                  // il dettaglio resta nel log del server
        Json.errore(resp, HttpServletResponse.SC_INTERNAL_SERVER_ERROR, "errore interno");
    }
}

GET /api/prenotazioni?aula=1&giorno=2026-10-19 HTTP/1.1
Host: localhost:8080
Accept: application/json

HTTP/1.1 200
Content-Type: application/json;charset=UTF-8
Content-Length: 207

[{"id":1,"aula_id":1,"giorno":"2026-10-19","ora_inizio":"09:00","ora_fine":"11:00","studente":"Rossi"},{"id":2,"aula_id":1,"giorno":"2026-10-19","ora_inizio":"14:00","ora_fine":"16:00","studente":"Bianchi"}]

POST /api/prenotazioni HTTP/1.1
Host: localhost:8080
Content-Type: application/json
Content-Length: 93

{"aula_id":1,"giorno":"2026-10-19","ora_inizio":"11:00","ora_fine":"12:30","studente":"Neri"}

HTTP/1.1 201
Location: /api/prenotazioni/5
Content-Type: application/json;charset=UTF-8
Content-Length: 100

{"id":5,"aula_id":1,"giorno":"2026-10-19","ora_inizio":"11:00","ora_fine":"12:30","studente":"Neri"}

POST /api/prenotazioni HTTP/1.1
Content-Type: application/json

{"aula_id":1,"giorno":"2026-10-19","ora_inizio":"10:00","ora_fine":"12:00","studente":"Neri"}

HTTP/1.1 409
Content-Type: application/json;charset=UTF-8

{"errore":"l'aula è già prenotata in quell'orario"}

$ curl -i "http://localhost:8080/api/prenotazioni?giorno=2026-10-19"
$ curl -i -X POST http://localhost:8080/api/prenotazioni \
       -H "Content-Type: application/json" \
       -d '{"aula_id":1,"giorno":"2026-10-19","ora_inizio":"11:00","ora_fine":"12:30","studente":"Neri"}'
$ curl -i -X DELETE http://localhost:8080/api/prenotazioni/5