using SchotzIadKmTracker.Api.Models.Entities;

namespace SchotzIadKmTracker.Api.Repositories;

/// <summary>
/// Accès aux données des véhicules et aux trajets impactés par une réaffectation.
/// L'historique des véhicules est conservé (aucune suppression) — Exigence 10.12 / Property 22.
/// </summary>
public interface IVehiculeRepository
{
    /// <summary>Retourne l'historique complet des véhicules, trié par Date_Effet décroissante puis Id décroissant.</summary>
    Task<List<Vehicule>> GetHistoriqueAsync(CancellationToken cancellationToken = default);

    /// <summary>Retourne le véhicule par identifiant, ou <c>null</c> s'il n'existe pas.</summary>
    Task<Vehicule?> GetByIdAsync(int id, CancellationToken cancellationToken = default);

    /// <summary>
    /// Résout le véhicule courant à une date donnée : Date_Effet la plus récente parmi
    /// celles &lt;= <paramref name="date"/> (ORDER BY DateEffet DESC, Id DESC LIMIT 1).
    /// Retourne <c>null</c> si aucun véhicule n'a de Date_Effet &lt;= <paramref name="date"/>.
    /// </summary>
    Task<Vehicule?> GetVehiculeCourantAsync(DateOnly date, CancellationToken cancellationToken = default);

    /// <summary>Ajoute un nouveau véhicule (sans persister). L'appelant gère la transaction.</summary>
    Task AddAsync(Vehicule vehicule, CancellationToken cancellationToken = default);

    /// <summary>
    /// Retourne les trajets dont la Date est &gt;= <paramref name="dateEffet"/> et dont la
    /// PuissanceFiscale diffère de <paramref name="puissanceFiscale"/> (candidats à la réaffectation).
    /// </summary>
    Task<List<Trajet>> GetTrajetsAReaffecterAsync(
        DateOnly dateEffet,
        int puissanceFiscale,
        CancellationToken cancellationToken = default);
}