Skip to content

Commit 2f53536

Browse files
[create-pull-request] automated change (#1686)
Co-authored-by: BillWagner <493969+BillWagner@users.noreply.github.com>
1 parent de49740 commit 2f53536

2 files changed

Lines changed: 16 additions & 14 deletions

File tree

standard/README.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -788,9 +788,11 @@
788788
- [§23.5.7.5](attributes.md#23575-the-doesnotreturnif-attribute) The DoesNotReturnIf attribute
789789
- [§23.5.7.6](attributes.md#23576-the-maybenull-attribute) The MaybeNull attribute
790790
- [§23.5.7.7](attributes.md#23577-the-maybenullwhen-attribute) The MaybeNullWhen attribute
791-
- [§23.5.7.8](attributes.md#23578-the-notnull-attribute) The NotNull attribute
792-
- [§23.5.7.9](attributes.md#23579-the-notnullifnotnull-attribute) The NotNullIfNotNull attribute
793-
- [§23.5.7.10](attributes.md#235710-the-notnullwhen-attribute) The NotNullWhen attribute
791+
- [§23.5.7.8](attributes.md#23578-the-membernotnull-attribute) The MemberNotNull attribute
792+
- [§23.5.7.9](attributes.md#23579-the-membernotnullwhen-attribute) The MemberNotNullWhen attribute
793+
- [§23.5.7.10](attributes.md#235710-the-notnull-attribute) The NotNull attribute
794+
- [§23.5.7.11](attributes.md#235711-the-notnullifnotnull-attribute) The NotNullIfNotNull attribute
795+
- [§23.5.7.12](attributes.md#235712-the-notnullwhen-attribute) The NotNullWhen attribute
794796
- [§23.5.8](attributes.md#2358-the-enumeratorcancellation-attribute) The EnumeratorCancellation attribute
795797
- [§23.6](attributes.md#236-attributes-for-interoperation) Attributes for interoperation
796798
- [§24](unsafe-code.md#24-unsafe-code) Unsafe code

standard/attributes.md

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -849,12 +849,12 @@ The code-analysis attributes are declared in namespace `System.Diagnostics.CodeA
849849
`AllowNull` ([§23.5.7.2](attributes.md#23572-the-allownull-attribute)) | A non-nullable argument may be null.
850850
`DisallowNull` ([§23.5.7.3](attributes.md#23573-the-disallownull-attribute)) | A nullable argument should never be null.
851851
`MaybeNull` ([§23.5.7.6](attributes.md#23576-the-maybenull-attribute)) | A non-nullable return value may be null.
852-
`NotNull` ([§23.5.7.8](attributes.md#23578-the-notnull-attribute)) | A nullable return value will never be null.
852+
`NotNull` ([§23.5.7.10](attributes.md#235710-the-notnull-attribute)) | A nullable return value will never be null.
853853
`MaybeNullWhen` ([§23.5.7.7](attributes.md#23577-the-maybenullwhen-attribute)) | A non-nullable argument may be null when the method returns the specified `bool` value.
854-
`NotNullWhen` ([§23.5.7.10](attributes.md#235710-the-notnullwhen-attribute)) | A nullable argument won’t be null when the method returns the specified `bool` value.
855-
`NotNullIfNotNull` ([§23.5.7.9](attributes.md#23579-the-notnullifnotnull-attribute)) | A return value isn’t null if the argument for the specified parameter isn’t null.
856-
`MemberNotNull` (§membernotnull-attribute) | The listed member won’t be null when the method returns.
857-
`MemberNotNullWhen` (§membernotnullwhen-attribute) | The listed member won’t be null when the method returns the specified `bool` value.
854+
`NotNullWhen` ([§23.5.7.12](attributes.md#235712-the-notnullwhen-attribute)) | A nullable argument won’t be null when the method returns the specified `bool` value.
855+
`NotNullIfNotNull` ([§23.5.7.11](attributes.md#235711-the-notnullifnotnull-attribute)) | A return value isn’t null if the argument for the specified parameter isn’t null.
856+
`MemberNotNull` ([§23.5.7.8](attributes.md#23578-the-membernotnull-attribute)) | The listed member won’t be null when the method returns.
857+
`MemberNotNullWhen` ([§23.5.7.9](attributes.md#23579-the-membernotnullwhen-attribute)) | The listed member won’t be null when the method returns the specified `bool` value.
858858
`DoesNotReturn` ([§23.5.7.4](attributes.md#23574-the-doesnotreturn-attribute)) | This method never returns.
859859
`DoesNotReturnIf` ([§23.5.7.5](attributes.md#23575-the-doesnotreturnif-attribute)) | This method never returns if the associated `bool` parameter has the specified value.
860860
@@ -1001,7 +1001,7 @@ Specifies that a non-nullable return value may be null.
10011001
10021002
Specifies that a non-nullable argument may be `null` when the method returns the specified `bool` value. This is similar to the `MaybeNull` attribute ([§23.5.7.6](attributes.md#23576-the-maybenull-attribute)), but includes a parameter for the specified return value.
10031003
1004-
#### §membernotnull-attribute The MemberNotNull attribute
1004+
#### 23.5.7.8 The MemberNotNull attribute
10051005
10061006
Specifies that the given member wont be `null` when the method returns.
10071007
@@ -1036,13 +1036,13 @@ Specifies that the given member won’t be `null` when the method returns.
10361036
>
10371037
> Multiple field names may be given as arguments to the attributes constructor. *end example*
10381038
1039-
#### §membernotnullwhen-attribute The MemberNotNullWhen attribute
1039+
#### 23.5.7.9 The MemberNotNullWhen attribute
10401040
10411041
Specifies that the listed member wont be `null` when the method returns the specified `bool` value.
10421042
1043-
> *Example*: This attribute is like `MemberNotNull` (§membernotnull-attribute) except that `MemberNotNullWhen` takes a `bool` argument. `MemberNotNullWhen` is intended for use in situations in which a helper method returns a `bool` indicating whether it initialized fields. *end example*
1043+
> *Example*: This attribute is like `MemberNotNull` (23.5.7.8](attributes.md#23578-the-membernotnull-attribute)) except that `MemberNotNullWhen` takes a `bool` argument. `MemberNotNullWhen` is intended for use in situations in which a helper method returns a `bool` indicating whether it initialized fields. *end example*
10441044
1045-
#### 23.5.7.8 The NotNull attribute
1045+
#### 23.5.7.10 The NotNull attribute
10461046
10471047
Specifies that a nullable value will never be `null` if the method returns (rather than throwing).
10481048
@@ -1064,7 +1064,7 @@ Specifies that a nullable value will never be `null` if the method returns (rath
10641064
>
10651065
> When nullable reference types are enabled, method `ThrowWhenNull` compiles without warnings. When that method returns, the `value` argument is guaranteed to be not `null`. However, it is acceptable to call `ThrowWhenNull` with a null reference. *end example*
10661066
1067-
#### 23.5.7.9 The NotNullIfNotNull attribute
1067+
#### 23.5.7.11 The NotNullIfNotNull attribute
10681068
10691069
Specifies that a return value is not `null` if the argument for the specified parameter is not `null`.
10701070
@@ -1087,7 +1087,7 @@ Specifies that a return value is not `null` if the argument for the specified pa
10871087
>
10881088
> *end example*
10891089
1090-
#### 23.5.7.10 The NotNullWhen attribute
1090+
#### 23.5.7.12 The NotNullWhen attribute
10911091
10921092
Specifies that a nullable argument will not be `null` when the method returns the specified `bool` value.
10931093

0 commit comments

Comments
 (0)