IDisposableAnnotations

IDisposableAnalyzers.Test/Properties/AssemblyInfo.cs

@@ -21,5 +21,5 @@
     typeof(Gu.Roslyn.AnalyzerExtensions.SyntaxTokenExt),
     typeof(Gu.Roslyn.CodeFixExtensions.Parse),
     typeof(Stubs.Extensions),
-    typeof(IDisposableAnnotations.DisposeAttribute),
+    typeof(IDisposableAnnotations.MustDisposeAttribute),
     typeof(NUnit.Framework.Assert))]

IDisposableAnnotations/DonNotDisposeAttribute.cs

@@ -0,0 +1,12 @@
+namespace IDisposableAnnotations
+{
+    using System;
+
+    /// <summary>
+    /// The return value should not be disposed by caller.
+    /// </summary>
+    [AttributeUsage(AttributeTargets.ReturnValue | AttributeTargets.Parameter, AllowMultiple = false, Inherited = true)]
+    public class DonNotDisposeAttribute : Attribute
+    {
+    }
+}

IDisposableAnnotations/MustDisposeAttribute.cs

@@ -0,0 +1,12 @@
+namespace IDisposableAnnotations
+{
+    using System;
+
+    /// <summary>
+    /// The return value should be disposed by caller.
+    /// </summary>
+    [AttributeUsage(AttributeTargets.ReturnValue | AttributeTargets.Parameter, AllowMultiple = false, Inherited = true)]
+    public class MustDisposeAttribute : Attribute
+    {
+    }
+}

IDisposableAnnotations/DisposesAttribute.cs → IDisposableAnnotations/TransferOwnershipAttribute.cs

@@ -6,7 +6,7 @@ namespace IDisposableAnnotations
     /// The containing method owns the instance and is responsible for disposing it.
     /// </summary>
     [AttributeUsage(AttributeTargets.Parameter, AllowMultiple = false, Inherited = true)]
-    public class DisposesAttribute : Attribute
+    public class TransferOwnershipAttribute : Attribute
     {
     }
 }

ValidCode/IWithAnnotations.cs

@@ -5,12 +5,16 @@ namespace ValidCode
 
     public interface IWithAnnotations
     {
-        [return:Dispose]
+        [return:MustDispose]
         IDisposable Create();
 
-        [return: DontDispose]
+        bool TryCreate([MustDispose]out IDisposable disposable);
+
+        [return: DonNotDispose]
         IDisposable GetOrCreate();
 
-        void Add([Disposes] IDisposable disposable);
+        bool TryGet([DonNotDispose]out IDisposable disposable);
+
+        void Add([TransferOwnership] IDisposable disposable);
     }
 }