OrdineDAOImpl.java

package com.popx.persistenza;

import com.popx.modello.OrdineBean;

import javax.sql.DataSource;
import java.sql.*;
import java.util.ArrayList;
import java.util.List;

public class OrdineDAOImpl implements OrdineDAO {

    private DataSource ds;

    /*@ public model boolean available;
      @ public invariant ds != null && available;
      @ represents available <- ds != null;
      @*/

    public OrdineDAOImpl() {
        this.ds = DataSourceSingleton.getInstance();
    }

    @Override
    /*@ public normal_behavior
      @   requires ordine != null
      @        && ordine.getSubtotal() >= 0
      @        && ordine.getCustomerEmail() != null && !ordine.getCustomerEmail().isEmpty()
      @        && ordine.getStatus() != null && !ordine.getStatus().isEmpty()
      @        && ordine.getDataOrdine() != null;
      @   assignable \everything;
      @   ensures \result ==> ordine.getId() > 0;
      @*/
    public boolean insertOrdine(OrdineBean ordine) {
        String query = "INSERT INTO Ordine (subtotal, customer_email, status, data_ordine) VALUES (?, ?, ?, ?)";

        try (Connection con = ds.getConnection();
             PreparedStatement ps = con.prepareStatement(query, PreparedStatement.RETURN_GENERATED_KEYS)) {

            ps.setFloat(1, ordine.getSubtotal());
            ps.setString(2, ordine.getCustomerEmail());
            ps.setString(3, ordine.getStatus());
            ps.setDate(4, new java.sql.Date(ordine.getDataOrdine().getTime()));

            int affectedRows = ps.executeUpdate();

            // Recupera l'ID auto-generato
            ResultSet rs = ps.getGeneratedKeys();
            if (rs.next()) {
                ordine.setId(rs.getInt(1));
            }

            // Restituisce true se sono state modificate righe (quindi l'inserimento è riuscito)
            return affectedRows > 0;

        } catch (SQLException e) {
            e.printStackTrace();
            return false; // Restituisce false in caso di errore
        }
    }


    @Override
    /*@ public normal_behavior
      @   requires id > 0;
      @   assignable \everything;
      @   ensures \result == null || \result.getId() == id;
      @*/
    public OrdineBean getOrdineById(int id) {
        String query = "SELECT * FROM Ordine WHERE id = ?";
        OrdineBean ordine = null;

        try (Connection con = ds.getConnection();
             PreparedStatement ps = con.prepareStatement(query)) {

            ps.setInt(1, id);
            ResultSet rs = ps.executeQuery();

            if (rs.next()) {
                ordine = new OrdineBean();
                ordine.setId(rs.getInt("id"));
                ordine.setSubtotal(rs.getFloat("subtotal"));
                ordine.setCustomerEmail(rs.getString("customer_email"));
                ordine.setStatus(rs.getString("status"));
                ordine.setDataOrdine(rs.getDate("data_ordine"));
            }

        } catch (SQLException e) {
            e.printStackTrace();
        }

        return ordine;
    }

    @Override
    /*@ public normal_behavior
      @   assignable \everything;
      @   ensures \result != null;
      @*/
    public List<OrdineBean> getAllOrdini() {
        String query = "SELECT * FROM Ordine";
        List<OrdineBean> ordini = new ArrayList<>();

        try (Connection con = ds.getConnection();
             PreparedStatement ps = con.prepareStatement(query);
             ResultSet rs = ps.executeQuery()) {

            while (rs.next()) {
                OrdineBean ordine = new OrdineBean();
                ordine.setId(rs.getInt("id"));
                ordine.setSubtotal(rs.getFloat("subtotal"));
                ordine.setCustomerEmail(rs.getString("customer_email"));
                ordine.setStatus(rs.getString("status"));
                ordine.setDataOrdine(rs.getDate("data_ordine"));
                ordini.add(ordine);
            }

        } catch (SQLException e) {
            e.printStackTrace();
        }

        return ordini;
    }

