26 lines
853 B
C#
26 lines
853 B
C#
// Copyright (c) Xenko contributors (https://xenko.com) and Silicon Studio Corp. (https://www.siliconstudio.co.jp)
|
|
// Distributed under the MIT license. See the LICENSE.md file in the project root for more information.
|
|
|
|
using System;
|
|
|
|
namespace att
|
|
{
|
|
/// <summary>
|
|
/// Indicates that the value of the marked element could never be <c>null</c>.
|
|
/// </summary>
|
|
/// <example>
|
|
/// <code>
|
|
/// [NotNull] object Foo() {
|
|
/// return null; // Warning: Possible 'null' assignment
|
|
/// }
|
|
/// </code>
|
|
/// </example>
|
|
[AttributeUsage(
|
|
AttributeTargets.Method | AttributeTargets.Parameter | AttributeTargets.Property |
|
|
AttributeTargets.Delegate | AttributeTargets.Field | AttributeTargets.Event |
|
|
AttributeTargets.Class | AttributeTargets.Interface | AttributeTargets.GenericParameter )]
|
|
public sealed class NotNullAttribute: Attribute
|
|
{
|
|
}
|
|
}
|