CarrelloDAOImpl.java

package com.popx.persistenza;

import com.popx.modello.CarrelloBean;
import com.popx.modello.ProdottoCarrelloBean;
import javax.sql.DataSource;
import java.sql.*;
import java.util.*;

public class CarrelloDAOImpl implements CarrelloDAO {
    private DataSource ds;

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

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


    /*@ public normal_behavior
      @   requires carrello != null
      @        && carrello.getClienteEmail() != null && !carrello.getClienteEmail().isEmpty()
      @        && carrello.getProdottiCarrello() != null
      @        && (\forall int i; 0 <= i && i < carrello.getProdottiCarrello().size();
      @              carrello.getProdottiCarrello().get(i) != null
      @           && carrello.getProdottiCarrello().get(i).getProdottoId() != null
      @           && !carrello.getProdottiCarrello().get(i).getProdottoId().isEmpty()
      @           && carrello.getProdottiCarrello().get(i).getQuantity() >= 0
      @           && carrello.getProdottiCarrello().get(i).getUnitaryCost() >= 0);
      @   assignable \everything;
      @   ensures available;
      @*/
    @Override
    public void salvaCarrello(CarrelloBean carrello) {
        String upsertCart =
                "INSERT INTO Carrello (cliente_email) VALUES (?) " +
                        "ON DUPLICATE KEY UPDATE id = LAST_INSERT_ID(id)";

        String insertProdottoCarrello =
                "INSERT INTO ProdottoCarrello (carrello_id, prodotto_id, quantity, unitary_cost) " +
                        "VALUES (?, ?, ?, ?) " +
                        "ON DUPLICATE KEY UPDATE quantity = VALUES(quantity), unitary_cost = VALUES(unitary_cost)";

        try (Connection connection = ds.getConnection()) {
            connection.setAutoCommit(false);

            int carrelloId;

            // 1) Inserisci (o recupera) il carrello e ottieni l'id
            try (PreparedStatement psCart = connection.prepareStatement(upsertCart, Statement.RETURN_GENERATED_KEYS)) {
                psCart.setString(1, carrello.getClienteEmail());
                psCart.executeUpdate();

                try (ResultSet keys = psCart.getGeneratedKeys()) {
                    if (keys.next()) {
                        carrelloId = keys.getInt(1);
                    } else {
                        throw new SQLException("Impossibile ottenere l'ID del carrello.");
                    }
                }
            }

            // 2) Inserisci/aggiorna prodotti del carrello (batch)
            try (PreparedStatement psProd = connection.prepareStatement(insertProdottoCarrello)) {
                for (ProdottoCarrelloBean prodotto : carrello.getProdottiCarrello()) {
                    psProd.setInt(1, carrelloId);
                    psProd.setString(2, prodotto.getProdottoId());
                    psProd.setInt(3, prodotto.getQuantity());
                    psProd.setFloat(4, prodotto.getUnitaryCost());
                    psProd.addBatch();
                }
                psProd.executeBatch();
            }

            connection.commit();

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


    @Override
    /*@ public normal_behavior
      @   requires email != null && !email.isEmpty();
      @   assignable \everything;
      @   ensures \result != null
      @        && \result.getClienteEmail().equals(email)
      @        && \result.getProdottiCarrello() != null
      @        && (\forall int i; 0 <= i && i < \result.getProdottiCarrello().size();
      @              \result.getProdottiCarrello().get(i) != null
      @           && \result.getProdottiCarrello().get(i).getProdottoId() != null
      @           && !\result.getProdottiCarrello().get(i).getProdottoId().isEmpty()
      @           && \result.getProdottiCarrello().get(i).getQuantity() >= 0
      @           && \result.getProdottiCarrello().get(i).getUnitaryCost() >= 0);
      @*/
    public CarrelloBean ottieniCarrelloPerEmail(String email) {
        String queryCarrello = "SELECT * FROM Carrello WHERE cliente_email = ?";
        String queryProdotti = "SELECT * FROM ProdottoCarrello WHERE carrello_id = ?";

        CarrelloBean carrello = null;
        List<ProdottoCarrelloBean> prodottiCarrello = new ArrayList<>();

        try (Connection connection = ds.getConnection()) {
            // Recupera il carrello
            try (PreparedStatement psCarrello = connection.prepareStatement(queryCarrello)) {
                psCarrello.setString(1, email);
                ResultSet rsCarrello = psCarrello.executeQuery();

                if (rsCarrello.next()) {
                    // Recupera l'ID del carrello
                    int carrelloId = rsCarrello.getInt("id");

                    // Recupera i prodotti associati al carrello
                    try (PreparedStatement psProdotti = connection.prepareStatement(queryProdotti)) {
                        psProdotti.setInt(1, carrelloId);
                        ResultSet rsProdotti = psProdotti.executeQuery();

                        while (rsProdotti.next()) {
                            ProdottoCarrelloBean prodotto = new ProdottoCarrelloBean(
                                    email,
                                    rsProdotti.getString("prodotto_id"),
                                    rsProdotti.getInt("quantity"),
                                    rsProdotti.getFloat("unitary_cost")
                            );
                            prodottiCarrello.add(prodotto);
                        }
                    }

                    // Crea il carrello
                    carrello = new CarrelloBean(email, prodottiCarrello);
                }
            }
        } catch (SQLException e) {
            e.printStackTrace();
        }

        return carrello != null ? carrello : new CarrelloBean(email, prodottiCarrello);
    }

    @Override
    /*@ public normal_behavior
      @   requires email != null && !email.isEmpty();
      @   assignable \everything;
      @   ensures available;
      @*/
    public void clearCartByUserEmail(String email) {
        String queryProdottoCarrello = "DELETE FROM ProdottoCarrello WHERE carrello_id = (SELECT id FROM Carrello WHERE cliente_email = ?)";
        String queryCarrello = "DELETE FROM Carrello WHERE cliente_email = ?";
        Connection connection = null;

        try {
            connection = ds.getConnection();

            // Avvia una transazione
            connection.setAutoCommit(false);

            try (PreparedStatement psProdottoCarrello = connection.prepareStatement(queryProdottoCarrello)) {
                psProdottoCarrello.setString(1, email);
                psProdottoCarrello.executeUpdate();
            }

            try (PreparedStatement psCarrello = connection.prepareStatement(queryCarrello)) {
                psCarrello.setString(1, email);
                psCarrello.executeUpdate();
            }

            // Conferma la transazione
            connection.commit();

        } catch (SQLException e) {
            e.printStackTrace();
            try {
                // In caso di errore, esegui il rollback
                if (connection != null) {
                    connection.rollback();
                }
            } catch (SQLException rollbackEx) {
                rollbackEx.printStackTrace();
            }
        } finally {
            try {
                // Ripristina l'auto-commit
                if (connection != null) {
                    connection.setAutoCommit(true);
                    connection.close();
                }
            } catch (SQLException ex) {
                ex.printStackTrace();
            }
        }
    }




}























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.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] (1 ms)
com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:clearCartByUserEmail_rimuove_carrello_e_prodotti()] (11 ms)

