Contract.Result<T> Method

Reference

Definition

Namespace:: System.Diagnostics.Contracts

Assemblies:: mscorlib.dll, System.Diagnostics.Contracts.dll

Assemblies:: netstandard.dll, System.Diagnostics.Contracts.dll

Assembly:: System.Diagnostics.Contracts.dll

Assembly:: mscorlib.dll

Assembly:: netstandard.dll

Source:: Contracts.cs

Source:: Contracts.cs

Source:: Contracts.cs

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Represents the return value of a method or property.

public:
generic <typename T>
 static T Result();

public static T Result<T>();

static member Result : unit -> 'T

Public Shared Function Result(Of T) () As T

Type Parameters

T

Type of return value of the enclosing method or property.

Returns

Return value of the enclosing method or property.

Examples

The following example shows how to use the Result method to specify an expected return value. This code example is part of a larger example provided for the ContractClassAttribute class.

int IArray.Add(Object value)
{
    // Returns the index in which an item was inserted.
    Contract.Ensures(Contract.Result<int>() >= -1);
    Contract.Ensures(Contract.Result<int>() < ((IArray)this).Count);
    return default(int);
}

Function Add(ByVal value As Object) As Integer Implements IArray.Add
    ' Returns the index in which an item was inserted.
    Contract.Ensures(Contract.Result(Of Integer)() >= -1) '
    Contract.Ensures(Contract.Result(Of Integer)() < CType(Me, IArray).Count) '
    Return 0
    
End Function 'IArray.Add

Remarks

This method can be used only in the conditional expression for the Ensures contract.

Applies to

Produkt	Versiounen
.NET	Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9, 10
.NET Framework	4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard	2.0, 2.1
UWP	10.0

Deelen iwwer