changed Date to LocalDate in API for Reservation and ReservationFactory

This commit is contained in:
Florent Madelaine 2021-10-15 17:04:14 +02:00
parent 2603b789a3
commit 48f234bddd
2 changed files with 24 additions and 13 deletions

View File

@ -1,5 +1,5 @@
package fr.iutfbleau.projetIHM2021FI2.API; package fr.iutfbleau.projetIHM2021FI2.API;
import java.util.Date; import java.time.LocalDate;
/** /**
* Une Réservation * Une Réservation
* *
@ -21,7 +21,7 @@ public interface Reservation {
* *
* A priori seule la date est importante, le reste est sans importance. * A priori seule la date est importante, le reste est sans importance.
*/ */
public Date getDateDebut(); public LocalDate getDateDebut();
/** /**
* permet de récupérer * permet de récupérer
@ -40,6 +40,15 @@ public interface Reservation {
* @return le client * @return le client
*/ */
public Client getClient(); 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());
}
} }

View File

@ -1,5 +1,7 @@
package fr.iutfbleau.projetIHM2021FI2.API; package fr.iutfbleau.projetIHM2021FI2.API;
import java.time.LocalDate;
import java.util.*; import java.util.*;
/** /**
* Cette interface est une usine abstraite. * 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. * Ne devrait pas retourner un objet null, par contre peut être un ensemble qui est vide.
*/ */
public Set<Reservation> getReservation(Date d); public Set<Reservation> getReservation(LocalDate d);
/** /**
* Cherche le nombre de chambres disponibles pour une date (réservées ou non). * 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. * Ne devrait pas retourner un entier négatif.
*/ */
public int getDisponibles(Date d); public int getDisponibles(LocalDate d);
/** /**
* Cherche les réservations * 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. * Ne devrait pas retourner un objet null, par contre peut être un ensemble qui est vide.
*/ */
public Set<Reservation> getReservation(Date d, TypeChambre t); public Set<Reservation> getReservation(LocalDate d, TypeChambre t);
/** /**
* Cherche le nombre de chambres disponibles d'un certain type pour une date (réservées ou non). * 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. * 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). * 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 * @return un entier entre 0 et 100
* @throws NullPointerException si un argument est null * @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). * 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 * @return un entier entre 0 et 100
* @throws NullPointerException si un argument est null * @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. * 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. * 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 * 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. * Ne devrait pas retourner un objet null, par contre peut être un ensemble qui est vide.
*/ */
public Set<Reservation> getReservation(Date d1, Date d2, TypeChambre t); public Set<Reservation> getReservation(LocalDate d1, LocalDate d2, TypeChambre t);
/** /**
* Cherche le <b>nombre moyen</b> de chambres disponibles d'un certain type entre deux date (réservées ou non), arrondies à l'entier inférieur. * Cherche le <b>nombre moyen</b> 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. * 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 <b>proportion moyenne</b> de chambres disponibles pour une date (réservées sur réservables). * Cherche la <b>proportion moyenne</b> 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 * @return un entier entre 0 et 100
* @throws NullPointerException si un argument est null * @throws NullPointerException si un argument est null
*/ */
public int getRatio(Date d1, Date d2); public int getRatio(LocalDate d1, LocalDate d2);
/** /**
* Cherche la <b>proportion moyenne</b> de chambres disponibles d'un certain type pour une date (réservées sur réservables). * Cherche la <b>proportion moyenne</b> 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 * @return un entier entre 0 et 100
* @throws NullPointerException si un argument est null * @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);
} }