Contract.Result<T> Yöntem

Tanım

Ad Alanı:

System.Diagnostics.Contracts

Bütünleştirilmiş Kod:

System.Diagnostics.Contracts.dll

Kaynak:

Contracts.cs

Bir yöntemin veya özelliğin dönüş değerini temsil eder.

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ür Parametreleri

T

Kapsayan yöntemin veya özelliğin dönüş değerinin türü.

Döndürülenler

T

Kapsayan yöntemin veya özelliğin dönüş değeri.

Örnekler

Aşağıdaki örnekte, beklenen dönüş değerini belirtmek için yönteminin Result nasıl kullanılacağı gösterilmektedir. Bu kod örneği, sınıfı için ContractClassAttribute sağlanan daha büyük bir örneğin parçasıdır.

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

Açıklamalar

Bu yöntem yalnızca sözleşmenin koşullu ifadesinde Ensures kullanılabilir.