- •Слайд 3. Общие сведения о языке
- •Пояснения
- •Слайд 4. Основные свойства языка
- •Пояснения
- •Слайд 5. Объектно-ориентированный подход
- •Пояснения
- •Слайд 6. Основной элемент языка
- •Пояснения
- •Пояснения
- •Слайд 22. Простой тип
- •Пояснения
- •Слайд 21. Тип данных и сущность
- •Слайд 29. Двоичный тип (binary)
- •Пояснения
- •Слайд 30. Агрегированный тип
- •Пояснения
- •Слайд 31. Массив (array)
- •Пояснения
- •Слайд 32. Список (list)
- •Пояснения
- •Слайд 33. Множество (set)
- •Пояснения
- •Слайд 34. Мультимножество (bag)
- •Пояснения
- •Слайд 35. Многомерные агрегированные типы
- •Пояснения
- •Слайд 36. Поименованный тип
- •Пояснения
- •Слайд 37. Составной тип
- •Пояснения
- •Слайд 38. Понятие
- •Пояснения
- •Слайд 39. Схема (schema)
- •Пояснения
- •Слайд 40. Константы (constant)
- •Пояснения
- •Слайд 41. Определяемый тип (type)
- •Пояснения
- •Слайд 42. Правило области значений определяемого типа
- •Пояснения
- •Слайд 43. Сущность (entity)
- •Пояснения
- •Слайд 44. Атрибут сущности
- •Пояснения
- •Слайд 45. Локальное правило сущности
- •Пояснения
- •Слайд 46. Правило уникальности
- •Пояснения
- •Слайд 47. Правила области значений
- •Пояснения
- •Слайд 48. Наследование
- •Пояснения
- •Слайд 49. Интерфейс между схемами
- •Пояснения
- •Слайд 50. Пример информационной модели
- •Пояснения
- •Слайд 51. Основные принципы express-g
- •Пояснения
- •Слайд 52. Знаки определения
- •Пояснения
- •Слайд 53. Знаки связи
- •Пояснения
- •Слайд 54. Знаки композиции
- •Пояснения
- •Слайд 55. Диаграмма уровня сущности
- •Пояснения
- •Слайд 56. Диаграмма уровня схемы
- •Пояснения
- •Слайд 57. Программная поддержка express
- •Пояснения
- •Слайд 58. Резюме
Слайд 29. Двоичный тип (binary)
Пояснения
Область значений – последовательности битов (двоичные литералы). Двоичный тип без ограничений на длину последовательности битов объявляется ключевым словом BINARY. Если последовательность битов имеет ограниченную длину (например, не более 10-ти битов), соответствующее значение длины указывается после ключевого слова в круглых скобках. В общем случае значение длины строки записывается как числовое выражение, результат которого – целое положительное число. Как частный случай в качестве выражения может выступать само число (например, число 10). Если последовательность битов имеет фиксированную длину, то после объявления типа должно присутствовать ключевое слово FIXED.
Слайд 30. Агрегированный тип
Пояснения
Агрегированный тип представляет собой встроенный тип языка EXPRESS, элементами области значений которого являются наборы значений (а не единичные значения, как в случае с простым типом). В такой набор включаются только значения одного типа, называемого базовым типом данного агрегированного типа. Сам набор конкретных значений называется экземпляром агрегированного типа. Отдельные значения из набора значений являются элементами агрегированного типа. Всего в EXPRESS существует четыре агрегированных типа:
Массив (ARRAY).
Список (LIST).
Множество (SET).
Мультимножество (BAG).
На агрегированные типы языка EXPRESS могут накладываться дополнительные ограничения, требующие уникальности всех элементов в наборе значений (в таком случае в объявлении типа употребляется ключевое слово «UNIQUE») или разрешающие отсутствие отдельных элементов в наборе значений (в таком случае в объявлении типа употребляется ключевое слово «OPTIONAL»). Например, в объявленном на слайде массиве могут отсутствовать отдельные элементы, а в объявленном на слайде списке все элементы должны быть уникальны.
Слайд 31. Массив (array)
Пояснения
Элементы агрегированного типа «Массив» упорядочены, а размер набора значений фиксирован. Каждый элемент массива проиндексирован по порядку целым числом и доступ к элементу осуществляется в соответствии с его номером. Массив значений может быть использован для представления, например, координат точки в пространстве, которые упорядочены согласно осям координат и количество которых строго фиксировано. При обозначении массива используется ключевое слово «ARRAY», за которым идет спецификация границ массива, состоящая из двух чисел. Первое число обозначает наименьший номер элемента массива, а второе число обозначает наибольший номер элемента массива. После ключевого слова «OF» идет базовый тип данных массива.
На слайде приведены примеры объявления массивов из 10 элементов:
ARRAY[1:10] OF REAL - массив типа REAL. Наименьший номер элемента массива 1, наибольший 10.
ARRAY[0:9] OF OPTIONAL something - массив типа something, допускающий отсутствие некоторых элементов. Наименьший номер элемента 0, наибольший 9.
ARRAY[-5:4] OF UNIQUE STRING- массив типа STRING все значения которого должны быть уникальны. Наименьший номер элемента -5, наибольший 4.
