Tipo.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("/Tipo")

public class Tipo extends HttpServlet {

    @Override

    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException, ServletException {

        MagliettaDAO magliettaDAO = new MagliettaDAO();

        try {

            req.setAttribute("maglietteTipo", magliettaDAO.doRetrieveByTipo(req.getParameter("tipo")));

        } catch (SQLException e) {

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

        }

        req.getRequestDispatcher("magliettaTipo.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.TipoTest.[engine:junit-jupiter]/[class:control.TipoTest]/[method:doGet_dbException_forwardError_thenForwardMagliettaTipo()] (1 ms)
• control.TipoTest.[engine:junit-jupiter]/[class:control.TipoTest]/[method:doPost_delegaDoGet()] (1 ms)
• control.TipoTest.[engine:junit-jupiter]/[class:control.TipoTest]/[method:doGet_forwardMagliettaTipoThrowsIOException_propagates()] (1 ms)
• control.TipoTest.[engine:junit-jupiter]/[class:control.TipoTest]/[method:doGet_tipoValido_dbOk_forwardMagliettaTipo()] (1 ms)
• control.TipoTest.[engine:junit-jupiter]/[class:control.TipoTest]/[method:doGet_forwardMagliettaTipoThrowsServletException_propagates()] (2 ms)