From 48f234bdddcce6bd98e41faabd80f1a2a16ec9f3 Mon Sep 17 00:00:00 2001 From: Florent Madelaine Date: Fri, 15 Oct 2021 17:04:14 +0200 Subject: [PATCH] changed Date to LocalDate in API for Reservation and ReservationFactory --- .../projetIHM2021FI2/API/Reservation.java | 13 ++++++++-- .../API/ReservationFactory.java | 24 ++++++++++--------- 2 files changed, 24 insertions(+), 13 deletions(-) diff --git a/src/fr/iutfbleau/projetIHM2021FI2/API/Reservation.java b/src/fr/iutfbleau/projetIHM2021FI2/API/Reservation.java index 8866d74..bd02c1b 100644 --- a/src/fr/iutfbleau/projetIHM2021FI2/API/Reservation.java +++ b/src/fr/iutfbleau/projetIHM2021FI2/API/Reservation.java @@ -1,5 +1,5 @@ package fr.iutfbleau.projetIHM2021FI2.API; -import java.util.Date; +import java.time.LocalDate; /** * Une Réservation * @@ -21,7 +21,7 @@ public interface Reservation { * * A priori seule la date est importante, le reste est sans importance. */ - public Date getDateDebut(); + public LocalDate getDateDebut(); /** * permet de récupérer @@ -40,6 +40,15 @@ public interface Reservation { * @return le client */ public Client getClient(); + + /** + * @see MonPrint + * NB. On n'utilise le mécanisme des méthodes par défaut pour donner du code dans une interface. C'est un petit peu laid et à contre-emploi mais pratique ici. + */ + public default String monPrint() { + return String.format("Réservation " + getReference() + ": " + getClient().monPrint() + " le " + getDateDebut().toString() + " pour " + getJours() + " nuit(s) " + getChambre().monPrint()); + } + } diff --git a/src/fr/iutfbleau/projetIHM2021FI2/API/ReservationFactory.java b/src/fr/iutfbleau/projetIHM2021FI2/API/ReservationFactory.java index 5cd0ff7..cc23add 100644 --- a/src/fr/iutfbleau/projetIHM2021FI2/API/ReservationFactory.java +++ b/src/fr/iutfbleau/projetIHM2021FI2/API/ReservationFactory.java @@ -1,5 +1,7 @@ package fr.iutfbleau.projetIHM2021FI2.API; +import java.time.LocalDate; import java.util.*; + /** * Cette interface est une usine abstraite. * @@ -69,7 +71,7 @@ public interface ReservationFactory{ * * Ne devrait pas retourner un objet null, par contre peut être un ensemble qui est vide. */ - public Set getReservation(Date d); + public Set getReservation(LocalDate d); /** * Cherche le nombre de chambres disponibles pour une date (réservées ou non). @@ -79,7 +81,7 @@ public interface ReservationFactory{ * * Ne devrait pas retourner un entier négatif. */ - public int getDisponibles(Date d); + public int getDisponibles(LocalDate d); /** * Cherche les réservations @@ -90,7 +92,7 @@ public interface ReservationFactory{ * * Ne devrait pas retourner un objet null, par contre peut être un ensemble qui est vide. */ - public Set getReservation(Date d, TypeChambre t); + public Set getReservation(LocalDate d, TypeChambre t); /** * Cherche le nombre de chambres disponibles d'un certain type pour une date (réservées ou non). @@ -101,7 +103,7 @@ public interface ReservationFactory{ * * Ne devrait pas retourner un entier négatif. */ - public int getDisponibles(Date d, TypeChambre t); + public int getDisponibles(LocalDate d, TypeChambre t); /** * Cherche la proportion de chambres disponibles pour une date (réservées sur réservables). @@ -109,7 +111,7 @@ public interface ReservationFactory{ * @return un entier entre 0 et 100 * @throws NullPointerException si un argument est null */ - public int getRatio(Date d); + public int getRatio(LocalDate d); /** * Cherche la proportion de chambres disponibles d'un certain type pour une date (réservées sur réservables). @@ -118,7 +120,7 @@ public interface ReservationFactory{ * @return un entier entre 0 et 100 * @throws NullPointerException si un argument est null */ - public int getRatio(Date d, TypeChambre t); + public int getRatio(LocalDate d, TypeChambre t); /** * Cherche le nombre moyen de chambres disponibles entre deux date (réservées ou non), arrondies à l'entier inférieur. @@ -130,7 +132,7 @@ public interface ReservationFactory{ * * Ne devrait pas retourner un entier négatif. */ - public int getDisponibles(Date d1, Date d2); + public int getDisponibles(LocalDate d1, LocalDate d2); /** * Cherche les réservations @@ -143,7 +145,7 @@ public interface ReservationFactory{ * * Ne devrait pas retourner un objet null, par contre peut être un ensemble qui est vide. */ - public Set getReservation(Date d1, Date d2, TypeChambre t); + public Set getReservation(LocalDate d1, LocalDate d2, TypeChambre t); /** * Cherche le nombre moyen de chambres disponibles d'un certain type entre deux date (réservées ou non), arrondies à l'entier inférieur. @@ -156,7 +158,7 @@ public interface ReservationFactory{ * * Ne devrait pas retourner un entier négatif. */ - public int getDisponibles(Date d1, Date d2, TypeChambre t); + public int getDisponibles(LocalDate d1, LocalDate d2, TypeChambre t); /** * Cherche la proportion moyenne de chambres disponibles pour une date (réservées sur réservables). @@ -165,7 +167,7 @@ public interface ReservationFactory{ * @return un entier entre 0 et 100 * @throws NullPointerException si un argument est null */ - public int getRatio(Date d1, Date d2); + public int getRatio(LocalDate d1, LocalDate d2); /** * Cherche la proportion moyenne de chambres disponibles d'un certain type pour une date (réservées sur réservables). @@ -175,6 +177,6 @@ public interface ReservationFactory{ * @return un entier entre 0 et 100 * @throws NullPointerException si un argument est null */ - public int getRatio(Date d1, Date d2, TypeChambre t); + public int getRatio(LocalDate d1, LocalDate d2, TypeChambre t); }