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

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

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

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

Страница 156

Страница 1

Untitled document

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

ENDJF;

END_REPEAT;

RETURN(s);

END_FUNCTION; — compute_known_referenced_property_constraints

F.6.3.3 Функция проверки суперкласса предметов (Superdass_ofJtem_isJtem)

Функция superclass_ofJtemJsJtem проверяет тот факт, что суперкласс класса предметов (сущность cl)

item_class, если он существует, также является классом предметов item_class.

Если класс, ассоциированный с базовой семантической единицей класса class_BSU, не может быть вычис

лен. то функция возвращает значение UNKNOWN.

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

FUNCTION superclass_ofJlem_is_item(d: item_class): LOGICAL:

IF NOT EXISTS(d\dass.its_superclass)

THEN

RETURN(TRUE);

ENDJF:

IF SIZEOF(d\class.its_superdass.definition) =0

THEN

RETURN(UNKNOWN);

ENDJF;

RETURN((’ISO13584_IEC61360_DICTIONARY_SCHEMA.ITEM_CLASS)

IN TYPEOF(d\class.its_superdass.definitk>n[1]));

ENDJUNCTION; — superclass_ofJtemJsJtem

F.6.3.4 Функция проверки определения условного ссылочного класса (CheckJs_case_of_referenced_class_

definition)

Функция checkJs_case_of_referenced_class_definition возвращает значение TRUE, если тип условного

класса предметов item_class_case_of из набора словарных определений ссылочных классов is_case_of совме

стим с рассматриваемой реализацией условного класса предметов (cl) item_class_case_of. В противном случав

функция возвращает значение FALSE.

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

FUNCTION checkJs_case_of_referenced_dasses_definition(

cl: item_class_case_of): BOOLEAN:

LOCAL

class_def_ok: BOOLEAN:= TRUE;

END_LOCAL;

REPEAT i:= 1 TO SIZEOF{cl.is_case_of):

IF (SIZEOF(cl.is_case_ofIi].defmition) = 1)

THEN

IF (NOTCISOI3584JEC61360J)ICTIONARY_SCHEMA‘ +

MTEM_CLASS’

INTYPEOF(d.is_case_ofli].definition[1])))

THEN

dass_def_ok:= FALSE:

END_IF;

ENDJF;

END_REPEAT;

RETURN(class_def_ok):

END_FUNCTION; — checkjs_case_of_referenced_dasses_definition

F.6.4 Определения правила стандартной схемы условных классов предметов ISO13584JEC61360_

item_class_case_of_schema

Данный подраздел определяет правило пользования стандартной схемой IS013584JEC61360Jtem_class_

case_of_schema.

151