ГОСТ Р ИСО 13584-20—2006
5.2.6 Объектenvironment
Объект environment обеспечивает связь междусинтаксисом и семантикой переменной. Он пред
ставляет собой функцию интерпретации, которая связывает значение с generic_variable.
EXPRESS-спеииФикаиия
*>
ENTITY environment;
syntactic_representation: generic_variable;
semantics: variable_semantics;
END_ENTITY;
r
Определения атрибутов
syntactic_representation — объектgeneric_variable. которыйобозначает значение переменной;
semantics — смысл переменной, который включает всебя механизм длядоступа к ее значению.
5.2.7 Объект unary_genoric_expression
Объект unary_genoric_expression является абстрактным супертипом ABSTRACT SUPERTYPE
для всехунарных операторов.
EXPRESS-спецификация
*)
ENTITY unary_generic_expression
ABSTRACT SUPERTYPE
SUBTYPE OF (generic_expression);
operand: generic_expression;
END_ENTITY;
r
Определение атрибута
operand — обобщенноевыражение, которое представляетсобой операнд унарного оператора.
5.2.8 Объект binary_gonoric_expression
Объект binary_generic_expression является абстрактным супертипом ABSTRACT SUPERTYPE
для всехбинарных операторов.
EXPRESS-споиификация
*)
ENTITY binary_generic_expression
ABSTRACT SUPERTYPE
SUBTYPE OF (generic_expression);
operands: LIST [2:2] OF generic_expression:
END_ENTITY;
r
Определение атрибута
operands — список из двух обобщенных выражений, которые представляют собой два операнда
бинарногооператора.
5.2.9 Объект multiple_arlty_generic_expression
Объект multiple_arity_goneric_expression является абстрактным супертипом ABSTRACT
SUPERTYPEдля всех операторов большой арности.
EXPRESS-спецификация
*)
ENTITY multiple arity_generic_expression
ABSTRACT SUPERTYPE
8