System.Diagnostics.Contracts

Содержит статические методы для представления контрактов программы, таких как предусловие, постусловие и инвариантность объектов.

Проверяет условие; если условие имеет значениеfalse, следует политике эскалации, заданной для анализатора.

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

Проверяет условие; если условие имеет значение false, следует политике эскалации, заданной анализатором, и отображает указанное сообщение.

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

Дает инструментам анализа кода команду полагать, что указанным условием является true, даже если статически невозможно подтвердить постоянное значение true.

Предполагаемое условное выражение true.

Дает инструментам анализа кода команду полагать, что условием является true, даже если статически невозможно подтвердить постоянное значение true, и отображает сообщение, если предположение было ошибочным.

Предполагаемое условное выражение true. Сообщение, создаваемое при ошибочном предположении.

Происходит, когда контракт не выполняется.

Помечает конец раздела контракта, когда контракты метода содержат только предусловия вида if-then-throw.

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

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

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

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

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

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

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

Условное выражение, которое требуется подвергнуть проверке. Отображаемое сообщение, если выражение — false. Тип исключения, вызвавшего проверку постусловия.

Определяет, существует ли в рамках функции элемент в указанной коллекции элементов.

Значение true, если и только если возвращает значение true для любого из элементов типа , содержащихся в параметре . Коллекция, из которой будут извлекаться элементы типа для передачи в . Функция, оцениваемая на предмет элемента, содержащегося в параметре . Тип, содержащийся в . or is null.

Определяет, удовлетворяет ли проверке какое-либо целое число в диапазоне целых чисел.

Значение true, если возвращает true для любого целого числа, начиная от до минус один . Первое целое число для передачи в . Последнее целое число для передачи в плюс один. Функция, оцениваемая на предмет любого значения целого числа в указанном диапазоне. is null. is less than .

Определяет, существуют ли в рамках функции все элементы в коллекции.

Значение true, если и только если возвращает значение true для всех элементов типа , содержащихся в параметре . Коллекция, из которой будут извлекаться элементы типа для передачи в . Функция, оцениваемая на предмет наличия всех элементов, содержащихся в параметре . Тип, содержащийся в . or is null.

Определяет, выполняется ли определенное условие для всех целых чисел в указанном диапазоне.

Значение true, если возвращает true для всех целых чисел, начиная от до минус один . Первое целое число для передачи в . Последнее целое число для передачи в плюс один. Функция, оцениваемая, чтобы установить существование целых чисел в указанном диапазоне. is null. is less than .

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

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

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

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

Представляет значения, какими они были в начале метода или свойства.

Значение параметра или поля при запуске метода или свойства. Представляемое значение (поле или параметр). Тип значения.

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

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

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

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

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

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

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

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

Представляет возвращаемое значение метода или свойства.

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

Представляет итоговое (выходное) значение параметра out по возвращении из метода.

Выходное значение параметра out. Параметр out. Тип параметра out

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

Инициализирует новый экземпляр класса .

Включает факторизацию устаревшего кода if-then-throw в отдельные методы для многократного использования, и обеспечивает полный контроль над созданными исключениями и аргументами.

Инициализирует новый экземпляр класса .

Указывает, что отдельный тип содержит контракты кода для этого типа.

Инициализирует новый экземпляр класса .

Тип, содержащий контракты кода для этого типа.

Получает тип, содержащий контракты кода для этого типа.

Тип, содержащий контракты кода для этого типа.

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

Инициализирует новый экземпляр класса с заданием типа, для которого текущий класс является контрактом.

Тип, для которого текущий класс является контрактом.

Получает тип, к которому применяется этот контракт кода.

Тип, к которому применяется этот контракт.

Предоставляет методы и данные для события .

Предоставляет данные для события .

Одно из значений перечисления, указывающее контракт, вызвавший сбой. Сообщение для события. Условие события. Исключение, которое вызвало событие.

Получает условие сбоя контракта.

Условие сбоя.

Получает тип контракта, вызвавшего сбой.

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

Указывает, обработано ли событие .

Значение true, если событие обработано; в противном случае — значение false.

Получает сообщение, описывающее событие .

Сообщение, описывающее событие.

Получает исходное исключение, вызвавшее событие .

Исключение, которое вызвало событие.

Присваивает свойству значение true.

Указывает, должна ли применяться политика эскалации контракта кода.

Значение true, если политика эскалации должна применяться; в противном случае — значение false.Значение по умолчанию — false.

Указывает тип контракта, вызвавшего сбой.

Контракт вызвал сбой.

Помечает метод как инвариантный метод для класса.

Инициализирует новый экземпляр класса .

Позволяет задавать параметры контракта и средств на уровне сборки, типа или метода.

Инициализирует новый экземпляр класса , используя предоставленную категорию, настройку и значение включения/отключения.

Категория для задаваемого параметра. Настройка параметра. Значение true, чтобы включить параметр; значение false, чтобы отключить параметр.

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

Категория задаваемого параметра. Настройка параметра. Значение параметра.

Получает категорию параметра.

Категория параметра.

Определяет, включен ли параметр.

Значение true, если параметр включен; в противном случае — значение false.

Получает настройку для параметра.

Настройка для параметра.

Получает значение для параметра.

Значение для параметра.

Указывает, что поле может использоваться в контрактах методов, если видимость поля ниже, чем видимость метода.

Инициализирует новый экземпляр класса .

Имя применяемого к полю свойства.

Получает имя свойства, применяемого к полю.

Имя свойства, которое следует применить к полю.

Указывает на то, что сборка является ссылочной сборкой, которая содержит контракты.

Инициализирует новый экземпляр класса .

Определяет член, не имеющий поведения во время выполнения.

Инициализирует новый экземпляр класса .

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

Инициализирует новый экземпляр класса .

Значение true для запроса проверки; в противном случае — значение false.

Получает значение, определяющее, следует ли проверять контракт целевого объекта.

Значение true, если проверка необходима; в противном случае — значение false.

Указывает на то, что тип или метод являются чистыми, т. е. не вносят каких-либо видимых изменений в состояние.

Инициализирует новый экземпляр класса .

Предоставляет методы, которые двоичный метод перезаписи использует для обработки сбоев контракта.

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

Пустая ссылка (Nothing в Visual Basic), если событие было обработано и не должно спровоцировать сбой; в противном случае возвращает локализованное сообщение об ошибке. Одно из значений перечисления, задающее тип сбоя. Дополнительные данные пользователя. Описание условия, вызвавшего сбой. Внутреннее исключение, вызвавшее текущее исключение. не является допустимым значением .

Активирует поведение при сбоях по умолчанию.

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