- Nouveau parametre global Precision_Distance (sous-menu Application de la Page_Parametrage, entre Compte et Vehicules), persiste via une entite singleton ParametresApplication, expose par GET/PUT /api/parametres-application - Arrondi superieur (ceiling) applique a l'affichage et aux agregats : trajet simple, aller/retour (arrondi puis doublement), totaux jour/mois/annee, carte, export PDF et bareme kilometrique - jamais a la distance brute stockee - Refonte du Montant_Previsionnel : le montant mensuel (80%) porte desormais sur le seul mois affiche (tranche determinee par le cumul annuel) ; nouvelle ligne Montant_Previsionnel_Annuel (100%, sans minoration, sur le cumul) - Backend : PrecisionDistanceService (ArrondirDistance), integration dans ResumeService/TotauxService/RemboursementService/MontantRegleService, migration EF Core ; 7 tests de propriete (FsCheck) + tests existants, 62/62 verts - Frontend : ParametresApplicationService (signal partage), composant de parametrage, fonction miroir arrondirDistance, adaptation de la liste des trajets, du panneau des totaux, de la carte et des montants regles - Specs : nouvelle spec precision-distances-km (requirements/design/tasks) ; mise a jour de requirements.md, design.md et design-requirements.md de schotziad-km-tracker (Requirement 22, renvois croises, Montant_Previsionnel) - Suppression du fichier chromium .deb suivi par erreur dans le depot
148 lines
6.6 KiB
C#
148 lines
6.6 KiB
C#
using Microsoft.EntityFrameworkCore;
|
|
using SchotzIadKmTracker.Api.Data;
|
|
using SchotzIadKmTracker.Api.Models.DTOs;
|
|
using SchotzIadKmTracker.Api.Models.Entities;
|
|
using SchotzIadKmTracker.Api.Services.Exceptions;
|
|
|
|
namespace SchotzIadKmTracker.Api.Services;
|
|
|
|
/// <inheritdoc />
|
|
public class MontantRegleService : IMontantRegleService
|
|
{
|
|
private const decimal TauxPrevisionnel = 0.80m;
|
|
|
|
private readonly AppDbContext _context;
|
|
private readonly IBaremeService _baremeService;
|
|
private readonly IPrecisionDistanceService _precisionDistanceService;
|
|
|
|
public MontantRegleService(
|
|
AppDbContext context, IBaremeService baremeService, IPrecisionDistanceService precisionDistanceService)
|
|
{
|
|
_context = context;
|
|
_baremeService = baremeService;
|
|
_precisionDistanceService = precisionDistanceService;
|
|
}
|
|
|
|
/// <inheritdoc />
|
|
public async Task<MontantRegleDto> UpsertMontantRegleAsync(
|
|
MontantRegleDto dto, CancellationToken cancellationToken = default)
|
|
{
|
|
// Défense en profondeur : le validateur FluentValidation impose déjà Montant >= 0,
|
|
// mais le service refuse aussi les montants négatifs (Exigence 14.4).
|
|
if (dto.Montant < 0m)
|
|
{
|
|
throw new MontantRegleNegatifException("Le montant réglé ne peut pas être négatif.");
|
|
}
|
|
|
|
// Upsert par la clé métier (Annee, Mois, VehiculeId) — index unique
|
|
// UX_MontantsRegles_Periode_Vehicule garantit l'unicité (Property 26, Exigence 14.3).
|
|
var existant = await _context.MontantsRegles
|
|
.FirstOrDefaultAsync(
|
|
m => m.Annee == dto.Annee && m.Mois == dto.Mois && m.VehiculeId == dto.VehiculeId,
|
|
cancellationToken);
|
|
|
|
if (existant is null)
|
|
{
|
|
var montantRegle = new MontantRegle
|
|
{
|
|
Annee = dto.Annee,
|
|
Mois = dto.Mois,
|
|
VehiculeId = dto.VehiculeId,
|
|
Montant = dto.Montant,
|
|
UpdatedAt = DateTime.UtcNow,
|
|
};
|
|
|
|
_context.MontantsRegles.Add(montantRegle);
|
|
await _context.SaveChangesAsync(cancellationToken);
|
|
|
|
return ToDto(montantRegle);
|
|
}
|
|
|
|
existant.Montant = dto.Montant;
|
|
existant.UpdatedAt = DateTime.UtcNow;
|
|
await _context.SaveChangesAsync(cancellationToken);
|
|
|
|
return ToDto(existant);
|
|
}
|
|
|
|
/// <inheritdoc />
|
|
public async Task<IReadOnlyList<MontantRegleDto>> GetMontantsReglesAsync(
|
|
int annee, int vehiculeId, CancellationToken cancellationToken = default)
|
|
{
|
|
var montants = await _context.MontantsRegles
|
|
.AsNoTracking()
|
|
.Where(m => m.Annee == annee && m.VehiculeId == vehiculeId)
|
|
.OrderBy(m => m.Mois)
|
|
.ToListAsync(cancellationToken);
|
|
|
|
return montants.Select(ToDto).ToList();
|
|
}
|
|
|
|
/// <inheritdoc />
|
|
public async Task<MontantPrevisionnelDto> GetMontantPrevisionnelAsync(
|
|
int annee, int mois, int vehiculeId, CancellationToken cancellationToken = default)
|
|
{
|
|
// Puissance fiscale du véhicule concerné : détermine la tranche du barème.
|
|
var vehicule = await _context.Vehicules
|
|
.AsNoTracking()
|
|
.FirstOrDefaultAsync(v => v.Id == vehiculeId, cancellationToken)
|
|
?? throw new VehiculeNotFoundException($"Le véhicule d'identifiant {vehiculeId} est introuvable.");
|
|
|
|
var precision = await _precisionDistanceService.ObtenirAsync(cancellationToken);
|
|
|
|
// Trajets de l'année pour ce véhicule, jusqu'au mois sélectionné inclus (les mois
|
|
// postérieurs sont exclus). SQLite ne sait pas appliquer SUM sur une colonne decimal :
|
|
// on ramène les trajets concernés et on somme côté client (distance null traitée comme 0).
|
|
// Le mois de chaque trajet est conservé pour distinguer le mois affiché du cumul annuel.
|
|
var trajets = await _context.Trajets
|
|
.AsNoTracking()
|
|
.Where(t => t.VehiculeId == vehiculeId
|
|
&& t.Date.Year == annee
|
|
&& t.Date.Month <= mois)
|
|
.Select(t => new { t.Date.Month, t.Distance, t.AllerRetour })
|
|
.ToListAsync(cancellationToken);
|
|
|
|
// Distance_Effective_Arrondie : arrondi de la distance simple à la précision courante,
|
|
// PUIS doublement si aller/retour (arrondi avant doublement — Exigence 4.2).
|
|
decimal DistanceArrondie(decimal? distance, bool allerRetour) =>
|
|
_precisionDistanceService.ArrondirDistance(distance ?? 0m, precision) * (allerRetour ? 2m : 1m);
|
|
|
|
// Total_Mois_Km : somme des distances déjà arrondies des trajets du mois affiché (Exigence 7.1).
|
|
var totalMoisAffiche = trajets
|
|
.Where(t => t.Month == mois)
|
|
.Sum(t => DistanceArrondie(t.Distance, t.AllerRetour));
|
|
|
|
// Total_Annuel_Partiel : somme des distances déjà arrondies de tous les trajets chargés
|
|
// (cumul jusqu'au mois inclus — Exigence 6.2).
|
|
var totalAnnuelPartiel = trajets.Sum(t => DistanceArrondie(t.Distance, t.AllerRetour));
|
|
|
|
// La tranche de barème est déterminée par le cumul annuel (Exigence 7.2), et son
|
|
// coefficient/base est réutilisé tel quel pour le mois affiché (pas de nouvel appel à
|
|
// CalculerMontantAsync avec le total du mois seul : cela re-sélectionnerait une tranche
|
|
// différente selon le mois seul au lieu de la tranche du cumul annuel, ce qui serait faux).
|
|
var baremeAnnuel = await _baremeService.CalculerMontantAsync(
|
|
annee, vehicule.PuissanceFiscale, totalAnnuelPartiel, cancellationToken);
|
|
|
|
var montantMoisSelonTrancheAnnuelle = totalMoisAffiche * baremeAnnuel.Coefficient + baremeAnnuel.Base;
|
|
|
|
// Montant_Previsionnel_Mensuel = 80% du barème (tranche du cumul annuel) appliqué au mois affiché.
|
|
var montantPrevisionnelMensuel = Math.Round(
|
|
montantMoisSelonTrancheAnnuelle * TauxPrevisionnel, 2, MidpointRounding.AwayFromZero);
|
|
|
|
// Montant_Previsionnel_Annuel = 100% du barème plein appliqué au cumul annuel.
|
|
var montantPrevisionnelAnnuel = Math.Round(baremeAnnuel.Montant, 2, MidpointRounding.AwayFromZero);
|
|
|
|
return new MontantPrevisionnelDto(
|
|
Annee: annee,
|
|
Mois: mois,
|
|
VehiculeId: vehiculeId,
|
|
TotalMoisKm: totalMoisAffiche,
|
|
TotalAnnuelPartielKm: totalAnnuelPartiel,
|
|
MontantPrevisionnelMensuel: montantPrevisionnelMensuel,
|
|
MontantPrevisionnelAnnuel: montantPrevisionnelAnnuel);
|
|
}
|
|
|
|
private static MontantRegleDto ToDto(MontantRegle m) =>
|
|
new(m.Annee, m.Mois, m.VehiculeId, m.Montant);
|
|
}
|