Contract.Invariant Methode

Definition

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Gibt einen Vertrag für eine einschließende Methode oder Eigenschaft an.

Überlädt

Invariant(Boolean)	Gibt einen invarianten Vertrag für die einschließende Methode oder Eigenschaft an.
Invariant(Boolean, String)	Gibt einen invarianten Vertrag für die einschließende Methode oder Eigenschaft an und zeigt eine Meldung an, wenn die Bedingung für den Vertrag nicht erfüllt wird.

Invariant(Boolean)

Quelle:

Contracts.cs

Gibt einen invarianten Vertrag für die einschließende Methode oder Eigenschaft an.

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)

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

Attribute

ConditionalAttribute

Hinweise

Invariant -Verträge sind in einer Methode enthalten, die durch das -Attribut identifiziert wird. In der ContractInvariantMethodAttribute Regel heißt ObjectInvariantdie Methode .

• Dieser Vertrag kann nur in einer dedizierten invariante Methode angegeben werden, die für eine Klasse deklariert wird. Wenn die Methode nicht versiegelt ist, sollte sie sich nur auf geschützte Member und nicht auf private Member beziehen, damit Unterklassen sicher sein können, dass sie die Invarianten beibehalten.

• Dieser Vertrag ist für Clients nicht verfügbar. Daher kann er auf Elemente verweisen, die weniger sichtbar sind als die einschließende Methode.

• Sie müssen den binären Rewriter für die Laufzeiterzwingung dieser Invariante verwenden.

• Invarianten werden basierend auf dem Vorhandensein des CONTRACTS FULL Symbols bedingt definiert. Bei der Laufzeitüberprüfung werden die Invarianten am Ende jeder öffentlichen Methode überprüft. Wenn in einer Invariante eine öffentliche Methode in derselben Klasse erwähnt wird, wird die invariante Überprüfung, die normalerweise am Ende dieser öffentlichen Methode erfolgen würde, deaktiviert und nur am Ende des äußersten Methodenaufrufs dieser Klasse überprüft. Dies geschieht auch, wenn die Klasse wegen eines Aufrufs einer Methode in einer anderen Klasse erneut eingegeben wird.

Invariant(Boolean, String)

Quelle:

Contracts.cs

Gibt einen invarianten Vertrag für die einschließende Methode oder Eigenschaft an und zeigt eine Meldung an, wenn die Bedingung für den Vertrag nicht erfüllt wird.

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)

Parameter

condition

Boolean

Der bedingte Ausdruck, der getestet werden soll.

userMessage

String

Die Meldung, die angezeigt werden soll, wenn die Bedingung false lautet.

Attribute

ConditionalAttribute

Hinweise

Invariant -Verträge sind in einer Methode enthalten, die durch das -Attribut identifiziert wird. In der ContractInvariantMethodAttribute Regel heißt ObjectInvariantdie Methode .

• Dieser Vertrag kann nur in einer dedizierten invariante Methode angegeben werden, die für eine Klasse deklariert wird.

• Dieser Vertrag ist für Clients nicht verfügbar. Daher kann er auf Elemente verweisen, die weniger sichtbar sind als die einschließende Methode.

• Sie müssen den binären Rewriter für die Laufzeiterzwingung dieser Invariante verwenden.

• Invarianten werden für das CONTRACTS FULL Symbol bedingt definiert. Bei der Laufzeitüberprüfung werden die Invarianten am Ende jeder öffentlichen Methode überprüft. Wenn in einer Invariante eine öffentliche Methode in derselben Klasse erwähnt wird, wird die invariante Überprüfung, die normalerweise am Ende dieser öffentlichen Methode erfolgen würde, deaktiviert und nur am Ende des äußersten Methodenaufrufs dieser Klasse überprüft. Dies geschieht auch, wenn die Klasse wegen eines Aufrufs einer Methode in einer anderen Klasse erneut eingegeben wird.