ГОСТ Р ИСО 10303-46-2002
EXPRESS-спецификация
4)
ЕNTIТY text_string_representation
SUBTYPE OF (representation);
WHERE
WRI: SIZEOF (
QUERY (item <• SELF\representation.items |
SIZEOF (|’PRESENTAT10N_DEFINITION_SCHEMA.TEXT_LlTERAL’,
•PRESENTATI0N_DEFINITI0N_SCHEMA.ANN0TAT10N„TEXT\ 1
PRESENTATION_DEFINITION_SCHEMA.ANNOTAT10N_TEXT_
CHARACTER".
PRESENTATION DEFINITION SCHEMA.’DEFINED CHARACTER
GLYPH’.
’PRESENTAT!ON_DEFIN lTION_SCHEMA.COMPOSITE_TEXT\ *
’GEOMETRY SCHEMA.AXIS2 PLACEMENT|TYPEOF (item)) = 0
)) = 0
W’R2: SIZEOF (
w
QUERY (item <• SELF\representation.items |
NOT (SIZEOF (|’PRESENTATION_DEFINIT10N_SCHEMA.TEXT_LITERAL’,
PRESENTATION DE
f
1
n
1TION_SCHEMA.
’ANNOTATIONJTEXT,*
PRESENTATION_DEFINITION SCHEMA. ANNOTATION TEXT
CHARACTER",
’PRESENTATION _DEFINmON_SCHEMA.’DEFINED__CHARACTER_
GLYPH’,
’PRESENTATION_DEFINlTION_SCHEMA.COM POSITE_TEXT.I*
TYPEOF (item)) = 0)
)) > = l;
WR3: SIZEOF (
QUERY (a2p <♦
QUERY (item <• SELF\represent ation. items |
’GEOMETR Y_SCHEMA. AX IS2_PLACEMENT’ IN TYPEOF (item)) |
NOT ((SIZEOF (
QUERY (at <*
QUERY (item <• SELF\representation.items |
,PRESENTATl0N_DEFiNIT10N_SCHEMA.+
*ANNОТATIОN_TEXT IN TYPEOF (item)) |
(at\mapped_item.mapping_target :=: a2p))) >= I) OR
SIZEOF (
QUERY (ate <♦
QUERY (item <• SELF\representation.items |
’PRESENTATION. DEFINITION_SCHEMA.’+
’ANNOTATION_fEXT CHARACTER’ IN TYPEOF (item)) |
(atc\mappedjtem.mapping_target :=: a2p))) >= I)
))) = 0
END_ENTITY;
Г
Огтеделсиие атрибута
SELF\rcpresentation.items — набор объектов item, переопределенный в виде набора строк и
компоновок.
Формальные утверждения
WR1 — каждым элементом примитива text_string_representation должны быть объекты annotati-
on_text, annotation_text_character. tcxMiteral. conjposite_text или axis2_placement;
WR2 — примитив text_string_representation должен содержать один или несколько объектов
annotation_text. annotation_text_character. text_litcral или composite_text;
42