Contract.Invariant Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

System.Diagnostics.Contracts.dll

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

Přetížení

Invariant(Boolean)	Určuje invariantní kontrakt pro ohraničující metodu nebo vlastnost.
Invariant(Boolean, String)	Určuje invariantní kontrakt pro ohraničující metodu nebo vlastnost a zobrazí zprávu, pokud podmínka kontraktu selže.

Invariant(Boolean)

Zdroj:

Contracts.cs

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

public:
 static void Invariant(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Invariant (bool condition);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Invariant : bool -> unit

Public Shared Sub Invariant (condition As Boolean)

Parametry

condition

Boolean

Podmíněný výraz, který se má otestovat.

Atributy

ConditionalAttribute

Poznámky

Invariant kontrakty jsou obsaženy v metodě, která je identifikovaná atributem ContractInvariantMethodAttribute ; metoda má obvykle název ObjectInvariant.

• Tento kontrakt lze zadat pouze ve vyhrazené invariantní metodě, která je deklarována ve třídě. Pokud metoda není zapečetěna, měla by odkazovat pouze na chráněné členy, nikoli na soukromé členy, aby podtřídy mohly udržovat invarianty.

• Tato smlouva není vystavena klientům; proto může odkazovat na členy, které jsou méně viditelné než ohraničující metoda.

• K vynucení této invariantní invarianty je nutné použít binární rewriter.

• Invarianty jsou podmíněně definovány na základě přítomnosti symbolu CONTRACTS FULL . Během kontroly za běhu se na konci každé veřejné metody kontrolují invarianty. Pokud invariant zmíní veřejnou metodu ve stejné třídě, invariantní kontrola, která by normálně proběhla na konci veřejné metody, je zakázána a zkontrolována pouze na konci vnější volání metody této třídy. K tomu dochází také v případě, že je třída znovu zadána kvůli volání metody v jiné třídě.

Invariant(Boolean, String)

Zdroj:

Contracts.cs

Určuje invariantní kontrakt pro ohraničující metodu nebo vlastnost a zobrazí zprávu, pokud podmínka kontraktu selže.

public:
 static void Invariant(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Invariant (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Invariant : bool * string -> unit

Public Shared Sub Invariant (condition As Boolean, userMessage As String)

Parametry

condition

Boolean

Podmíněný výraz, který se má otestovat.

userMessage

String

Zpráva, která se má zobrazit, pokud je falsepodmínka .

Atributy

ConditionalAttribute

Poznámky

Invariant kontrakty jsou obsaženy v metodě, která je identifikovaná atributem ContractInvariantMethodAttribute ; metoda má obvykle název ObjectInvariant.

• Tento kontrakt lze zadat pouze ve vyhrazené invariantní metodě, která je deklarována ve třídě.

• Tato smlouva není vystavena klientům; proto může odkazovat na členy, které jsou méně viditelné než ohraničující metoda.

• K vynucení této invariantní invarianty je nutné použít binární rewriter.

• Invarianty jsou podmíněně definovány na symbolu CONTRACTS FULL . Během kontroly za běhu se na konci každé veřejné metody kontrolují invarianty. Pokud invariant zmíní veřejnou metodu ve stejné třídě, invariantní kontrola, která by normálně proběhla na konci veřejné metody, je zakázána a zkontrolována pouze na konci vnější volání metody této třídy. K tomu dochází také v případě, že je třída znovu zadána kvůli volání metody v jiné třídě.