ГОСТ Р МЭК 61360-2-2013 Стандартные типы элементов данных с ассоциированной схемой классификации электрических компонентов. Часть 2. Словарная схема EXPRESS

     7.5 Определения функций стандартной схемы ограничений класса ISO13584_IEC61360_class_constraint_schema

7.5.1 Общие положения

Данный подраздел определяет функции стандартной схемы ограничений класса ISO13584_IEC61360_class_constraint_schema.

7.5.2 Функция определения целого значения в диапазоне (Integer_value_in_range)

Функция integer_value_in_range вычисляет целое значение, принадлежащее диапазону целых значений, определенному своими нижней и верхней границами. Если границы диапазона не определены, то значение функции также не определено.

Пример представления на языке EXPRESS:

*)

FUNCTION integer_values_in_range (

low_bound, 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 := low_bound TO high_bound;

result := result + [i];

END_REPEAT;

RETURN (result);

ELSE

RETURN (?);

END_IF;

END_FUNCTION; -- integer_values in range

(*

7.5.3 Функция проверки предварительного условия (Correct_precondition)

Функция correct_precondition проверяет тот факт, что предварительное условие ограничения управления конфигурацией configuration_control_constraint, определенное атрибутом cons, использует только свойства, применимые в классе cl. Функция возвращает логическое значение. Это значение неизвестно, если полный набор применимых свойств в классе не может быть вычислен.

Пример представления на языке EXPRESS:

*)

FUNCTION correct_precondition (