using System;

namespace FrenchExDev.Net.State.Economy.Dsl;

/// <summary>
/// Triptyque budgétaire LOLF (FR) / OMB A-11 (US). La hiérarchie générique
/// <c>IMission → IProgram&lt;TMission&gt; → IAction&lt;TProgram&gt;</c> est calquée
/// sur le pattern <c>Feature&lt;TParent&gt;</c> de <c>FrenchExDev.Net.Requirements</c> :
/// la parenté est portée par un paramètre de type, donc vérifiable à la
/// compilation par simple substitution générique plutôt que par une chaîne
/// de caractères dans un dictionnaire.
/// </summary>
public interface IMission
{
    string Designation { get; }
}

/// <summary>Programme LOLF rattaché à une mission parente typée.</summary>
public interface IProgram<TMission>
    where TMission : IMission
{
    string Designation { get; }
    int ProgramNumber { get; }
}

/// <summary>Action LOLF rattachée à un programme parent typé.</summary>
public interface IAction<TProgram>
{
    string Designation { get; }
}

/// <summary>
/// Marque une propriété ou un champ comme dépense budgétaire imputable.
/// L'analyzer ECO002 vérifie que chaque <c>[Expenditure]</c> est portée par
/// une classe implémentant <c>IAction&lt;TProgram&gt;</c> — une dépense orpheline
/// échoue la compilation.
/// </summary>
[AttributeUsage(AttributeTargets.Property | AttributeTargets.Field, AllowMultiple = false, Inherited = false)]
public sealed class ExpenditureAttribute : Attribute
{
    /// <summary>Titre LOLF (1 à 7) ou équivalent OMB pour la classification économique.</summary>
    public int Titre { get; }

    public ExpenditureAttribute(int titre)
    {
        if (titre < 1 || titre > 7)
            throw new ArgumentOutOfRangeException(nameof(titre), "Titre LOLF attendu entre 1 et 7.");
        Titre = titre;
    }
}

/// <summary>
/// Atteste qu'une loi de règlement (FR) ou un acte de clôture budgétaire
/// (US) a été soumis à l'avis de la Cour des comptes. Sans cet attribut (ou
/// l'équivalent US <see cref="GaoAuditAttribute"/>), l'analyzer ECO004 émet
/// un diagnostic <c>warning</c>.
/// </summary>
[AttributeUsage(AttributeTargets.Class, AllowMultiple = false, Inherited = false)]
public sealed class CourDesComptesOpinionAttribute : Attribute
{
    public string ReportReference { get; }
    public string IssueDate { get; }

    public CourDesComptesOpinionAttribute(string reportReference, string issueDate)
    {
        ReportReference = reportReference ?? throw new ArgumentNullException(nameof(reportReference));
        IssueDate = issueDate ?? throw new ArgumentNullException(nameof(issueDate));
    }
}

/// <summary>Pendant US : audit de la Government Accountability Office.</summary>
[AttributeUsage(AttributeTargets.Class, AllowMultiple = false, Inherited = false)]
public sealed class GaoAuditAttribute : Attribute
{
    public string ReportReference { get; }
    public string IssueDate { get; }

    public GaoAuditAttribute(string reportReference, string issueDate)
    {
        ReportReference = reportReference ?? throw new ArgumentNullException(nameof(reportReference));
        IssueDate = issueDate ?? throw new ArgumentNullException(nameof(issueDate));
    }
}

/// <summary>
/// Marque une classe comme loi de règlement (FR) / financial closure act (US).
/// L'analyzer ECO004 exige ensuite la présence d'un attribut d'audit
/// (<see cref="CourDesComptesOpinionAttribute"/> ou <see cref="GaoAuditAttribute"/>).
/// </summary>
[AttributeUsage(AttributeTargets.Class, AllowMultiple = false, Inherited = false)]
public sealed class ClosureActAttribute : Attribute
{
    public int FiscalYear { get; }
    public ClosureActAttribute(int fiscalYear) { FiscalYear = fiscalYear; }
}

/// <summary>
/// Marque une propriété ou un champ comme observation d'opération SEC 2010
/// sur un secteur institutionnel donné. L'analyzer ECO003 lit
/// <see cref="Sector"/> et <see cref="Operation"/> et rejette les couples
/// incompatibles (ex : B1g × S14).
/// </summary>
[AttributeUsage(AttributeTargets.Property | AttributeTargets.Field, AllowMultiple = false, Inherited = false)]
public sealed class SectorOperationAttribute : Attribute
{
    public Type Sector { get; }
    public Type Operation { get; }

    public SectorOperationAttribute(Type sector, Type operation)
    {
        Sector = sector ?? throw new ArgumentNullException(nameof(sector));
        Operation = operation ?? throw new ArgumentNullException(nameof(operation));
    }
}