ГОСТ Р ИСО 13584-20—2006
- представляет собой символ (синтаксический), который может быть использован для построения
выражения;
- ассоциируется с типомданных, который определяетобластьее значений;
- ассоциируется с семантикой, которая определяет ее смысл и. следовательно, ее значение в
период оценки.
4.5.1 Синтаксическое представление
Внастоящем стандарте переменная является экземпляром объекта generic_variable. Экземпляр
такого типа данных связывается с идентификатором, определяющим индивидуальность экземпляра,
которыйвводит вдействие символсоответствующейпеременной, когдаона используетсяв выражении.
4.5.2 Область значений переменной
Область значений переменной моделируется определением подтипа объекта generic_variable.
Этот подход, известный какстрогоеопределениетипа, обеспечивает, чтотипданныхлюбоговыражения
можетбыть вычислен (синтезирован) в период обмена.
4.5.3 Семантика переменной
В IS013584_generlc_expressions_schema должны входить переменные, связанные с
variable_semantics. Этот объектопределен KaKABSTRACTSUPERTYPEидолженбыть переопределен
через подтип при использовании конкретнойсемантики. Описаниеподтипа объектаvariable_semantics
должно содержать описание контекста, в котором эта переменная должна использоваться. Это описа
ние должно сопровождаться описанием функции интерпретации, которая связывает значение с этой
переменной.
Пример — Запись на языке EXPRESS SELF.а является примером varlable_semantics. Такая перемен
ная может быть использована только в контексте некоторого экземпляра некоторого класса, в кото
ром появляется ее синтаксическое представление. В рамках этого контекста функция
интерпретации является функцией, которая связывает с этой переменной значение атрибута «а*
этого экземпляра.
В приложении Dприведены различные методы, которые могут быть использованы для определе
ния подтипов объекта variable_semantics. соответствующих некоторым конкретным требованиям. Это
обеспечивает конкретизацию определения функции интерпретации через объектvariable_semantics.
4.6 Отображаемость на языке SQL
В языках программирования выражения обычно используютсядля доступа к базам данных. Язык
SQLвключаеттольконебольшоечислооператоровиограничиваетиспользованиевыраженийдо задан
ной категории выражений. Для того чтобы сделать понятным различие между выражениями, которые
являются SQL-отображаемыми, и остальными выражениями, специально введенный булев атрибут
указывает, является или нет выражение отображаемым на языке SQL.
5 IS013584_generic_expressions_schema
Вданном разделе определены требования к схеме IS013584_generic_expressions_schoma. При
веденное нижеописание на языке EXPRESS представляет собой блок IS013584_generic_expressions_
schema.
EXPRESS-спецификаиия
*)
SCHEMA IS013584_generic_expressions_schema;
Г
5.1 Введение
IS013584_generic_expressions_schema представляетсобойабстрактный ресурс, которыйобес
печиваетобщие рамкидля набора всех возможных выражений.
Пример — В параметрической модели фигуры вещественное значение может быть представле
но как выражение, операндами которого являются элементы геометрического представления, напри
мер distance (polnt_1, polnt_2). Геометрический элемент может быть определен геометрическим
оператором, например centre_of(clrcle_1).
5