Contract.Result<T> メソッド

定義

メソッドまたはプロパティの戻り値を表します。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

型パラメーター

T

外側のメソッドまたはプロパティの戻り値の型。Type of return value of the enclosing method or property.

戻り値

T

外側のメソッドまたはプロパティの戻り値。Return value of the enclosing method or property.

次の例は、メソッドを使用して、予期される戻り値を指定する方法を示して Result います。The following example shows how to use the Result method to specify an expected return value. このコード例は、ContractClassAttribute クラスのために提供されている大規模な例の一部です。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

注釈

このメソッドは、コントラクトの条件式でのみ使用でき Ensures ます。This method can be used only in the conditional expression for the Ensures contract.

適用対象