Page 152 - 4190

Квантор видимості, як і у разі атрибутів класу, може набувати
одного з трьох можливих значень і, відповідно, відображається за до-
помогою спеціального символу. Символ "+" означає операцію із зо-
ною видимості типу загальнодоступний (public). Символ "#" означає

операцію із зоною видимості типу захищений (protected). І, нарешті,
символ "-" використовується для позначення операції із зоною види-
мості типу закритий (private).

Квантор видимості для операції може бути опущений. У цьому
випадку його відсутність просто означає, що видимість операції не
вказується. Замість умовних графічних позначень також можна запи-
сувати відповідне ключове слово: public, protected, private.

Ім'я операції є рядком тексту, який використовується як іденти-
фікатор відповідної операції і тому має бути унікальною в межах цьо-
го класу. Ім'я атрибуту є єдиним обов'язковим елементом синтаксич-

ного позначення операції.
Список параметрів є переліком розділених комою формальних
параметрів, кожен з яких може бути представлений в такому вигляді:

<вид параметра><ім'я параметра>:<вираження ти-

пу>=<значення параметра по замовчуванню>.

Тут вид параметра - є одне з ключових слів in, out або inout зі
значенням in за умовчанням, у випадку якщо вид параметра не вказу-
ється. Ім'я параметра є ідентифікатор відповідного формального па-

раметра. Вираження типу є залежною від конкретної мови програму-
вання специфікацією типу значення повернення для відповідного фо-
рмального параметра. Нарешті, значення за умовчанням в загальному

випадку є вираженням для значення формального параметра, синтак-
сис якого залежить від конкретної мови програмування і підкоряється
прийнятим в нім обмеженням.

Вираження типу значення, що повертається також є залежною від
мови реалізації специфікацією типу або типів значень параметрів, які
повертаються об'єктом після виконання відповідної операції. Двокра-
пка і вираження типу значення, що повертається можуть бути опуще-

ні, якщо операція не повертає ніякого значення. Для вказівки кратно-
сті значення, що повертається ця специфікація може бути записана у
вигляді списку окремих виразів.

Рядок-властивість служить для вказівки значень властивостей, які
можуть бути застосовані до цього елементу. Рядок-властивість не є обо-
в'язковим, його може не бути, якщо ніякі властивості не специфіковані.

152