ГОСТ Р ИСО 10303-14—2015
Конструкторы объектов создают экземпляры, являющиеся локальными только в той функции или
процедуре, в которой они используются. Экземпляры, созданные конструкторами объектов, не должны
образовывать ни целевых, ни исходных множеств.
Процесс вычисления значения выражения управляется приоритетом операторов, составляющих
часть выражения. Вычисление значения выражения, заключенного в круглые скобки, производится до
того, как оно будет трактоваться как один операнд. Вычисление выражения осуществляется слева на
право. при этом сначала выполняются операторы, имеющие наивысший приоритет. В таблице 3 при
ведены правила приоритетов для всех операторов языка EXPRESS-X. Операторы, расположенные в
одной строке таблицы 3. имеют одинаковый приоритет, а строки расположены в порядке убывания
приоритета. Операнд, расположенный между двумя операторами с разным приоритетом, относится к
оператору с более высоким приоритетом. Операнд, расположенный между двумя операторами с оди
наковым приоритетом, относится клевому оператору.
Т а б л и ц а 3 — Приоритет операторов
ПриоритетОписаниеОператоры
1Ссылки на компонентыI ■ \ :: <
2Унарные операторы
♦ - NOT
3Возведение в степень
♦ *
4Умножение/деление
f
* DIV MOD
AND|
5Сложение/вычитание
- - OP. XCR
6Отношение
- < > < - > - < , >;<>;
i n
LIKE
10.2 Вызов образа
Вызов образа представляет собой выражение, результатом вычисления которого является экзем
пляр типа данных образа или агрегированная структура экземпляров типа данных образа. Вызов об
раза обеспечивает средства для доступа к экземпляру (или экземплярам) типа данных образа через
имя образа и фактические параметры, соответствующие его связующему экземпляру (если в образе
не определен синтаксический элемент
IDENTIFIED BY)
или значениям выражений, заданных син
таксическим элементом
IDENTIFIED BY
(если в образе определен синтаксический элемент
IDEN
TIFIED BY).
Если в разделе отсутствует синтаксический элемент
IDENTIFIED BY,
то число, тип и
порядок фактических параметровдолжны соответствовать числу, типу и порядку исходных параметров,
указанных в образе в синтаксическом элементе
FROM.
Если в разделе присутствует синтаксический
элемент
IDENTIFIED BY,
то число, тип и порядок фактических параметров должны соответствовать
числу, типу и порядку выражений, заданных в синтаксическом элементе
IDENTIFIED BY.
Если ни один связующий экземпляр не соответствует фактическим параметрам вызова образа, то
данному вызову присваивается неопределенное значение.
Вызов образа относится к одному разделу образа. Если образ содержит более одного раздела,
то может быть задан синтаксический элемент
partition qualification,
для того чтобы в яв
ном виде указать раздел, для которого вычисляется значение выражения для данного вызова образа.
В противном случае, если синтаксический элемент
partiticnqualificatior.
не задан, то раздел,
для которого вычисляется значение выражения для данного вызова образа, должен быть первым раз
делом в объявлении образа, для которого число и тип аргументов соответствуют параметрам вызова, а
синтаксический элемент
WHERE
возвращает значение
TRUE.
Для согласования типов данных должны
применяться правила совместимости типов данных, определенные в подразделе 12.11 ИСО 10303-11.
Вызов образа, ссылающийся на постоянный раздел, должен иметь пустой список аргументов.
Синтаксис:
227 view call = view reference [ partition qualification J ,(, i
expression or wild (expression or wiid 1 ] ,)’ .
153 partition qualification =
, \ ’
partition ret .
82 expression or wiid = expression i , ’ .
32