Добавление утверждений

В этом разделе описана процедура добавления утверждения.

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

Как добавить утверждение

  1. Нажмите кнопку Добавить.
  2. Выберите утверждение в окне Выберите тип утверждения.
  3. Выбранный тип утверждения откроется в окне редактора утверждений. Выберите Обязательное, если утверждение всегда должно быть истинным, и Заблокировано, если утверждение нельзя изменять.
  4. Укажите требуемые значения свойств. При этом утверждение будет добавлено в таблицу в соответствующей категории.
  5. Повторите эти действия для добавления других утверждений.

Навигация

Перейдите в редактор и откройте вкладку Контракт/Утверждения в нижней части окна рабочей среды.

Понятия, связанные с данным
Реализация флага утверждения
Работа с редактором типов утверждений
Ссылки, связанные с данной
Настройка списка утверждений