Точный
Статус документа
Статус документа

ГОСТ Р ИСО 10303-11-2009 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

     9.4 Константа


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

Примечание - Требование ацикличности объявлений констант необходимо для обеспечения достоверности инициализации в любом случае, поскольку инициализация не обязательно реализуется в порядке объявления.

   Синтаксис:

     195 constant_decl = CONSTANT constant_body { constant_body } END_CONSTANT ';' .
     194 constant_body = constant_id ':' instantiable_type ' := ' expression';' .
     240 instantiable_type = concrete_types | entity_ref .


Правила и ограничения:

a) Значение константы не должно изменяться после инициализации.

b) Любое появление именованной константы вне ее объявления должно быть эквивалентно появлению ее инициализированного значения.

c) Выражение expression в синтаксическом правиле 194 должно возвращать значение соответствующее указанному базовому типу.

Пример - Ниже приведены допустимые объявления констант:

CONSTANT

thousand

: NUMBER

:= 1000;

million

: NUMBER

:= thousand**2;

origin

: point

:= point(0.0, 0.0, 0.0);

END_CONSTANT;