    @Override
    /*@ public normal_behavior
      @   requires clienteEmail != null && !clienteEmail.isEmpty();
      @   assignable \everything;
      @   ensures \result != null
      @        && (\forall int i; 0 <= i && i < \result.size();
      @              \result.get(i) != null
      @           && clienteEmail.equals(\result.get(i).getCustomerEmail()));
      @*/
    public List<OrdineBean> getOrdiniByCliente(String clienteEmail) {
        String query = "SELECT * FROM Ordine WHERE customer_email = ?";
        List<OrdineBean> ordini = new ArrayList<>();

        try (Connection con = ds.getConnection();
             PreparedStatement ps = con.prepareStatement(query)) {

            ps.setString(1, clienteEmail);
            ResultSet rs = ps.executeQuery();

            while (rs.next()) {
                OrdineBean ordine = new OrdineBean();
                ordine.setId(rs.getInt("id"));
                ordine.setSubtotal(rs.getFloat("subtotal"));
                ordine.setCustomerEmail(rs.getString("customer_email"));
                ordine.setStatus(rs.getString("status"));
                ordine.setDataOrdine(rs.getDate("data_ordine"));
                ordini.add(ordine);
            }

        } catch (SQLException e) {
            e.printStackTrace();
        }

        return ordini;
    }

    @Override
    /*@ public normal_behavior
      @   requires email != null && !email.isEmpty();
      @   assignable \everything;
      @   ensures \result >= 0;
      @*/
    public int countOrdiniByCliente(String email) {
        int count = 0;
        try (Connection connection = ds.getConnection()) {
            String query = "SELECT COUNT(*) FROM Ordine WHERE customer_email = ?";
            try (PreparedStatement preparedStatement = connection.prepareStatement(query)) {
                preparedStatement.setString(1, email);
                ResultSet resultSet = preparedStatement.executeQuery();
                if (resultSet.next()) {
                    count = resultSet.getInt(1);
                }
            }
        } catch (SQLException e) {
            e.printStackTrace();
        }
        return count;
    }

    @Override
    /*@ public normal_behavior
      @   requires email != null && !email.isEmpty()
      @        && currentPage >= 1
      @        && itemsPerPage > 0;
      @   assignable \everything;
      @   ensures \result != null && \result.size() <= itemsPerPage;
      @*/
    public List<OrdineBean> getOrdiniByClientePaginati(String email, int currentPage, int itemsPerPage) {
        List<OrdineBean> ordini = new ArrayList<>();
        try (Connection connection = ds.getConnection()) {
            int offset = (currentPage - 1) * itemsPerPage;
            String query = "SELECT id, subtotal, status, data_ordine FROM Ordine WHERE customer_email = ? ORDER BY data_ordine DESC LIMIT ? OFFSET ?";
            try (PreparedStatement preparedStatement = connection.prepareStatement(query)) {
                preparedStatement.setString(1, email);
                preparedStatement.setInt(2, itemsPerPage);
                preparedStatement.setInt(3, offset);
                ResultSet resultSet = preparedStatement.executeQuery();
                while (resultSet.next()) {
                    OrdineBean ordine = new OrdineBean();
                    ordine.setId(resultSet.getInt("id"));
                    ordine.setSubtotal(resultSet.getFloat("subtotal"));
                    ordine.setStatus(resultSet.getString("status"));
                    ordine.setDataOrdine(resultSet.getDate("data_ordine"));
                    ordini.add(ordine);
                }
            }
        } catch (SQLException e) {
            e.printStackTrace();
        }
        return ordini;
    }

    @Override
    /*@ public normal_behavior
      @   requires currentPage >= 1 && recordsPerPage > 0;
      @   assignable \everything;
      @   ensures \result != null && \result.size() <= recordsPerPage;
      @*/
    public List<OrdineBean> getOrdiniPaginati(int currentPage, int recordsPerPage) {
        List<OrdineBean> ordini = new ArrayList<>();
        String query = "SELECT * FROM Ordine LIMIT ? OFFSET ?";

        try (Connection conn = ds.getConnection();
             PreparedStatement pstmt = conn.prepareStatement(query)) {

            pstmt.setInt(1, recordsPerPage);
            pstmt.setInt(2, (currentPage - 1) * recordsPerPage);

            try (ResultSet rs = pstmt.executeQuery()) {
                while (rs.next()) {
                    OrdineBean ordine = new OrdineBean();
                    ordine.setId(rs.getInt("id"));
                    ordine.setSubtotal(rs.getFloat("subtotal"));
                    ordine.setCustomerEmail(rs.getString("customer_email"));
                    ordine.setStatus(rs.getString("status"));
                    ordine.setDataOrdine(rs.getDate("data_ordine"));
                    ordini.add(ordine);
                }
            }
        } catch (SQLException e) {
            e.printStackTrace();
        }

        return ordini;
    }

