Кодированный строковый литерал

Кодированный строковый литерал предназначен для поддержки символов национальных алфавитов (в том числе русского) и содержит символы в закодиро­ванном виде согласно стандарту ISO 10646. Начало и конец этого литерала обозна­чаются двойными кавычками.

Пример корректного кодированного строкового литерала: " 00000041" (бук­ва «А»).

Пример некорректного кодированного строкового литерала: " 00000041 00000042".

62
63

УПРАВЛЕНИЕ ЖИЗНЕННЫМ ЦИКЛОМ ПРОДУКЦИИ
Глава 2. СТАНДАРТ STEP

Логический литерал

Логический литерал предназначен для представления встроенных в EXPRESS констант TRUE (истина), FALSE (ложь) и UNKNOWN (неопределенность).

Тип данных

Сущность выражает множество объектов ре­ального мира, имеющих общие характеристики (на­пример, геометрические точки). Атрибут сущно­сти определяет некоторую конкретную характе­ристику, объединяющую объекты в множество (например, координату точки). Для отдельного объекта из множества ее можно измерить, а также присвоить ей некоторое значение (например, чис­ло, выражающее координату точки). Таким обра­зом, атрибуту экземпляра сущности может соот­ветствовать какое-то значение. Но обычно харак­теристика принимает значение не произвольное, а из некоторой области допустимых, ведь, напри­мер, координаты точки принято измерять числа­ми, а не строковыми литералами. Следовательно, для каждого атрибута сущности необходимо ука­зывать область его допустимых значений. Именно для этих целей в языке EXPRESS используются типы данных.

Тип данных представляет собой область значений. Если атрибуту сущности соответствует некоторый тип данных, то в ее экземпляре значение данного атри­бута входит в область значений этого типа данных. Основной функцией типа дан­ных является задание области допустимых значений атрибута сущности.

Всего в EXPRESS существуют пять категорий типов данных:

1. Простые.

2. Агрегированные.

3. Поименованные.

4. Составные.

5. Обобщенные.

Первые четыре категории будут рассмотрены более подробно.

Тип данных и сущность

И тип данных, и сущность задают некоторые множества элементов. Их глав­ное различие в том, что сущность представляет основное для моделируемой предметной области понятие, а тип данных является вспомогательным средством для задания сущностей. При этом сущность также может быть использована для определения области допустимых значений атрибута и, следовательно, может выступать в качестве типа данных. Например, сущность «Line», выражающая отрезок, имеет атрибуты «start» (начало отрезка) и «end» (конец отрезка), об­ласть значений которых представлена другой сущностью «Point», описываю-

64
щей геометрическую точку. Таким образом, при определении в информацион­ной модели некоторой сущности (объявлении сущности) одновременно автома­тически задается и соответствующий тип данных, который может быть исполь­зован для представления атрибутов.

В языке EXPRESS есть литерал, присутствующий в области значений любого типа данных. Он выражает отсутствие достаточной информации, обозначается символом «? » и называется неопределенным значением.

Рис. 17. Связь типа данных с сущностью в языке EXPRESS.

Простой тип

Простой тип представляет собой встроенный тип данных языка EXPRESS, элементами области значений которого являются литералы. Употребление слова «встроенный» означает, что понятие простого типа данных встроено в язык (как и понятие сущности) и может быть использовано без предварительного объявле­ния. Тип называется простым, так как его элементы (литералы) не могут быть разложены на более мелкие, имеющие смысл в языке (их можно разложить только на символы из алфавита языка). В EXPRESS существуют семь простых типов данных (табл. 9).

Числовой тип ( NUMBER )

Область значений числового типа NUMBER—все числа, то есть все чис­ловые литералы, включая веществен­ные и целочисленные.

Рис. 18. Структура числового типа данных.

Область значений вещественного

типа—все вещественные (нецелые) числа (вещественные литералы). Веществен­ный тип без ограничения на точность обозначен ключевым словом REAL. Точ­ность вещественного числа определяется количеством значащих цифр в мантис­се. При объявлении типа с ограничением на точность соответствующее значение точности указывается после ключевого слова в круглых скобках. В общем слу­чае оно записывается как числовое выражение, результат которого — целое положительное число.

