ГОСТ Р ИСО 10303-41—2022
’DATE_TIME_SCHEMA.’+ ’TIME_INTERVAL_RELATIONSHIР.’ +
’RELATED_TIME_INTERVAL’)) |specific_relation IN TYPEOF(ti));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_time_interval_relationship(x[i], relatives + relation.
relating_time_interval, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE);
END_FUNCTION;
(*
Определения параметров:
relation — (входной) проверяемый экземпляр представляющего отношение между интервалами
времени объекта time_interval_relationship;
relatives — (входной) набор представляющих распоряжения по выполнению действия объектов
time_interval. Функция проверяет, есть ли среди данного набора экземпляры, играющие роль атрибута
relating_time_interval объекта time_interval_relationship, играющего роль параметра relation;
specific_relation — (входной) полное квалифицированное наименование подтипа, представляю
щего отношение между интервалами времени объекта time_interval_relationship.
10.5.3 Функция duration_is_negative
Функция duration_is_negative определяет, имеет ли интервал времени, представленный объек
том, играющим роль параметра, отрицательную продолжительность. Функция возвращает значение
TRUE (истина), если продолжительность интервала отрицательная. В противном случае функция воз
вращает значение FALSE (ложь).
EXPRESS-спеииФикаиия:
*)
FUNCTION duration_is_negative (duration :time_measure_with_unit)
:BOOLEAN;
IF (duration\measure_with_unit.value_component < 0.0) THEN
RETURN (TRUE);
ELSE
RETURN (FALSE);
END_IF;
END_FUNCTION;
(*
"
Определение параметра:
duration — (входной) проверяемый объект time_measure_with_unit, представляющий меру вре
мени с единицей измерения.
10.5.4 Функция duration_is_positive
Функция duration_is_positive определяет, имеет ли интервал времени, представленный объ
ектом, играющим роль параметра duration, положительную продолжительность. Функция возвраща ет
значение TRUE (истина), если продолжительность интервала положительная. В противном случае
функция возвращает значение FALSE (ложь).
EXPRESS-спеииФикаиия:
*)
FUNCTION duration_is_positive (duration :time_measure_with_unit)
:BOOLEAN;
IF (duration\measure_with_unit.value_component > 0.0) THEN
RETURN (TRUE);
ELSE
RETURN (FALSE);
END_IF;
END_FUNCTION;
(*
"
64