| | | 1 | | using AsiBackbone.Core.Constraints; |
| | | 2 | | using AsiBackbone.Core.Results; |
| | | 3 | | |
| | | 4 | | namespace AsiBackbone.Testing.Contracts; |
| | | 5 | | |
| | | 6 | | /// <summary> |
| | | 7 | | /// Reusable contract fixture for <see cref="IGovernanceConstraint{TContext}" /> implementations. |
| | | 8 | | /// </summary> |
| | | 9 | | /// <typeparam name="TContext">The framework-neutral evaluation context type.</typeparam> |
| | | 10 | | public abstract class GovernanceConstraintContract<TContext> |
| | | 11 | | { |
| | | 12 | | /// <summary> |
| | | 13 | | /// Creates the constraint implementation under test. |
| | | 14 | | /// </summary> |
| | | 15 | | /// <returns>The constraint implementation to validate.</returns> |
| | | 16 | | protected abstract IGovernanceConstraint<TContext> CreateConstraint(); |
| | | 17 | | |
| | | 18 | | /// <summary> |
| | | 19 | | /// Creates the context supplied to the constraint implementation under test. |
| | | 20 | | /// </summary> |
| | | 21 | | /// <returns>The evaluation context to validate with.</returns> |
| | | 22 | | protected abstract TContext CreateEvaluationContext(); |
| | | 23 | | |
| | | 24 | | /// <summary> |
| | | 25 | | /// Verifies that the constraint returns a safe, non-null result shape. |
| | | 26 | | /// </summary> |
| | | 27 | | /// <param name="cancellationToken">A token that can cancel the contract validation.</param> |
| | | 28 | | /// <returns>The verified constraint result.</returns> |
| | | 29 | | public async ValueTask<ConstraintEvaluationResult> VerifyConstraintReturnsSafeResultAsync(CancellationToken cancella |
| | | 30 | | { |
| | 14 | 31 | | IGovernanceConstraint<TContext> constraint = CreateConstraint() |
| | 14 | 32 | | ?? throw new GovernanceContractViolationException("Constraint contract must provide a constraint instance.") |
| | 13 | 33 | | TContext context = CreateEvaluationContext() |
| | 13 | 34 | | ?? throw new GovernanceContractViolationException("Constraint contract must provide an evaluation context.") |
| | | 35 | | |
| | 12 | 36 | | if (string.IsNullOrWhiteSpace(constraint.Name)) |
| | | 37 | | { |
| | 1 | 38 | | throw new GovernanceContractViolationException("Constraint implementations must expose a stable, non-empty c |
| | | 39 | | } |
| | | 40 | | |
| | | 41 | | try |
| | | 42 | | { |
| | 11 | 43 | | ConstraintEvaluationResult result = await constraint.EvaluateAsync(context, cancellationToken).ConfigureAwai |
| | 8 | 44 | | return VerifyConstraintResult(result, constraint.Name); |
| | | 45 | | } |
| | 1 | 46 | | catch (OperationCanceledException) |
| | | 47 | | { |
| | 1 | 48 | | throw; |
| | | 49 | | } |
| | 7 | 50 | | catch (GovernanceContractViolationException) |
| | | 51 | | { |
| | 7 | 52 | | throw; |
| | | 53 | | } |
| | 1 | 54 | | catch (Exception exception) |
| | | 55 | | { |
| | 1 | 56 | | throw new GovernanceContractViolationException( |
| | 1 | 57 | | $"Constraint '{constraint.Name}' must not throw during normal contract validation; return Deny, Warning, |
| | 1 | 58 | | exception); |
| | | 59 | | } |
| | 2 | 60 | | } |
| | | 61 | | |
| | | 62 | | private static ConstraintEvaluationResult VerifyConstraintResult(ConstraintEvaluationResult? result, string constrai |
| | | 63 | | { |
| | 8 | 64 | | if (result is null) |
| | | 65 | | { |
| | 1 | 66 | | throw new GovernanceContractViolationException($"Constraint '{constraintName}' must return a result and must |
| | | 67 | | } |
| | | 68 | | |
| | 7 | 69 | | if (result.IsDenied || result.IsWarning) |
| | | 70 | | { |
| | 6 | 71 | | if (result.Reasons.Count == 0) |
| | | 72 | | { |
| | 2 | 73 | | throw new GovernanceContractViolationException($"Constraint '{constraintName}' denied or warned without |
| | | 74 | | } |
| | | 75 | | |
| | 10 | 76 | | for (int index = 0; index < result.Reasons.Count; index++) |
| | | 77 | | { |
| | 4 | 78 | | OperationReason reason = result.Reasons[index] ?? throw new GovernanceContractViolationException($"Const |
| | | 79 | | |
| | 3 | 80 | | if (string.IsNullOrWhiteSpace(reason.Code)) |
| | | 81 | | { |
| | 1 | 82 | | throw new GovernanceContractViolationException($"Constraint '{constraintName}' returned an empty rea |
| | | 83 | | } |
| | | 84 | | |
| | 2 | 85 | | if (string.IsNullOrWhiteSpace(reason.Message)) |
| | | 86 | | { |
| | 1 | 87 | | throw new GovernanceContractViolationException($"Constraint '{constraintName}' returned an empty rea |
| | | 88 | | } |
| | | 89 | | } |
| | | 90 | | } |
| | | 91 | | |
| | 2 | 92 | | return result; |
| | | 93 | | } |
| | | 94 | | } |