Contract.Result<T> Method

Microsoft Silverlight will reach end of support after October 2021. Learn more.

Represents the return value of a method or property.

Namespace:  System.Diagnostics.Contracts
Assembly:  mscorlib (in mscorlib.dll)

Syntax

'Declaration
Public Shared Function Result(Of T) As T
public static T Result<T>()

Type Parameters

  • T
    Type of return value of the enclosing method or property.

Return Value

Type: T
Return value of the enclosing method or property.

Remarks

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

Examples

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

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
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);
}

Version Information

Silverlight

Supported in: 5, 4

Platforms

For a list of the operating systems and browsers that are supported by Silverlight, see Supported Operating Systems and Browsers.