Contract.Result<T> Metode

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

System.Diagnostics.Contracts.dll

Sumber:

Contracts.cs

Mewakili nilai pengembalian metode atau properti.

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

Jenis parameter

T

Jenis nilai pengembalian dari metode atau properti penutup.

Mengembalikan

T

Mengembalikan nilai metode atau properti penutup.

Contoh

Contoh berikut menunjukkan cara menggunakan Result metode untuk menentukan nilai pengembalian yang diharapkan. Contoh kode ini adalah bagian dari contoh yang lebih besar yang disediakan untuk ContractClassAttribute kelas .

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

Keterangan

Metode ini hanya dapat digunakan dalam ekspresi kondisional untuk Ensures kontrak.