Contract.Result<T> Yöntem

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

Döndürülenler

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.

Şunlara uygulanır