ГОСТ Р МЭК 61360-2—2013
END_LOCAL;
t
_
REPEAT i1 ТО SIZEOF(cl.is_case_of);
IF (SI2EOF(cl.is_case_of(i] .definition) - 1)
THEN
IF (NOT(’1S013584_IEC61360_DICTIONARY_SCHEMA’ f
’.:
em class
’
INTYPEOF(cl.is_case_of[i].definition[1])))
THEN
class_def_ok :- FALSE;
ENO_IF;
END_IF;
END_REPEAT;
RETURN <ciass_def_ok) ;
END_FUNCTION; --check_is_case_of_referenced_classes_definition
<* ‘
8.5 Определения правил стандартной схемы условных классов элементов
IS013584JEC61360_item_class_case_of_schema
8.5.1 Общие положения
Данный подраздел определяет правило пользования стандартной схемой ISO13584_IEC61360_
item_class_case_of_schema.
8.5.2 Правило видимости и применимости импортированного свойства (lmported_property_
are_visible_or_applicable_rule)
Правило imported_property_are_visible_or_applicable_rule проверяеттот факт, что если свойство им
портировано классом с помощью априорного семантического соотношения a_priori_semantic_relationship,
то данное свойство является видимым или применимым в классе, из которого оно импортировано.
Примечание — Применимые свойства включают свойства, импортированные с помощью семантиче
ского соотношения. Даннов правило дает возможность импортировать свойства из класса, куда они уже были
импортированы ранее.
Пример представления на языке EXPRESS:
*>
RULE imported_properties_are_visible_or_applicable_rule FOR
(a_priori_semantic_relationship, property_DET);
WHERE
WRI; QUERY(rel <* a_priori_semar.tic_relationship
QUERY(prop <* rel.referenced_properties
:QUERY(cl <* rel.referenced_ciasses
:NOT visible_properties(cl, [prop])
AND NOT applicabie_properties(cl, [prop]))
- rel.referenced_classes) - [])
- a_priori_semantic_relationship;
END_RULE; — imported_properties_are_visible_or_applicable_rule
C
8.5.3 Правило видимости и применимости импортированных типов данных (lmported_data_
type_are_visible_or_applicable_rule)
Правило imported_data_type_are_vlsible_or_applicable_rule проверяет тот факт, что если
тип данных импортирован классом с помощью априорного семантического соотношения a_priori_
semantic_relationship. то этот тип данных является видимым или применимым в классе, из которого
он импортирован.
122