1 // OpenTween - Client of Twitter
2 // Copyright (c) 2019 kim_upsilon (@kim_upsilon) <https://upsilo.net/~upsilon/>
3 // All rights reserved.
5 // This file is part of OpenTween.
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)
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
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.
23 #pragma warning disable SA1649
25 namespace System.Diagnostics.CodeAnalysis
27 [AttributeUsage(AttributeTargets.Parameter, Inherited = false)]
28 internal sealed class NotNullWhenAttribute : Attribute
30 public bool ReturnValue { get; }
32 public NotNullWhenAttribute(bool returnValue)
33 => this.ReturnValue = returnValue;
36 [AttributeUsage(AttributeTargets.Parameter, Inherited = false)]
37 internal sealed class MaybeNullWhenAttribute : Attribute
39 public bool ReturnValue { get; }
41 public MaybeNullWhenAttribute(bool returnValue)
42 => this.ReturnValue = returnValue;
45 [AttributeUsage(AttributeTargets.Method | AttributeTargets.Property, Inherited = false)]
46 internal sealed class MemberNotNullAttribute : Attribute
48 public string[] Members { get; }
50 public MemberNotNullAttribute(params string[] members)
51 => this.Members = members;