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