65

УПРАВЛЕНИЕ ЖИЗНЕННЫМ ЦИКЛОМ ПРОДУКЦИИ
Глава S. СТАНДАРТ STEP

Целочисленный тип (INTEGER )

Целочисленный тип INTEGER. Об­ласть значений — все целые числа (цело­численные литералы).

Логический тип (LOGICAL)

Область значений логического типа LOGICAL — логические литералы TRUE, FALSE и UNKNOWN. Старшин­ство значений логических литералов при­нято в соответствии с неравенством: FALSE < UNKNOWN < TRUE.

Булевский тип (BOOLEAN )

Область значений—логические лите­ралы TRUE и FALSE. Старшинство значе­ний логических литералов принято в соот­ветствии с неравенством: FALSE < TRUE.

Строковый тип ( STRING )

Область значений строкового типа — последовательности символов (строко­вые литералы). Строковый тип без ограничений на их длину обозначен ключевым словом STRING. Если последовательность символов имеет ограниченную длину (например, не более 10 символов), соответствующее значение длины указывается после ключевого слова в круглых скобках. В общем случае длина строки записы­вается как числовое выражение, результат которого — целое положительное чис­ло. Иногда в качестве выражения может выступать само число (например, число 10). Если последовательность символов имеет фиксированную длину, то после объявления типа должно присутствовать ключевое слово FIXED.

Примеры объявления литералов строкового типа:

> строковый тип с фиксированной длиной строки (точно 10 символов):
STRING(IO) FIXED;

> строковый тип с переменной длиной строки (не более 10 символов):
STRING(IO);

> строковый тип без ограничений на длину строки: STRING.

Рис.23. Структура строкового типа данных.

* Числовое выражение, результат вычисления которого — целое положитель­ ное число.

Двоичный тип ( BINARY )

Область значений данного типа—последовательности битов (двоичные лите­ралы). Двоичный тип без ограничений на их длину обозначен ключевым словом BINARY. Если последовательность битов имеет ограниченную длину (например, не более 10 битов), соответствующее значение длины указывается после ключе­вого слова в круглых скобках. В общем случае длина строки записывается как числовое выражение, результат которого — целое положительное число. В част­ном случае выражением может быть само число (например, 10). Если последова­тельность битов имеет фиксированную длину, то после объявления типа должно присутствовать ключевое слово FIXED.

Примеры объявления литералов двоичного типа:

У двоичный тип с фиксированной длиной последовательности (точно 10 би­тов): BINARY(IO) FIXED;

> двоичный тип с переменной длиной последовательности (не более 10 би­тов): BINARY(IO);

^ двоичный тип без ограничений на длину последовательности: BINARY.

Рис. 24. Структура двоичного типа данных.

* Числовое выражение, результат вычисления которого — целое положитель­ ное число.

Агрегированный тип

Агрегированный тип представляет собой встроенный тип языка EXPRESS, элементами области значений которого являются наборы значений (а не единич-

66
67

УПРАВЛЕНИЕ ЖИЗНЕННЫМ ЦИКЛОМ ПРОДУКЦИИ
Глава i. СТАНДАРТ STEP

Таблица 9Простые типы данных

 

Тип	Область значений	Обозначение
Числовой	Числовые литералы	NUMBER
Вещественный	Вещественные литералы	REAL
Целочисленный	Целочисленные литералы	INTEGRAL
Логический	TRUE, FALSE, UNKNOWN	LOGICAL
Булевский	TRUE, FALSE	BOOLEAN
Строковый	Строковые литералы	STRING
Двоичный	Двоичные литералы	BINARY

ные значения, как в случае с простым типом). В такой набор включаются значения только одного типа, именуемого базовым. Сам набор конкретных значений назы­вается экземпляром агрегированного типа. Его отдельные значения являются элементами агрегированного типа. Всего в EXPRESS существуют четыре агре­гированных типа:

1. Массив (ARRAY).

2. Список (LIST).

3. Множество (SET).

4. Мультимножество (BAG).

