Contract.Ensures Metoda

  • Reference

Definice

Obor názvů:
System.Diagnostics.Contracts
Sestavení:
System.Diagnostics.Contracts.dll
Sestavení:
mscorlib.dll
Sestavení:
netstandard.dll

Určuje kontrakt postcondition pro ohraničující metodu nebo vlastnost.

Přetížení

Ensures(Boolean)

Určuje kontrakt postcondition pro ohraničující metodu nebo vlastnost.
Ensures(Boolean, String)

Určuje kontrakt postcondition pro zadanou výstupní podmínku a zprávu, která se zobrazí, pokud je falsepodmínka .

Ensures(Boolean)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
Zdroj:
Contracts.cs

Určuje kontrakt postcondition pro ohraničující metodu nebo vlastnost.

public:
 static void Ensures(bool condition);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Ensures (bool condition);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Ensures : bool -> unit
Public Shared Sub Ensures (condition As Boolean)

Parametry

condition
Boolean

Podmíněný výraz, který se má otestovat. Výraz může obsahovat OldValue<T>(T)hodnoty , ValueAtReturn<T>(T)a Result<T>() .

Atributy
ConditionalAttribute

Příklady

Následující příklad ukazuje, jak pomocí Ensures metody zajistit, aby se vrátila očekávaná hodnota. Tento příklad kódu je součástí většího příkladu ContractClassAttribute pro třídu.

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

Poznámky

Parametr condition určuje postcondition, který se očekává true , když se ohraničující metoda nebo vlastnost vrátí normálně.

  • Toto volání metody musí být na začátku metody nebo vlastnosti před jakýmkoli jiným kódem.

  • K vynucení této podmínky za běhu je nutné použít binární rewriter (k dispozici v části Kontrakty kódu na Webu Visual Studio Marketplace).

Platí pro

Ensures(Boolean, String)

Zdroj:
Contracts.cs
Zdroj:
Contracts.cs
Zdroj:
Contracts.cs

Určuje kontrakt postcondition pro zadanou výstupní podmínku a zprávu, která se zobrazí, pokud je falsepodmínka .

public:
 static void Ensures(bool condition, System::String ^ userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Ensures (bool condition, string userMessage);
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Ensures (bool condition, string? userMessage);
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Ensures : bool * string -> unit
Public Shared Sub Ensures (condition As Boolean, userMessage As String)

Parametry

condition
Boolean

Podmíněný výraz, který se má otestovat. Výraz může obsahovat OldValue<T>(T) hodnoty a Result<T>() .

userMessage
String

Zpráva, která se má zobrazit, pokud výraz není true.

Atributy
ConditionalAttribute

Poznámky

Parametr condition určuje postcondition, který se očekává true , když se ohraničující metoda nebo vlastnost vrátí normálně.

  • Toto volání metody musí být na začátku metody nebo vlastnosti před jakýmkoli jiným kódem.

  • Tato smlouva je vystavena klientům; proto musí odkazovat pouze na členy, které jsou alespoň stejně viditelné jako uzavírací metoda.

  • K vynucení této podmínky za běhu je nutné použít binární rewriter (k dispozici v části Kontrakty kódu na Webu Visual Studio Marketplace).

  • Pokud userMessage se nejedná o konstantní řetězcový literál, nemusí být kontrakt nástrojům srozumitelný.

Platí pro