ГОСТ Р ИСО 10303-41—2022
10.5.7 Функция valid_time
Функция valid_time определяет, присвоено ли значение атрибуту minute_component объекта lo-
cal_time, представляющего местное время, если присвоено значение атрибуту second_component.
Функция возвращает значение TRUE (истина), если условие удовлетворяется, в противном случае
функция возвращает значение FALSE (ложь).
EXPRESS-специФикаиия:
*)
FUNCTION valid_time (time : local_time) :BOOLEAN;
IF EXISTS(time.second_component) THEN
RETURN (EXISTS(time.minute_component));
ELSE
RETURN (TRUE);
END_IF;
END_FUNCTION;
(*
Определение параметра:
time — (входной) проверяемый на допустимость экземпляр представляющего местное время
объекта local_time.
*)
END__SCHEMA; -- date_time_schema
(*
11 Схема Document (документ)
11.1 Общие положения
Предметом схемы document_schema являются ссылки на формальные стандарты или на до
кументы, не входящие в область действия настоящего стандарта. Конструкции ресурсов настоящей
схемы используются для создания ссылок на дополнительную информацию, относящуюся к описанию
изделия.
Пример — Примерами формальных стандартов или документов являются международные
стандарты, национальные стандарты, стандарты предприятия, каталоги и таблицы технических
данных.
В настоящем разделе с помощью языка EXPRESS, определение которого содержится в
ИСО 10303-11, определены информационные требования, которые должны выполняться програм
мными реализациями. Далее представлен фрагмент EXPRESS-декларации, с которой начинается
описание схемы document_schema. В нем определены необходимые внешние ссылки.
Короткие имена объектов, определения которых содержатся в настоящей схеме, приведены в
приложении А. Однозначное определение настоящей схемы приведено в приложении В.
EXPRESS-спецификация:
*)
SCHEMA document_schema;
REFERENCE FROM product_definition_schema— ISO 10303-41
(product,
product_definition,
product_definition_formation);
REFERENCE FROM support_resource_schema-- ISO 10303-41
(bag_to_set,
identifier,
label,
text);
(*
66