ГОСТ Р МЭК 61360-2—2013
Примечание 3 — Если граница bound_1 не задана, то минимальное кардинальное число равно 0. Если
граница bound_2 не задана, то максимальное кардинальное число не ограничено.
Пояснение к тексту программы:
WR1: атрибуты b o un djl и bound_2 задают корректные границы.
7.4 Определения типа стандартной схемы ограничений класса
IS013584JEC61360_class_constraint_schema
7.4.1 Общие положения
Данный подраздел определяет типы стандартной схемы ограничений класса ISO13584_IEC61360_
class_constraint_schema.
7.4.2 Ограничение и идентификатор ограничения (Constraint_or_constralnt_id)
Сущность constraint_or_constraint_id задает либо само ограничение constraint либо идентифи
катор ограничения constraintjdentifier.
Пример представления на языке EXPRESS:
*>
ТУРЕ constrai.nt_or_constrair.t_id -
SELECT (constraint, constraint_identifier>;
END_TYPE; -- constraint_or_cor.strair.t_id
(*
7.5 Определения функций стандартной схемы ограничений класса
IS013584JEC61360_class_constraint_schema
7.5.1 Общие положения
Данный подраздел определяет функции стандартной схемы ограничений класса IS013584_
IEC61360_class_constraint_schema.
7.5.2 Функция определения целого значения в диапазоне (lnteger_value_in_range)
Функция intoger_value_in_range вычисляет целое значение, принадлежащее диапазону целых
значений, определенному своими нижней и верхней границами. Если границы диапазона не определе
ны, то значение функции также не определено.
Пример представления на языке EXPRESS:
*>
FUNCTION integer_values_in_range<
iov bour.d, high_bound: INTEGER): SET OF INTEGER;
LOCAL
i: INTEGER;
result: SET OF INTEGER:- (];
END_LOCAL;
IF EXISTS (low_bound) AND EXISTS (high_bound>
THEN
REPEAT i :- lov_bour.d TO high_bound;
result :- result *-[ij;
END_REPEAT;
RETURN(result);
ELSE
RETURN(?);
END_Ifc’;
EN1>_FUNCTI0N; — integer_values_in_range
(*
7.5.3 Функция проверки предварительного условия (Correct_precondition)
Функция correct_precondition проверяет тот факт, что предварительное условие ограничения
управления конфигурацией configuration_control_constraint. определенное атрибутом cons, исполь-
105