Report generated by PIT 1.15.2

1		package com.popx.persistenza;
2
3		import com.popx.modello.CarrelloBean;
4		import com.popx.modello.ProdottoCarrelloBean;
5		import javax.sql.DataSource;
6		import java.sql.*;
7		import java.util.*;
8
9		public class CarrelloDAOImpl implements CarrelloDAO {
10		private DataSource ds;
11
12		/*@ public model boolean available;
13		@ public invariant ds != null && available;
14		@ represents available <- ds != null;
15		@*/
16
17		public CarrelloDAOImpl() {
18		this.ds = DataSourceSingleton.getInstance();
19		}
20
21
22		/*@ public normal_behavior
23		@ requires carrello != null
24		@ && carrello.getClienteEmail() != null && !carrello.getClienteEmail().isEmpty()
25		@ && carrello.getProdottiCarrello() != null
26		@ && (\forall int i; 0 <= i && i < carrello.getProdottiCarrello().size();
27		@ carrello.getProdottiCarrello().get(i) != null
28		@ && carrello.getProdottiCarrello().get(i).getProdottoId() != null
29		@ && !carrello.getProdottiCarrello().get(i).getProdottoId().isEmpty()
30		@ && carrello.getProdottiCarrello().get(i).getQuantity() >= 0
31		@ && carrello.getProdottiCarrello().get(i).getUnitaryCost() >= 0);
32		@ assignable \everything;
33		@ ensures available;
34		@*/
35		@Override
36		public void salvaCarrello(CarrelloBean carrello) {
37		String upsertCart =
38		"INSERT INTO Carrello (cliente_email) VALUES (?) " +
39		"ON DUPLICATE KEY UPDATE id = LAST_INSERT_ID(id)";
40
41		String insertProdottoCarrello =
42		"INSERT INTO ProdottoCarrello (carrello_id, prodotto_id, quantity, unitary_cost) " +
43		"VALUES (?, ?, ?, ?) " +
44		"ON DUPLICATE KEY UPDATE quantity = VALUES(quantity), unitary_cost = VALUES(unitary_cost)";
45
46		try (Connection connection = ds.getConnection()) {
47	1 1. salvaCarrello : removed call to java/sql/Connection::setAutoCommit → SURVIVED	connection.setAutoCommit(false);
48
49		int carrelloId;
50
51		// 1) Inserisci (o recupera) il carrello e ottieni l'id
52		try (PreparedStatement psCart = connection.prepareStatement(upsertCart, Statement.RETURN_GENERATED_KEYS)) {
53	1 1. salvaCarrello : removed call to java/sql/PreparedStatement::setString → KILLED	psCart.setString(1, carrello.getClienteEmail());
54		psCart.executeUpdate();
55
56		try (ResultSet keys = psCart.getGeneratedKeys()) {
57	1 1. salvaCarrello : negated conditional → KILLED	if (keys.next()) {
58		carrelloId = keys.getInt(1);
59		} else {
60		throw new SQLException("Impossibile ottenere l'ID del carrello.");
61		}
62		}
63		}
64
65		// 2) Inserisci/aggiorna prodotti del carrello (batch)
66		try (PreparedStatement psProd = connection.prepareStatement(insertProdottoCarrello)) {
67		for (ProdottoCarrelloBean prodotto : carrello.getProdottiCarrello()) {
68		psProd.setInt(1, carrelloId);
69		psProd.setString(2, prodotto.getProdottoId());
70		psProd.setInt(3, prodotto.getQuantity());
71		psProd.setFloat(4, prodotto.getUnitaryCost());
72		psProd.addBatch();
73		}
74		psProd.executeBatch();
75		}
76
77		connection.commit();
78
79		} catch (SQLException e) {
80	1 1. salvaCarrello : removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE	e.printStackTrace();
81		}
82		}
83
84
85		@Override
86		/*@ public normal_behavior
87		@ requires email != null && !email.isEmpty();
88		@ assignable \everything;
89		@ ensures \result != null
90		@ && \result.getClienteEmail().equals(email)
91		@ && \result.getProdottiCarrello() != null
92		@ && (\forall int i; 0 <= i && i < \result.getProdottiCarrello().size();
93		@ \result.getProdottiCarrello().get(i) != null
94		@ && \result.getProdottiCarrello().get(i).getProdottoId() != null
95		@ && !\result.getProdottiCarrello().get(i).getProdottoId().isEmpty()
96		@ && \result.getProdottiCarrello().get(i).getQuantity() >= 0
97		@ && \result.getProdottiCarrello().get(i).getUnitaryCost() >= 0);
98		@*/
99		public CarrelloBean ottieniCarrelloPerEmail(String email) {
100		String queryCarrello = "SELECT * FROM Carrello WHERE cliente_email = ?";
101		String queryProdotti = "SELECT * FROM ProdottoCarrello WHERE carrello_id = ?";
102
103		CarrelloBean carrello = null;
104		List<ProdottoCarrelloBean> prodottiCarrello = new ArrayList<>();
105
106		try (Connection connection = ds.getConnection()) {
107		// Recupera il carrello
108		try (PreparedStatement psCarrello = connection.prepareStatement(queryCarrello)) {
109	1 1. ottieniCarrelloPerEmail : removed call to java/sql/PreparedStatement::setString → KILLED	psCarrello.setString(1, email);
110		ResultSet rsCarrello = psCarrello.executeQuery();
111
112	1 1. ottieniCarrelloPerEmail : negated conditional → KILLED	if (rsCarrello.next()) {
113		// Recupera l'ID del carrello
114		int carrelloId = rsCarrello.getInt("id");
115
116		// Recupera i prodotti associati al carrello
117		try (PreparedStatement psProdotti = connection.prepareStatement(queryProdotti)) {
118	1 1. ottieniCarrelloPerEmail : removed call to java/sql/PreparedStatement::setInt → KILLED	psProdotti.setInt(1, carrelloId);
119		ResultSet rsProdotti = psProdotti.executeQuery();
120
121	1 1. ottieniCarrelloPerEmail : negated conditional → KILLED	while (rsProdotti.next()) {
122		ProdottoCarrelloBean prodotto = new ProdottoCarrelloBean(
123		email,
124		rsProdotti.getString("prodotto_id"),
125		rsProdotti.getInt("quantity"),
126		rsProdotti.getFloat("unitary_cost")
127		);
128		prodottiCarrello.add(prodotto);
129		}
130		}
131
132		// Crea il carrello
133		carrello = new CarrelloBean(email, prodottiCarrello);
134		}
135		}
136		} catch (SQLException e) {
137	1 1. ottieniCarrelloPerEmail : removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE	e.printStackTrace();
138		}
139
140	2 1. ottieniCarrelloPerEmail : replaced return value with null for com/popx/persistenza/CarrelloDAOImpl::ottieniCarrelloPerEmail → KILLED 2. ottieniCarrelloPerEmail : negated conditional → KILLED	return carrello != null ? carrello : new CarrelloBean(email, prodottiCarrello);
141		}
142
143		@Override
144		/*@ public normal_behavior
145		@ requires email != null && !email.isEmpty();
146		@ assignable \everything;
147		@ ensures available;
148		@*/
149		public void clearCartByUserEmail(String email) {
150		String queryProdottoCarrello = "DELETE FROM ProdottoCarrello WHERE carrello_id = (SELECT id FROM Carrello WHERE cliente_email = ?)";
151		String queryCarrello = "DELETE FROM Carrello WHERE cliente_email = ?";
152		Connection connection = null;
153
154		try {
155		connection = ds.getConnection();
156
157		// Avvia una transazione
158	1 1. clearCartByUserEmail : removed call to java/sql/Connection::setAutoCommit → SURVIVED	connection.setAutoCommit(false);
159
160		try (PreparedStatement psProdottoCarrello = connection.prepareStatement(queryProdottoCarrello)) {
161	1 1. clearCartByUserEmail : removed call to java/sql/PreparedStatement::setString → KILLED	psProdottoCarrello.setString(1, email);
162		psProdottoCarrello.executeUpdate();
163		}
164
165		try (PreparedStatement psCarrello = connection.prepareStatement(queryCarrello)) {
166		psCarrello.setString(1, email);
167		psCarrello.executeUpdate();
168		}
169
170		// Conferma la transazione
171	1 1. clearCartByUserEmail : removed call to java/sql/Connection::commit → SURVIVED	connection.commit();
172
173		} catch (SQLException e) {
174	1 1. clearCartByUserEmail : removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE	e.printStackTrace();
175		try {
176		// In caso di errore, esegui il rollback
177	1 1. clearCartByUserEmail : negated conditional → NO_COVERAGE	if (connection != null) {
178	1 1. clearCartByUserEmail : removed call to java/sql/Connection::rollback → NO_COVERAGE	connection.rollback();
179		}
180		} catch (SQLException rollbackEx) {
181	1 1. clearCartByUserEmail : removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE	rollbackEx.printStackTrace();
182		}
183		} finally {
184		try {
185		// Ripristina l'auto-commit
186	1 1. clearCartByUserEmail : negated conditional → SURVIVED	if (connection != null) {
187	1 1. clearCartByUserEmail : removed call to java/sql/Connection::setAutoCommit → SURVIVED	connection.setAutoCommit(true);
188	1 1. clearCartByUserEmail : removed call to java/sql/Connection::close → SURVIVED	connection.close();
189		}
190		} catch (SQLException ex) {
191	1 1. clearCartByUserEmail : removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE	ex.printStackTrace();
192		}
193		}
194		}
195
196
197
198
199		}
		Mutations
