SaveCustom.java

package control;

import model.CarrelloModel;
import model.maglietta.MagliettaBean;
import model.maglietta.MagliettaDAO;

import javax.servlet.ServletException;
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;
import java.sql.SQLException;

@WebServlet("/SaveCustom")
public class SaveCustom extends HttpServlet {
    @Override
    protected void doPost(HttpServletRequest req, HttpServletResponse resp)
            throws ServletException, IOException {

        final String PATH = req.getServletContext().getRealPath("/images/grafiche/");
        final String ERROR_PAGE = "/pages/errorpage.jsp";
        String imgData = req.getParameter("imgData");

        if (imgData == null || imgData.isEmpty()) {
            req.getRequestDispatcher(ERROR_PAGE).forward(req, resp);
            return;
        }

        MagliettaDAO magliettaDAO = new MagliettaDAO();

        try {
            String base64Data = imgData.substring(imgData.indexOf(",") + 1);
            byte[] imageBytes = java.util.Base64.getDecoder().decode(base64Data);

            String nomeFile = magliettaDAO.getMaxID() + "PersonalizzataCustom.png";
            String relativePath = "images/grafiche/" + nomeFile;
            String filePath = PATH + nomeFile;

            java.nio.file.Files.write(
                    java.nio.file.Paths.get(filePath),
                    imageBytes
            );

            MagliettaBean maglietta = new MagliettaBean();
            maglietta.setNome("Custom");
            maglietta.setColore(req.getParameter("colore"));
            maglietta.setTipo("Personalizzata");
            maglietta.setPrezzo(20);
            maglietta.setIVA(3);
            maglietta.setDescrizione("Maglietta custom");
            maglietta.setGrafica(relativePath);

            magliettaDAO.doSave(maglietta);

            HttpSession session = req.getSession();
            CarrelloModel carrello;

            synchronized (session) {
                carrello = (CarrelloModel) session.getAttribute("carrello");
                if (carrello == null) {
                    carrello = new CarrelloModel();
                    session.setAttribute("carrello", carrello);
                }
            }

            int idMaglietta = magliettaDAO.getMaxID() - 1;
            String taglia = req.getParameter("taglia");

            carrello.aggiungi(idMaglietta, taglia);
            resp.sendRedirect("pages/carrello.jsp");

        } catch (SQLException | IOException e) {
            req.getRequestDispatcher(ERROR_PAGE).forward(req, resp);
        }
    }

    @Override
    protected void doGet(HttpServletRequest req, HttpServletResponse resp)
            throws ServletException, IOException {
        doPost(req, resp);
    }
}




















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.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doGet_delegaDoPost()] (5 ms)
control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_carrelloGiaPresente_noSetAttribute_redirect()] (58 ms)
control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] (234 ms)
control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_fileWriteThrows_forwardError()] (4 ms)
control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_doSaveThrows_forwardError()] (5 ms)
control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_imgDataNull_forwardError()] (2 ms)
control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_imgDataEmpty_forwardError()] (2 ms)

Report generated by PIT 1.22.0

