ГОСТ Р И С 010303-11 — 2009
FUNCTION calculatejength (thejine : line) : real;
ALIAS s FOR the_line.start_point;
ALIAS e FOR the_line.end_point:
RETURN (SQRT((s.x - e.x)“ 2 + (s.y - e.y)"2 + (s.z - e-z)**2));
ENDAUAS:
END_AUAS;
END_FUNCTION:
13.3 Присваивание
13.3.1 Оператор присваивания
Оператор присваивания используется для задания экземпляра локальной переменной или парамет
ру. Если выражение, расположенное справа от оператора присваивания, является экземпляром объекта,
тооператорприсваивания задает локальной переменной или параметруссылку наданный экземпляр объекта.
После исполнения оператора присваивания изменения локальной переменной или параметра отражаются в
исходном экземпляре. Оператор присваивания может также использоваться для копирования значений в
локальную переменную или экземпляр, когда они объявляются принадлежащими к необъектным типам
данных. Тип данных значения, присвоенного переменной, должен быть совместим по присваиванию с
переменной или параметром.
П р и м е ч а н и е — Оператор присваивания не может использоваться для создания копии значения
экземпляра в локальной переменной или параметре.
Синтаксис:
176assignment_stmt = g eneral_ref{qualifierexpression
228 general_ref = parameter_ref | variable_ref.
Пример — Следующие фрагменты демонстрируют допустимые присваивания:
LOCAL
а. Ь : REAL;
р: point:
END LOCAL:
а:= 1.1;
Ь:= 2.5* а;
р.х := Ь;
13.3.2 Совместимость по присваиванию
Для значения, присваиваемого вычисляемому атрибуту, локальной переменной или параметру,
должны выполняться два условия.
П р и м е ч а н и е — В приведенном ниже тексте термин «переменная» использован для обозначения
вычисляемого атрибута, локальной переменной или параметра.
a) результирующий тип данных присваиваемого выражения должен быть совместимым с типом дан
ных переменной;
b
) результирующее значение, полученное при вычислении выражения, должно удовлетворять всем
ограничениям, установленным для данного типа данных переменной.
Считается, что типданных присваиваемого выражения и типданных переменной являются совмести
мыми. если выполняется одно из следующих условий:
a) типы данных являются одинаковыми;
b
) результат выражения принадлежит ктипуданных, который является подтипом или конкретизацией
типа данных, объявленногодля переменной, которой он присваивается;
c) объявленный типданных переменной, которой присваивается значение, является определенным
типомданных, основным типом данных которого является выбираемый тип данных, а результат выражения
принадлежит к типу данных, совместимому по присваиванию с одним или более типами данных, установ
ленными в области определения выбираемого типа данных (включая элементы, добавленные к данной
области определения другими выбираемыми типами данных, основанными на данном выбираемом типе
данных).
Основным типом определенного типа данных является основный тип базисного типа данных, а
основным типом типа данных, не являющегося определенным типом данных, является сам данный тип
данных;
9 3