Home.java

package control;

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 java.io.IOException;

import java.sql.SQLException;

@WebServlet("/Home")

public class Home extends HttpServlet {

    @Override

    protected void doGet(HttpServletRequest req, HttpServletResponse resp)

            throws ServletException, IOException {

        MagliettaDAO magliettaDAO = new MagliettaDAO();

        String targetJsp;

        try {

            req.setAttribute(

                    "magliette",

                    magliettaDAO.doRetriveAll(req.getParameter("ordine"))

            );

            targetJsp = "/index.jsp";

        } catch (SQLException e) {

            targetJsp = "/pages/errorpage.jsp";

        }

        try {

            req.getRequestDispatcher(targetJsp).forward(req, resp);

        } catch (ServletException | IOException e) {

            req.getRequestDispatcher("/pages/errorpage.jsp").forward(req, resp);

        }

    }

    @Override

    protected void doPost(HttpServletRequest req, HttpServletResponse resp)

            throws ServletException, IOException {

        doGet(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.HomeTest.[engine:junit-jupiter]/[class:control.HomeTest]/[method:doGet_forwardIndexThrowsIOException_thenForwardError()] (3 ms)
• control.HomeTest.[engine:junit-jupiter]/[class:control.HomeTest]/[method:doGet_ordineValido_dbOk_forwardIndex()] (2 ms)
• control.HomeTest.[engine:junit-jupiter]/[class:control.HomeTest]/[method:doPost_delegaDoGet()] (3 ms)
• control.HomeTest.[engine:junit-jupiter]/[class:control.HomeTest]/[method:doGet_dbOk_forwardIndex()] (3 ms)
• control.HomeTest.[engine:junit-jupiter]/[class:control.HomeTest]/[method:doGet_forwardIndexThrows_thenForwardError()] (4 ms)
• control.HomeTest.[engine:junit-jupiter]/[class:control.HomeTest]/[method:doGet_dbException_forwardError()] (3 ms)