47		1.1 Location : salvaCarrello Killed by : none removed call to java/sql/Connection::setAutoCommit → SURVIVED
53		1.1 Location : salvaCarrello Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] removed call to java/sql/PreparedStatement::setString → KILLED
57		1.1 Location : salvaCarrello Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] negated conditional → KILLED
80		1.1 Location : salvaCarrello Killed by : none removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE
109		1.1 Location : ottieniCarrelloPerEmail Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] removed call to java/sql/PreparedStatement::setString → KILLED
112		1.1 Location : ottieniCarrelloPerEmail Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] negated conditional → KILLED
118		1.1 Location : ottieniCarrelloPerEmail Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] removed call to java/sql/PreparedStatement::setInt → KILLED
121		1.1 Location : ottieniCarrelloPerEmail Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] negated conditional → KILLED
137		1.1 Location : ottieniCarrelloPerEmail Killed by : none removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE
140		1.1 Location : ottieniCarrelloPerEmail Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:salvaCarrello_e_ottieniCarrelloPerEmail_funzionano()] replaced return value with null for com/popx/persistenza/CarrelloDAOImpl::ottieniCarrelloPerEmail → KILLED 2.2 Location : ottieniCarrelloPerEmail Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:clearCartByUserEmail_rimuove_carrello_e_prodotti()] negated conditional → KILLED
158		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/Connection::setAutoCommit → SURVIVED
161		1.1 Location : clearCartByUserEmail Killed by : com.popx.integration.persistenza.CarrelloDAOImplTest.[engine:junit-jupiter]/[class:com.popx.integration.persistenza.CarrelloDAOImplTest]/[method:clearCartByUserEmail_rimuove_carrello_e_prodotti()] removed call to java/sql/PreparedStatement::setString → KILLED
171		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/Connection::commit → SURVIVED
174		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE
177		1.1 Location : clearCartByUserEmail Killed by : none negated conditional → NO_COVERAGE
178		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/Connection::rollback → NO_COVERAGE
181		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE
186		1.1 Location : clearCartByUserEmail Killed by : none negated conditional → SURVIVED
187		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/Connection::setAutoCommit → SURVIVED
188		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/Connection::close → SURVIVED
191		1.1 Location : clearCartByUserEmail Killed by : none removed call to java/sql/SQLException::printStackTrace → NO_COVERAGE

CarrelloDAOImpl.java

Mutations

Active mutators

Tests examined