На агрегированные типы языка EXPRESS могут накладываться дополнитель­ные ограничения, требующие уникальности всех элементов (в таком случае в объявлении типа употребляется ключевое слово UNIQUE) или разрешающие отсутствие отдельных элементов в наборе значений (при этом употребляется клю­чевое слово OPTIONAL).

Массив ( ARRAY )

Элементы агрегированного типа «Массив» упорядочены, а размер набора значений фиксирован. Каждый элемент проиндексирован по порядку целым чис­лом, и доступ к элементу осуществляется в соответствии с его номером. Массив значений может быть использован для представления, например, координат точки в пространстве, которые упорядочены согласно осям координат, а их количество строго фиксировано. При обозначении массива используется ключевое слово ARRAY, далее идет спецификация его границ, состоящая из двух чисел. Первое обозначает наименьший, а второе — наибольший номер элемента массива. После ключевого слова OF следует базовый тип данных массива.

Примеры объявления массивов из 10 элементов:

> ARRAY[l: 10] OF REAL — массив типа REAL. Наименьший номер эле­
мента массива — 1, наибольший — 10;

> ARRAY[0: 9] OF OPTIONAL something — массив типа something, допус­
кающий отсутствие некоторых элементов. Наименьший номер элемента—
0, наибольший — 9;
> ARRAY[-5: 4] OF UNIQUE STRING — массив типа STRING, все значения которого должны быть уникальны. Наименьший номер элемента — (-5), наибольший — 4.

Рис. 25. Элемент массива.

Список ( LIST )

Агрегированный тип «Список» представляет собой последовательность зна­чений. Ее элементы упорядочены, но размер по умолчанию не фиксирован. Эле­менты списка не проиндексированы, а доступ к ним осуществляется по номеру их позиции. Примером списка служит перечень операций, которые необходимо вы­полнить при проектировании изделия. Они упорядочены, но их количество может меняться из-за добавления и удаления операций. При обозначении списка исполь­зуется ключевое слово LIST, за которым часто следует спецификация его разме­ра: минимальное и максимальное число элементов (в противном случае размеры списка не фиксированы). При этом список может иметь наименьшую границу, но быть неограниченным сверху, для этого вместо второго числа после двоеточия ставится знак неопределенного значения «? ».

Примеры объявления списков:

>

LIST OF INTEGER — список неограниченного числа элементов типа
INTEGER;

> LIST [1: 10] OF UNIQUE something — список десяти элементов типа
something, значения которых должны быть уникальными. Наименьший
номер элемента списка — 1, наибольший — 10;

> LIST [ 1: ? ] OF STRING — неограниченный сверху список элементов типа
STRING. Наименьшая граница списка — 1.

68
69

УПРАВЛЕНИЕ ЖИЗНЕННЫМ ЦИКЛОМ ПРОДУКЦИИ
Глава 2. СТАНДАРТ STEP

вых элементов. С помощью множества можно, напри­мер, представить все население земного шара. На Земле нет двух одинаковых людей, причем их численность про­должает увеличиваться. Размеры множества задаются аналогично списку. При его обозначении используется ключевое слово SET.

Примеры объявления множеств:

^ SET OF point — множество из одного или более элементов типа point;

У SET [0: 15] OF point — множество из 16-ти элементов типа point.

Мультимножество (BAG)

Тип данных «BAG» представляет собой так назы­ваемое мультимножество значений, то есть множество с возможностью повторения элементов. Остальные его свойства аналогичны типу «SET»: элементы неупо-рядочены, а количество значений по умолчанию не фик­сировано. К примеру, мультимножеством может быть представлен перечень всех деталей изделия, в котором какая-либо из них (скажем, винт) способна встречаться много раз. При обозначении мультимножества исполь­зуется ключевое слово BAG. Размеры мультимноже­ства задаются аналогично списку.

Примеры объявления мультимножеств:

> BAG OF point — мультимножество из неограниченного количества эле­ментов типа point;

У BAG [I: ? ] OF point — неограниченное сверху мультимножество из эле­ментов типа point.

⇐ Предыдущая891011121314151617Следующая ⇒

Поделиться: