OpenTween/NullableAttributes.cs

   1 // OpenTween - Client of Twitter
   2 // Copyright (c) 2019 kim_upsilon (@kim_upsilon) <https://upsilo.net/~upsilon/>
   3 // All rights reserved.
   4 //
   5 // This file is part of OpenTween.
   6 //
   7 // This program is free software; you can redistribute it and/or modify it
   8 // under the terms of the GNU General Public License as published by the Free
   9 // Software Foundation; either version 3 of the License, or (at your option)
  10 // any later version.
  11 //
  12 // This program is distributed in the hope that it will be useful, but
  13 // WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14 // or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
  15 // for more details.
  16 //
  17 // You should have received a copy of the GNU General Public License along
  18 // with this program. If not, see <http://www.gnu.org/licenses/>, or write to
  19 // the Free Software Foundation, Inc., 51 Franklin Street - Fifth Floor,
  20 // Boston, MA 02110-1301, USA.
  21
  22 #nullable enable
  23 #pragma warning disable SA1649
  24
  25 namespace System.Diagnostics.CodeAnalysis
  26 {
  27     [AttributeUsage(AttributeTargets.Parameter, Inherited = false)]
  28     internal sealed class NotNullWhenAttribute : Attribute
  29     {
  30         public bool ReturnValue { get; }
  31
  32         public NotNullWhenAttribute(bool returnValue)
  33             => this.ReturnValue = returnValue;
  34     }
  35
  36     [AttributeUsage(AttributeTargets.Parameter, Inherited = false)]
  37     internal sealed class MaybeNullWhenAttribute : Attribute
  38     {
  39         public bool ReturnValue { get; }
  40
  41         public MaybeNullWhenAttribute(bool returnValue)
  42             => this.ReturnValue = returnValue;
  43     }
  44
  45     [AttributeUsage(AttributeTargets.Method | AttributeTargets.Property, Inherited = false)]
  46     internal sealed class MemberNotNullAttribute : Attribute
  47     {
  48         public string[] Members { get; }
  49
  50         public MemberNotNullAttribute(params string[] members)
  51             => this.Members = members;
  52     }
  53 }