    @Override
    /*@ public normal_behavior
      @   assignable \everything;
      @   ensures \result >= 0;
      @*/
    public int countTuttiOrdini() {
        int count = 0;
        String query = "SELECT COUNT(*) FROM Ordine";

        try (Connection conn = ds.getConnection();
             Statement stmt = conn.createStatement();
             ResultSet rs = stmt.executeQuery(query)) {

            if (rs.next()) {
                count = rs.getInt(1);
            }
        } catch (SQLException e) {
            e.printStackTrace();
        }

        return count;
    }

    @Override
    /*@ public normal_behavior
      @   requires ordineBean != null
      @        && ordineBean.getId() > 0
      @        && ordineBean.getStatus() != null && !ordineBean.getStatus().isEmpty();
      @   assignable \everything;
      @   ensures \result ==> true;
      @*/
    public boolean updateStatus(OrdineBean ordineBean) {
        String sql = "UPDATE Ordine SET status = ? WHERE id = ?";
        try (Connection conn = ds.getConnection();
             PreparedStatement preparedStatement = conn.prepareStatement(sql)) {

            // Impostazione dei parametri della query
            preparedStatement.setString(1, ordineBean.getStatus());
            preparedStatement.setInt(2, ordineBean.getId());

            // Esecuzione dell'aggiornamento
            int rowsUpdated = preparedStatement.executeUpdate();
            return rowsUpdated > 0; // Restituisce true se almeno una riga è stata aggiornata
        } catch (SQLException e) {
            e.printStackTrace();
            return false; // Gestisce l'errore restituendo false
        }
    }



}






































































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

com.popx.integration.persistenza.OrdineDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.OrdineDAOImplTest]/[method:getOrdineById_existingOrder_returnsOrder()] (1 ms)
com.popx.integration.persistenza.OrdineDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.OrdineDAOImplTest]/[method:updateStatus_updatesCorrectly()] (2 ms)
com.popx.integration.persistenza.OrdineDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.OrdineDAOImplTest]/[method:getAllOrdini_returnsAllInsertedOrders()] (1 ms)
com.popx.integration.persistenza.OrdineDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.OrdineDAOImplTest]/[method:getOrdiniByCliente_returnsOnlyThatClientOrders()] (4 ms)
com.popx.integration.persistenza.OrdineDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.OrdineDAOImplTest]/[method:insertOrdine_persistsAndGeneratesId()] (0 ms)
com.popx.integration.persistenza.OrdineDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.OrdineDAOImplTest]/[method:getOrdineById_notExisting_returnsNull()] (1 ms)

Report generated by PIT 1.15.2

1		package com.popx.persistenza;
2
3		import com.popx.modello.OrdineBean;
4
5		import javax.sql.DataSource;
6		import java.sql.*;
7		import java.util.ArrayList;
8		import java.util.List;
9
10		public class OrdineDAOImpl implements OrdineDAO {
11
12		private DataSource ds;
13
14		/*@ public model boolean available;
15		@ public invariant ds != null && available;
16		@ represents available <- ds != null;
17		@*/
18
19		public OrdineDAOImpl() {
20		this.ds = DataSourceSingleton.getInstance();
21		}
22
23		@Override
24		/*@ public normal_behavior
25		@ requires ordine != null
26		@ && ordine.getSubtotal() >= 0
27		@ && ordine.getCustomerEmail() != null && !ordine.getCustomerEmail().isEmpty()
28		@ && ordine.getStatus() != null && !ordine.getStatus().isEmpty()
29		@ && ordine.getDataOrdine() != null;
30		@ assignable \everything;
31		@ ensures \result ==> ordine.getId() > 0;
32		@*/
33		public boolean insertOrdine(OrdineBean ordine) {
34		String query = "INSERT INTO Ordine (subtotal, customer_email, status, data_ordine) VALUES (?, ?, ?, ?)";
35
36		try (Connection con = ds.getConnection();
37		PreparedStatement ps = con.prepareStatement(query, PreparedStatement.RETURN_GENERATED_KEYS)) {
38
39	1 1. insertOrdine : removed call to java/sql/PreparedStatement::setFloat → KILLED	ps.setFloat(1, ordine.getSubtotal());
40	1 1. insertOrdine : removed call to java/sql/PreparedStatement::setString → KILLED	ps.setString(2, ordine.getCustomerEmail());

OrdineDAOImpl.java

Mutations

Active mutators

Tests examined