9.6. Літерали мови odl odmg: визначення, класифікаційна схема, операції.

Літерали – це об’єкти, екземпляри якими не можна змінювати (аналог констант). Для наперед визначених типів літералів не можна змінювати літералів.

Класифікація:

Літерали

Атомарний об’єкт Структурований об’єкт

• Integer

• Float Незмінювана колекція незмінювана стуктура

• Character - Immutable_Set<T> - Date

• Boolean - -//-//-//- Bag<T> - Time

--//-//-//- List<T>

--Immutable string

-- //-//-//-Bit string

- Array <T,n>

- Dictionary <T1,T2>

Рис. Класифікація літералів в ODL

Колекції: мітить елементи одного типу( об’єкти і літерали). Означені такі операції:

1). Insert_element () – додавання елемента до колекції;

2). Remove_ _ _ - видалити елемент;

3). Replace_ _ _ - замінити елемент колекції;

4). Select_ _ _/select_ () – знайти елемент;

5). Сreate _ interatar ()- створити інтегратор колекції (механізм послід. перших елементів);

6). Сreate_inndex ()/ drop index() – створити видалити індекс колекції.

Вбудовані типи колекцій: set, Bag, List, Array.

Структура: непоіменований набір елементів. Специфікується так:

Struct_ ім’я_ тип 1_ імя1,…,тип_ К_ імя

Операції над структурами:

1. Get_element_value () – отримання значення елементів

2. Set --------------- - вставка значення елементів.

3. Сopy () – копіювання екземпляра структури.

Список характеристик: extent, key

Список властивостей: перелік атрибутів і зв’язків.

Специфікація атрибута:

Attribute_тип_ імя;

Де тип – атомарний, структурний.

Дозволено використовувати вбудовані set value (знач.) – задає значення;

get value () – отримує значення.

Специфікація зв’язку:

Relationship імя_цільового класу ідентифікатор зв’язку

Inverse ідентифікатор зворотнього зв’язку.

Для кожного зв’язку вказується два оголошення: по одному у класах,що зв’язується.