Define justifications for all.

specs/Qowaiv.Specs/Diagnostics/Contracts/Impure_attribute_specs.cs

@@ -17,12 +17,12 @@ public void Fluent_syntax_attribute()
 
 internal class SomeClass
 {
-    [CollectionMutation]
+    [CollectionMutation("It just returns if addition worked.")]
     public bool CollectionMutation(HashSet<SomeClass> set) => set.Add(this);
 
-    [Impure]
+    [Impure("It has side effects.")]
     public static int Impure() => 42;
 
-    [FluentSyntax]
+    [FluentSyntax("We like fluent syntaxes.")]
     public SomeClass FluentSyntax() => this;
 }

src/Qowaiv.Diagnostics.Contracts/CollectionMutationAttribute.cs

@@ -5,4 +5,4 @@
 /// </summary>
 [AttributeUsage(AttributeTargets.Method, AllowMultiple = false, Inherited = false)]
 [Conditional("CONTRACTS_FULL")]
-public sealed class CollectionMutationAttribute : ImpureAttribute { }
+public sealed class CollectionMutationAttribute(string? justification = null) : ImpureAttribute(justification) { }

src/Qowaiv.Diagnostics.Contracts/FluentSyntaxAttribute.cs

@@ -5,4 +5,4 @@
 /// </summary>
 [AttributeUsage(AttributeTargets.Method, AllowMultiple = false, Inherited = false)]
 [Conditional("CONTRACTS_FULL")]
-public sealed class FluentSyntaxAttribute : ImpureAttribute { }
+public sealed class FluentSyntaxAttribute(string? justification = null) : ImpureAttribute(justification) { }

src/Qowaiv.Diagnostics.Contracts/ImpureAttribute.cs

@@ -3,4 +3,8 @@
 /// <summary>To mark a method explicitly as impure.</summary>
 [AttributeUsage(AttributeTargets.Method, AllowMultiple = false, Inherited = false)]
 [Conditional("CONTRACTS_FULL")]
-public class ImpureAttribute : Attribute { }
+public class ImpureAttribute(string? justification = null) : Attribute
+{
+    /// <summary>THe justification of this decoration.</summary>
+    public string? Justification { get; init; } = justification;
+}

src/Qowaiv.Diagnostics.Contracts/InheritableAttribute.cs

@@ -3,8 +3,8 @@
 /// <summary>Indicates the a class is designed to be inheritable.</summary>
 [AttributeUsage(AttributeTargets.Class, AllowMultiple = false, Inherited = false)]
 [Conditional("CONTRACTS_FULL")]
-public class InheritableAttribute : Attribute
+public class InheritableAttribute(string? justification = null) : Attribute
 {
-    /// <summary>Initializes a new instance of the <see cref="InheritableAttribute"/> class.</summary>
-    public InheritableAttribute(string? message = null) => _ = message;
+    /// <summary>THe justification of this decoration.</summary>
+    public string? Justification { get; init; } = justification;
 }

src/Qowaiv.Diagnostics.Contracts/MutableAttribute.cs

@@ -3,8 +3,8 @@
 /// <summary>Indicates the class is designed to be mutable.</summary>
 [AttributeUsage(AttributeTargets.Class | AttributeTargets.Struct | AttributeTargets.Interface, AllowMultiple = false, Inherited = false)]
 [Conditional("CONTRACTS_FULL")]
-public sealed class MutableAttribute : Attribute
+public sealed class MutableAttribute(string? justification = null) : Attribute
 {
-    /// <summary>Initializes a new instance of the <see cref="MutableAttribute"/> class.</summary>
-    public MutableAttribute(string? message = null) => _ = message;
+    /// <summary>THe justification of this decoration.</summary>
+    public string? Justification { get; init; } = justification;
 }

src/Qowaiv.Diagnostics.Contracts/WillBeSealedAttribute.cs

@@ -3,4 +3,4 @@
 /// <summary>Indicates the class will be sealed with the next major change.</summary>
 [AttributeUsage(AttributeTargets.Class | AttributeTargets.Method | AttributeTargets.Property, AllowMultiple = false, Inherited = false)]
 [Conditional("CONTRACTS_FULL")]
-public sealed class WillBeSealedAttribute(string? message = null) : InheritableAttribute(message) { }
+public sealed class WillBeSealedAttribute(string? justification = null) : InheritableAttribute(justification) { }