ГОСТ Р 55346—2012
4.3.132 Прикладной компонент integer_data_type_definition
Прикладной компонент integer_data_type_definition принадлежит к тому же типу, что и прикладной
компонент elementary_maths_space, и включает все целые числа.
EXPRESS-описание:
*)
ENTITY integer_data_type_definition
SUBTYPE OF (elementary_maths_space);
END_ENTITY;
r
4.3.133 Прикладной компонент integerjnterval
Прикладной компонент integer_interval принадлежит к тому же типу, что и прикладной компонент
elementary_maths_space, и ограничивает подмножество всех целых значений.
EXPRESS-описание:
*)
ENTITY integerjnterval
ABSTRACT SUPERTYPE OF ( ONEOF(finiteJntegerJnterval.hiboundJntegerJnterval. lobound_
integerjnterval))
SUBTYPE OF (maths_space);
END_ENTITY;
(*
4.3.134 Прикладной компонент io_buffer
Прикладной компонент io_buffer является модификатором поведения прикладного компонента ac
tual Jo_port во времени.
Примечание — Если прикладной компонент io_buffer присваивается прикладному компоненту actual_
io_port. дающему данные при их дискретизации, то он будет считываться лишь один раз. Если прикладной компо
нент io_buffer присваивается прикладному компоненту actual_io_port (принимающему данные), то получаемые дан
ные будутдискретизироваться и сохраняться только при их считывании с порта. Поведение буферадополнительно
определяется с помощью атрибута continuously_active. Для принимающих данные портов прикладной компонент
io_buffer может контролировать их непрерывную активацию или активацию только через определенные интерва
лы. Атрибут continuous!y_active не изменяет семантику прикладных компонентов actua!_io_port, предоставляющих
данные.
EXPRESS-описание:
*)
ENTITY io_buffer;
assigned Jo : actual io_port:
continuously_active : BOOLEAN;
synchronisation_semantics: buffer_synchronisation_enumeration;
END_ENTITY;
r
Определения атрибутов:
Атрибут assignedjo: Этот атрибут определяет прикладной компонент actual_io_port. которому
присваивается прикладной компонент io_buffer.
Атрибут continuously_active: Этот атрибут определяет, непрерывно ли активируется прикладной
компонент io_buffer.
Атрибут synchronisation_semantics: Этот атрибут определяет условия синхронизации, устанавли
ваемые с помощью прикладного компонента iojxjffer. и может принимать одно из следующих состоя
ний (значений) этого атрибута:
- состояние synchronous: Функция, передающая информацию посредством прикладного компо
нента actualJo_port. к которому присоединяется прикладной компонент io_buffer, должна оставаться
активной до тех пор, пока информация не будет принята получателем;
- состояние asynchronous: Функция, передающая информацию посредством прикладного компо
нента actual_io_port, к которому присоединяется прикладной компонент io_buffer. может прерываться
без ограничения на то, получена информация или нет.
83