1		package control;
2
3		import model.CarrelloModel;
4		import model.maglietta.MagliettaBean;
5		import model.maglietta.MagliettaDAO;
6
7		import javax.servlet.ServletException;
8		import javax.servlet.annotation.WebServlet;
9		import javax.servlet.http.HttpServlet;
10		import javax.servlet.http.HttpServletRequest;
11		import javax.servlet.http.HttpServletResponse;
12		import javax.servlet.http.HttpSession;
13		import java.io.IOException;
14		import java.sql.SQLException;
15
16		@WebServlet("/SaveCustom")
17		public class SaveCustom extends HttpServlet {
18		@Override
19		protected void doPost(HttpServletRequest req, HttpServletResponse resp)
20		throws ServletException, IOException {
21
22		final String PATH = req.getServletContext().getRealPath("/images/grafiche/");
23		final String ERROR_PAGE = "/pages/errorpage.jsp";
24		String imgData = req.getParameter("imgData");
25
26	2 1. doPost : negated conditional → KILLED 2. doPost : negated conditional → KILLED	if (imgData == null \|\| imgData.isEmpty()) {
27	1 1. doPost : removed call to javax/servlet/RequestDispatcher::forward → KILLED	req.getRequestDispatcher(ERROR_PAGE).forward(req, resp);
28		return;
29		}
30
31		MagliettaDAO magliettaDAO = new MagliettaDAO();
32
33		try {
34	1 1. doPost : Replaced integer addition with subtraction → KILLED	String base64Data = imgData.substring(imgData.indexOf(",") + 1);
35		byte[] imageBytes = java.util.Base64.getDecoder().decode(base64Data);
36
37		String nomeFile = magliettaDAO.getMaxID() + "PersonalizzataCustom.png";
38		String relativePath = "images/grafiche/" + nomeFile;
39		String filePath = PATH + nomeFile;
40
41		java.nio.file.Files.write(
42		java.nio.file.Paths.get(filePath),
43		imageBytes
44		);
45
46		MagliettaBean maglietta = new MagliettaBean();
47	1 1. doPost : removed call to model/maglietta/MagliettaBean::setNome → KILLED	maglietta.setNome("Custom");
48	1 1. doPost : removed call to model/maglietta/MagliettaBean::setColore → KILLED	maglietta.setColore(req.getParameter("colore"));
49	1 1. doPost : removed call to model/maglietta/MagliettaBean::setTipo → KILLED	maglietta.setTipo("Personalizzata");
50	1 1. doPost : removed call to model/maglietta/MagliettaBean::setPrezzo → KILLED	maglietta.setPrezzo(20);
51	1 1. doPost : removed call to model/maglietta/MagliettaBean::setIVA → KILLED	maglietta.setIVA(3);
52	1 1. doPost : removed call to model/maglietta/MagliettaBean::setDescrizione → KILLED	maglietta.setDescrizione("Maglietta custom");
53	1 1. doPost : removed call to model/maglietta/MagliettaBean::setGrafica → KILLED	maglietta.setGrafica(relativePath);
54
55	1 1. doPost : removed call to model/maglietta/MagliettaDAO::doSave → KILLED	magliettaDAO.doSave(maglietta);
56
57		HttpSession session = req.getSession();
58		CarrelloModel carrello;
59
60		synchronized (session) {
61		carrello = (CarrelloModel) session.getAttribute("carrello");
62	1 1. doPost : negated conditional → KILLED	if (carrello == null) {
63		carrello = new CarrelloModel();
64	1 1. doPost : removed call to javax/servlet/http/HttpSession::setAttribute → KILLED	session.setAttribute("carrello", carrello);
65		}
66		}
67
68	1 1. doPost : Replaced integer subtraction with addition → KILLED	int idMaglietta = magliettaDAO.getMaxID() - 1;
69		String taglia = req.getParameter("taglia");
70
71	1 1. doPost : removed call to model/CarrelloModel::aggiungi → KILLED	carrello.aggiungi(idMaglietta, taglia);
72	1 1. doPost : removed call to javax/servlet/http/HttpServletResponse::sendRedirect → KILLED	resp.sendRedirect("pages/carrello.jsp");
73
74		} catch (SQLException \| IOException e) {
75	1 1. doPost : removed call to javax/servlet/RequestDispatcher::forward → KILLED	req.getRequestDispatcher(ERROR_PAGE).forward(req, resp);
76		}
77		}
78
79		@Override
80		protected void doGet(HttpServletRequest req, HttpServletResponse resp)
81		throws ServletException, IOException {
82	1 1. doGet : removed call to control/SaveCustom::doPost → KILLED	doPost(req, resp);
83		}
84		}
		Mutations
26		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_imgDataNull_forwardError()] negated conditional → KILLED 2.2 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_imgDataEmpty_forwardError()] negated conditional → KILLED
27		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_imgDataNull_forwardError()] removed call to javax/servlet/RequestDispatcher::forward → KILLED
34		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_fileWriteThrows_forwardError()] Replaced integer addition with subtraction → KILLED
47		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to model/maglietta/MagliettaBean::setNome → KILLED
48		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to model/maglietta/MagliettaBean::setColore → KILLED
49		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to model/maglietta/MagliettaBean::setTipo → KILLED
50		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to model/maglietta/MagliettaBean::setPrezzo → KILLED
51		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to model/maglietta/MagliettaBean::setIVA → KILLED
52		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to model/maglietta/MagliettaBean::setDescrizione → KILLED
53		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to model/maglietta/MagliettaBean::setGrafica → KILLED
55		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_doSaveThrows_forwardError()] removed call to model/maglietta/MagliettaDAO::doSave → KILLED
62		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doGet_delegaDoPost()] negated conditional → KILLED
64		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_creaMaglietta_salva_aggiungeAlCarrello_redirect()] removed call to javax/servlet/http/HttpSession::setAttribute → KILLED
68		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_carrelloGiaPresente_noSetAttribute_redirect()] Replaced integer subtraction with addition → KILLED
71		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_ok_carrelloGiaPresente_noSetAttribute_redirect()] removed call to model/CarrelloModel::aggiungi → KILLED
72		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doGet_delegaDoPost()] removed call to javax/servlet/http/HttpServletResponse::sendRedirect → KILLED
75		1.1 Location : doPost Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doPost_fileWriteThrows_forwardError()] removed call to javax/servlet/RequestDispatcher::forward → KILLED
82		1.1 Location : doGet Killed by : control.SaveCustomTest.[engine:junit-jupiter]/[class:control.SaveCustomTest]/[method:doGet_delegaDoPost()] removed call to control/SaveCustom::doPost → KILLED

SaveCustom.java

Mutations

Active mutators

Tests examined