Page 139 - 6600
P. 139
Рисунок 9.8 - Діалогове вікно специфікації властивостей
операції створити нову транзакцію ()
Для операцій класів крім квантора видимості можна також
задати: аргументи і їх тип, тип повертається результату, стереотип
операції, а також визначити протокол і розмір, задати виняткові
ситуації, специфікувати передумови і постумови і цілий ряд інших
властивостей. Для окремої операції ці додаткові властивості
доступні для редагування на вкладці Detail (Детально) діалогового
вікна специфікації властивостей обраної операції (рис. 9.9).
137