Ағылшын тілінде оқу

Бөлісу құралы:


Contract.Requires Метод

Определение

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

Перегрузки

Requires(Boolean)

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

Requires(Boolean, String)

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

Requires<TException>(Boolean)

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

Requires<TException>(Boolean, String)

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

Requires(Boolean)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs

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

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

Параметры

condition
Boolean

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

Атрибуты

Комментарии

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

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

  • Используйте этот метод вместо метода , Contract.Requires<TException>(Boolean) если обратная совместимость не заставляет создавать определенное исключение.

Применяется к

Requires(Boolean, String)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs

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

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

Параметры

condition
Boolean

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

userMessage
String

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

Атрибуты

Комментарии

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

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

  • Используйте этот метод вместо метода , Contract.Requires<TException>(Boolean, String) если обратная совместимость не заставляет создавать определенное исключение.

Применяется к

Requires<TException>(Boolean)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs

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

public static void Requires<TException> (bool condition) where TException : Exception;

Параметры типа

TException

Выдаваемое исключение при условии false.

Параметры

condition
Boolean

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

Комментарии

Маңызды

Чтобы использовать Requires метод , необходимо включить проверку во время выполнения. Если проверка во время выполнения отключена, процесс будет завершен. Чтобы получить средства для проверки среды выполнения, см. статью Контракты кода в Visual Studio Marketplace.

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

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

  • Используйте этот метод вместо метода , Contract.Requires(Boolean) если требуется создать исключение в случае сбоя предусловия.

Применяется к

Requires<TException>(Boolean, String)

Исходный код:
Contracts.cs
Исходный код:
Contracts.cs
Исходный код:
Contracts.cs

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

public static void Requires<TException> (bool condition, string userMessage) where TException : Exception;
public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;

Параметры типа

TException

Выдаваемое исключение при условии false.

Параметры

condition
Boolean

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

userMessage
String

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

Комментарии

  • Маңызды

    Чтобы использовать Requires метод , необходимо включить проверку во время выполнения. Если проверка во время выполнения отключена, процесс будет завершен. Чтобы получить средства для проверки среды выполнения, см. статью Контракты кода в Visual Studio Marketplace.

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

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

  • Используйте этот метод вместо метода , Contract.Requires(Boolean, String) если требуется создать исключение в случае сбоя предусловия.

Применяется к