5.23.14. Определение уточнений операции

Поле Qualification (Уточнение) позволяет идентифицировать любые уточнения операции, связанные с конкретным языком программирования. Все, что вы здесь введете, войдет в генерируемый код в ка­честве комментария, но на сам код не повлияет. Для ввода уточнения операции откройте окно спецификации операции (или стандартное окно спецификации). Перейдите на вкладку Detail (Подробно). Введите уточнения в поле Qualification.

5.23.15. Задание исключительных ситуаций операции

В поле Exceptions (Исключительные ситуации) можно перечислить исключительные ситуации для данной операции. Эта информация войдет в качестве комментария в генерируемый код, но на сам код не повлияет.

5.23.16. Определение размера операции

В поле Size можно указать предполагаемый объем памяти, требуемой операции во время ее выполне­ния. Эта информация войдет в качестве комментария в генерируемый код.

5.23.17. Задание времени выполнения операции

Время операции - это предполагаемое время, требуемое для ее выполнения. Указываемая ин­формация войдет в сгенерированный код в качестве комментария. Для задания времени операции откройте окно спецификации операции (или стандартное окно спецификации). Перейдите на вкладку Detail (Подробно). Введите время в поле Time.

5.23.18. Задание параллелизма операции

Значение переключателя Concurrency (Параллелизм) определяет поведение операции при наличии нескольких потоков управления. Возможны три значения этого параметра:

Sequential (Последовательная). Предполагается, что операция будет выполняться правильно при наличии только одного потока управления. Выполнение операции должно завершиться пе­ред тем, как начнется выполнение другой операции.

Guarded (Охраняемая). Предполагается, что операция будет выполняться правильно в несколь­ких потоках управления, но только если взаимодействие классов гарантирует взаимное исключе­ние выполняемых операций.

Synchronous (Синхронная). Предполагается, что операция будет правильно выполняться при наличии нескольких потоков. После обращения операция будет выполняться в одном потоке управления вплоть до своего завершения.

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

Сведения о параллелизме операции появятся в сгенерированном коде в качестве комментариев. Для задания параллелизма операции откройте окно спецификации операции (или стандартное окно спецификации). Перейдите на вкладку Detail (Подробно). Установите переключатель Concurrency (Параллелизм) в требуемое значение.

5.23.19. Задание предусловий и постусловий операции

Предусловия - это такие условия, которые должны быть выполнены перед запуском операции. Лю­бые предусловия операции можно ввести на вкладке Preconditions (Предусловия) окна спецификации операции. Постусловиями называются такие условия, которые должны всегда выполняться после завершения работы операции. Постусловия задаются на вкладке Postconditions (Постусловия) окна спецификации операции.

5.23.20. Определение семантики операции

В поле Semantics (Семантика) окна спецификации операции можно описать, что будет делать опера­ция. Для передачи логики используется псевдокод или обыкновенное описание. Все, что вводится в этом поле, появится в готовом коде в виде комментария. Если какая-либо диаграмма взаимодействия иллюстрирует семантику операции, можно ввести имя диаграммы в нижней части вкладки.

Для описания семантики операции откройте окно спецификации операции (или стандартное окно спецификации). Перейдите на вкладку Semantics (Семантика). В поле Semantics введите семантику операции.