Contract.Invariant Метод

Определение

Пространство имен:

System.Diagnostics.Contracts

Сборка:

System.Diagnostics.Contracts.dll

Указывает контракт для включающего метода или свойства.

Перегрузки

Invariant(Boolean)	Задает инвариантный контракт ля включающего метода или свойства.
Invariant(Boolean, String)	Указывает инвариантный контракт для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.

Invariant(Boolean)

Исходный код:

Contracts.cs

Задает инвариантный контракт ля включающего метода или свойства.

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)

Параметры

condition

Boolean

Условное выражение, которое требуется подвергнуть проверке.

Атрибуты

ConditionalAttribute

Комментарии

Invariant контракты содержатся в методе, который идентифицируется атрибутом ContractInvariantMethodAttribute ; как правило, метод называется ObjectInvariant.

• Этот контракт можно указать только в выделенном инвариантном методе, объявленном в классе . Если метод не запечатан, он должен ссылаться только на защищенные члены, а не на закрытые члены, чтобы подклассы могли поддерживать инварианты.

• Этот контракт не предоставляется клиентам; Таким образом, он может ссылаться на элементы, которые менее видимы, чем включающий метод.

• Для принудительного применения этого инварианта во время выполнения необходимо использовать двоичный перезапись.

• Инварианты определяются условно на основе наличия символа CONTRACTS FULL . При проверке во время выполнения инварианты проверяются в конце каждого открытого метода. Если инвариант упоминает открытый метод в том же классе, инвариантная проверка, которая обычно выполняется в конце этого открытого метода, отключается и проверяется только в конце вызова самого внешнего метода этого класса. Это также происходит, если класс повторно вводится в результате вызова метода в другом классе.

Invariant(Boolean, String)

Исходный код:

Contracts.cs

Указывает инвариантный контракт для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.

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)

Параметры

condition

Boolean

Условное выражение, которое требуется подвергнуть проверке.

userMessage

String

Отображаемое сообщение при условии false.

Атрибуты

ConditionalAttribute

Комментарии

Invariant контракты содержатся в методе, который идентифицируется атрибутом ContractInvariantMethodAttribute ; как правило, метод называется ObjectInvariant.

• Этот контракт можно указать только в выделенном инвариантном методе, объявленном в классе .

• Этот контракт не предоставляется клиентам; Таким образом, он может ссылаться на элементы, которые менее видимы, чем включающий метод.

• Для принудительного применения этого инварианта во время выполнения необходимо использовать двоичный перезапись.

• Инварианты определяются условно для символа CONTRACTS FULL . При проверке во время выполнения инварианты проверяются в конце каждого открытого метода. Если инвариант упоминает открытый метод в том же классе, инвариантная проверка, которая обычно выполняется в конце этого открытого метода, отключается и проверяется только в конце вызова самого внешнего метода этого класса. Это также происходит, если класс повторно вводится в результате вызова метода в другом классе.