ГОСТ Р ИСО 13584-42-2012; Страница 143

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ 31929-2013 Средства лекарственные для ветеринарного применения. Правила приемки, методы отбора проб (Настоящий стандарт распространяется на фармакологические, биологические, иммунологические, гомеопатические лекарственные средства для ветеринарного применения, лечебные кормовые добавки и устанавливает требования к правилам приемки и методам отбора проб. Стандарт не распространяется на продукцию микробиологической промышленности, ферментные препараты, корма и кормовые добавки) ГОСТ 31926-2013 Средства лекарственные для ветеринарного применения. Методы определения безвредности (Настоящий стандарт распространяется на методы определения безвредности и токсичности лекарственных средств для ветеринарного применения и устанавливает дозы, способы введения лекарственного средства и виды испытаний) ГОСТ 31927-2012 Вакцины против сальмонеллеза животных живые. Общие технические условия (Настоящий стандарт распространяется на живые вакцины против сальмонеллеза животных, предназначенные для профилактической иммунизации восприимчивых животных)

Страница 143

Страница 1

Untitled document

ГОСТ Р ИСО 13584-42—2012

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

FUNCTION integer_valuesjn_range(

low_bound. high_bound: INTEGER): SET OF INTEGER;

LOCAL

i: INTEGER;

result: SET OF INTEGER:- [ ]:

ENDJ.O CAL;

IF EXISTS (low_bound) AND EXISTS (high_bound>

THEN

REPEAT i:= low_bour>d TO high_bound;

result:= result + [i];

END_REPEAT;

RETURN(result);

ELSE

RETURN(?);

ENDJF;

END_FUNCTION; — integer_values_in_range

(’

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

Функция correct_precondition проверяет тот факт, что предварительное условие ограничения управления

конфигурацией configuration_control_constraint. определенное атрибутом cons, использует только свойства,

применимые в классе cl. Функция возвращает логическое значение. Это значение неизвестно, если полный набор

применимых свойств в классе не может быть вычислен.

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

FUNCTION correct_precondition(

cons: configuration_controt_constraint: clxlass): LOGICAL;

LOCAL

prop: SET OF property_BSU:= [ ];

END_LOCAL;

REPEAT i:= 1to SIZEOF (cons.precondition):

prop:= prop + cons.preconditionp].referenced_property;

END_REPEAT;

IF prop <= cl.known_applicable_properties

THEN RETURN (TRUE);

ELSE

IF all_class_descriptions_reachable(d.identified_by)

THEN RETURN (FALSE);

ELSE RETURN (UNKNOWN);

ENDJF:

ENDJF;

END_FUNCTION; — correct_precondibon

F.5.4.3 Функция проверки корректности типа ограничения (Correct_constraintJype)

Функция correct_constraintJype проверяет тот факт, что ограничение на область domain_constraint, опре

деленное атрибутом cons, совместимо с типом данных datajype. определенным атрибутом typ. Функция возвра

щает логическое значение. Это значение неизвестно, если тип domain_constraint, определенныйатрибутом cons, не

является одним из подтипов, определенных стандартной схемой ограничений класса ISO13584JEC61360_

class_constraint_schema.

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

FUNCTION correct_constraintJype(

cons: domain_constraint; typ:datajype): LOGICAL;

(’case subclass constraint")

IF ( ISO13584JEC61360_CLASS_CONSTRAINT_SCHEMA

+’SUBCLASS_CONSTRAINT’) IN TYPEOF(cons)

THEN

("the data type shall be dass_referencejype")

IF NOT

(’ISO13584JEC61360_DICTIONARY_SCHEMA.CLASS_REFERENCE_TYPE’

IN TYPEOF (typ))

138