ГОСТ Р ИСОГГС 10303-1136—2014
EXPRESS-слецификация.
*>
RULE text_font_usage FOR
(externallydefined_text_font, pre_defined_text_font);
WHERE
WR1:
SI2EOF (QUERY (pdtf
< *
pre_defined_text_font
I
SIZEOF (USEDIN
(pdtf, ’PRESENTATION_DEFINITION_SCHEMA.TEXT_LITERAL.FONT’)) = 0 )> =
0;
WR2: SIZEOF (QUERY (edtf <* externally_defined_text_font |SIZEOF
(USEDIN (edtf, ’PRESENTATION_DEFINITION_SCHEMA.TEXT_LITERAL.FONT’>>
= 0 ))= 0;
END_RULE;
(*
Определения аргументов
externally_defined_text_font -множество всех экземпляров объектаexternally_ de-
flned_text_font:
pre_defined_text_font - множество всех экземпляров объекта pre_defined_ text_font.
Формальные утверждения
WR1 - не должно существовать ни одного экземпляра объекта externally_de-
fined_text_font. на который не ссылается экземпляр объекта textjiteral;
WR2 - не должно существовать ни одного экземпляра объекта pre_defined_ text_font, на кото
рый не ссылается экземпляр объекта textjiteral.
*>
END_SCHEMA; -- Text_appearance_mim
(*
14