Статус документа

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

9.5.4 Локальные переменные

Переменные, локальные по отношению к данному алгоритму, объявляются после ключевого слова LOCAL. Локальная переменная видима только в области видимости алгоритма, в котором она объявлена. Локальным переменным могут быть присвоены значения, и они могут присутствовать в выражениях.

   Синтаксис:

     252 local_decl = LOCAL local_variable { local_variable } END_LOCAL ';' .
     253 local_variable = variable_id { ',' variable_id } ':' parameter_type
                                      [ ':=' expression ] ';' .
     266 parameter_type = generalized_types | named_types | simple_types .

Инициализация локальных переменных:

Локальная переменная может появиться при инициализации другой зависимой локальной переменной. Объявление зависимых локальных переменных должно быть ациклическим. Если никакого начального значения не задано, то локальной переменной присваивается неопределенное (?) значение.

Примечания

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

2 Поскольку неопределенное (?) значение совместимо со всеми типами данных, то допустима явная инициализация с неопределенным (?) значением.

Пример - Переменная r_result инициализируется со значением 0.0:

LOCAL
         r_result : REAL := 0.0;
         i_result : INTEGER;
     END_LOCAL;
     ...
     EXISTS(r_result) -- TRUE

EXISTS(i_result) -- FALSE поскольку никакого значения не присвоено