L'entite Pret existait depuis le squelette sans jamais etre exploitee. Cette
phase la met en service de bout en bout.
API
- GET /api/prets/en-cours ce qui n'est pas a la maison, du plus ancien
au plus recent : on cherche le livre oublie,
pas celui prete hier
- POST /api/livres/{id}/prets preter
- GET /api/livres/{id}/prets historique complet, du plus recent au plus
ancien
- POST /api/prets/{id}/retour clore le pret sans le supprimer
Un livre deja sorti ne peut pas etre prete une seconde fois. Le service le
verifie et nomme celui qui l'a deja, mais entre sa verification et l'insertion
il reste une fenetre : un index unique PARTIEL (LivreId WHERE DateRetour IS
NULL) la ferme, tout en laissant l'historique accumuler autant de prets clos
que necessaire sur le meme livre.
Les ebooks sont refuses cote API, pas seulement grises dans l'interface : une
fiche n'a pas d'exemplaire a confier.
Les prets sont COMMUNS au foyer, symetrique inverse du statut de lecture. Le
service ne recoit meme pas d'identite, pour qu'on ne puisse pas s'en servir
par inadvertance.
Interface, pensee mobile d'abord
- ecran « Prets en cours » avec bouton « Rendu » a meme la liste
- bloc pret sur la fiche d'un livre : etat courant, action, puis historique
- etiquette « Prete a X » dans le catalogue
- la barre d'actions passe sur deux lignes plutot que de comprimer ses
libelles maintenant qu'elle compte quatre entrees
Toutes les dates sont en UTC ; le client convertit la date locale du
<input type="date"> avant l'envoi, faute de quoi le pret se decalerait d'un
jour pour la moitie du globe.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
116 lines
4.8 KiB
C#
116 lines
4.8 KiB
C#
using MaBibli.Shared.Entites;
|
|
using Microsoft.EntityFrameworkCore;
|
|
|
|
namespace MaBibli.Api.Data;
|
|
|
|
public class MaBibliDbContext(DbContextOptions<MaBibliDbContext> options) : DbContext(options)
|
|
{
|
|
public DbSet<Livre> Livres => Set<Livre>();
|
|
|
|
public DbSet<Auteur> Auteurs => Set<Auteur>();
|
|
|
|
public DbSet<LivreAuteur> LivreAuteurs => Set<LivreAuteur>();
|
|
|
|
public DbSet<StatutLecture> StatutsLecture => Set<StatutLecture>();
|
|
|
|
public DbSet<RapprochementRefuse> RapprochementsRefuses => Set<RapprochementRefuse>();
|
|
|
|
public DbSet<Pret> Prets => Set<Pret>();
|
|
|
|
protected override void OnModelCreating(ModelBuilder modelBuilder)
|
|
{
|
|
base.OnModelCreating(modelBuilder);
|
|
|
|
modelBuilder.Entity<Livre>(livre =>
|
|
{
|
|
livre.Property(l => l.Titre).IsRequired();
|
|
livre.Property(l => l.TitreNormalise).IsRequired();
|
|
livre.HasIndex(l => l.Isbn);
|
|
|
|
// Le tri et la recherche passent par là : sans index, chaque frappe balaie la table.
|
|
livre.HasIndex(l => l.TitreNormalise);
|
|
|
|
livre.HasMany(l => l.Prets)
|
|
.WithOne(p => p.Livre)
|
|
.HasForeignKey(p => p.LivreId)
|
|
.OnDelete(DeleteBehavior.Cascade);
|
|
});
|
|
|
|
modelBuilder.Entity<Auteur>(auteur =>
|
|
{
|
|
auteur.Property(a => a.Nom).IsRequired();
|
|
auteur.Property(a => a.NomNormalise).IsRequired();
|
|
auteur.Property(a => a.CleRegroupement).IsRequired();
|
|
|
|
// Unicité de la clé de regroupement : « Zola, Émile » et « Émile Zola » produisent
|
|
// la même clé et ne peuvent donc pas coexister. C'est la garantie structurelle du
|
|
// regroupement — le code applicatif peut avoir un trou, la base non.
|
|
auteur.HasIndex(a => a.CleRegroupement).IsUnique();
|
|
auteur.HasIndex(a => a.NomNormalise);
|
|
});
|
|
|
|
modelBuilder.Entity<LivreAuteur>(lien =>
|
|
{
|
|
lien.HasKey(la => new { la.LivreId, la.AuteurId });
|
|
|
|
lien.HasOne(la => la.Livre)
|
|
.WithMany(l => l.Auteurs)
|
|
.HasForeignKey(la => la.LivreId)
|
|
.OnDelete(DeleteBehavior.Cascade);
|
|
|
|
// Restrict : supprimer un auteur encore rattaché à des livres les priverait de leur
|
|
// auteur en silence. On passe par une fusion, ou par la suppression des livres.
|
|
lien.HasOne(la => la.Auteur)
|
|
.WithMany(a => a.Livres)
|
|
.HasForeignKey(la => la.AuteurId)
|
|
.OnDelete(DeleteBehavior.Restrict);
|
|
|
|
lien.HasIndex(la => la.AuteurId);
|
|
});
|
|
|
|
modelBuilder.Entity<StatutLecture>(statut =>
|
|
{
|
|
statut.Property(s => s.Utilisateur).IsRequired();
|
|
|
|
statut.HasOne(s => s.Livre)
|
|
.WithMany(l => l.Statuts)
|
|
.HasForeignKey(s => s.LivreId)
|
|
.OnDelete(DeleteBehavior.Cascade);
|
|
|
|
// Une personne, un statut par livre. L'unicité est ce qui rend l'écriture idempotente :
|
|
// on lit la ligne, on la met à jour, et il ne peut jamais y en avoir deux à départager.
|
|
statut.HasIndex(s => new { s.LivreId, s.Utilisateur }).IsUnique();
|
|
statut.HasIndex(s => s.Utilisateur);
|
|
});
|
|
|
|
modelBuilder.Entity<RapprochementRefuse>(refus =>
|
|
{
|
|
// Le couple est rangé (petit identifiant d'abord) à l'écriture : l'unicité vaut donc
|
|
// dans les deux sens, et un refus ne peut pas être enregistré deux fois.
|
|
refus.HasIndex(r => new { r.AuteurAId, r.AuteurBId }).IsUnique();
|
|
});
|
|
|
|
modelBuilder.Entity<Pret>(pret =>
|
|
{
|
|
pret.Property(p => p.Emprunteur).IsRequired();
|
|
|
|
// Deux index sur la même colonne, et ce n'est pas une redondance. Ils doivent porter
|
|
// un nom explicite : EF identifie un index par ses colonnes, et sans nom distinct le
|
|
// second remplacerait purement et simplement le premier.
|
|
|
|
// Celui-ci sert l'historique d'un livre — toutes ses lignes, closes comprises.
|
|
pret.HasIndex(p => p.LivreId, "IX_Prets_LivreId");
|
|
|
|
// Celui-là est une contrainte : il ne peut y avoir qu'UN prêt ouvert par livre, on
|
|
// ne prête pas deux fois un exemplaire qui n'est pas revenu. Le service le vérifie,
|
|
// mais entre sa vérification et son insertion il y a une fenêtre ; l'index la ferme.
|
|
// Le filtre est ce qui rend la chose possible : seules les lignes ouvertes sont
|
|
// indexées, les prêts clos restent libres de se répéter autant que nécessaire.
|
|
// Il sert accessoirement la vue « prêts en cours », dont c'est exactement le critère.
|
|
pret.HasIndex(p => p.LivreId, "IX_Prets_LivreId_EnCours")
|
|
.IsUnique()
|
|
.HasFilter("\"DateRetour\" IS NULL");
|
|
});
|
|
}
|
|
}
|