RimuoviMaglietta.java

package control.maglietta;

import model.CarrelloModel;

import javax.servlet.annotation.WebServlet;

import javax.servlet.http.HttpServlet;

import javax.servlet.http.HttpServletRequest;

import javax.servlet.http.HttpServletResponse;

import javax.servlet.http.HttpSession;

import java.io.IOException;

@WebServlet("/RimuoviMaglietta")

public class RimuoviMaglietta extends HttpServlet {

    @Override

    protected void doPost(HttpServletRequest req, HttpServletResponse resp)

            throws IOException {

        HttpSession session = req.getSession();

        CarrelloModel carrello;

        synchronized (session) {

            carrello = (CarrelloModel) session.getAttribute("carrello");

        }

        int id;

        try {

            id = Integer.parseInt(req.getParameter("ID"));

        } catch (NumberFormatException e) {

            resp.sendRedirect("pages/errorpage.jsp");

            return;

        }

        String taglia = req.getParameter("taglia");

        carrello.rimuovi(id, taglia);

    }

}

Active mutators

• CONDITIONALS_BOUNDARY
• EMPTY_RETURNS
• FALSE_RETURNS
• INCREMENTS
• INVERT_NEGS
• MATH
• NEGATE_CONDITIONALS
• NULL_RETURNS
• PRIMITIVE_RETURNS
• TRUE_RETURNS
• VOID_METHOD_CALLS

Tests examined

• control.maglietta.RimuoviMagliettaTest.[engine:junit-jupiter]/[class:control.maglietta.RimuoviMagliettaTest]/[method:doPost_idNonNumerico_redirectError()] (1 ms)
• control.maglietta.RimuoviMagliettaTest.[engine:junit-jupiter]/[class:control.maglietta.RimuoviMagliettaTest]/[method:doPost_carrelloPresente_rimuoveMaglietta()] (2 ms)