ГОСТ Р ИСОЛ-С 10303-1003—2013
5.2.2.1 Объект ©xternally_definod_marker
Объект oxtornally_defined_marker является подтипом объектов externally_ defined_symbol и
pro_defined_marker, который реализует понятие маркера, определенного во внешнем источнике, пред
ставленное в ПЭМ объектом Externally_ dofinod_markor.
EXPRESS-слециФикация:
*)
ENTITY externally_defmed_marker
SUBTYPE OF (externally defined_symbol, pre_defined_marker):
END_ENTITY;
Г
5.2 2.2 Объект externally_definod_terminator_symbol
Объект externally_defined_terminator_symbol является подтипом объекта externally_defined_
symbol, который реализует понятие символа конца кривой, определенного во внешнем источнике,
представленное в ПЭМ объектом Externally_ deflned_terminator.
EXPRESS-слециФикация:
*)
ENTITY extemally_defined_terminator_symbol
SUBTYPE OF (externally_defined_symbol);
END_ENTITY;
(*
5.2.2.3 Объект pre_defined_point_markor_symbol
Объект pro_defined_point_markor_symbol является подтипом объектов pre_ defmod_marker и
pre_defined_symbol.
EXPRESS-слециФикация:
*)
ENTITY pre_defmed_point_marker_symbol
SUBTYPE OF (pre_defined_marker, pre_defmed_symbol);
WHERE
WR1: SELF.name IN
[■asterisk’.’circte’.’dotVpIus’.’square’.’triangle’.’x’]:
END_ENTITY;
Г
Формальное утверждение
WR1 — значением атрибута nam e объекта pre_defined_point_marker_symbol должно быть
’asterisk (звездочка)’, ’circle (круг)’, dot (точка)’, ’plus (плюс)’, square (квадрат)’, ’triangle (треугольник)’
или ’х\
5.2 2.4 Объект pre_dofined_terminator_symbol
Объект pro_defmed_terminator_symbol является подтипом объекта pre_defined_ symbol, кото
рый реализует понятие предопределенного символа конца кривой, представленное в ПЭМ объектом
Predofined_terminator. Объект pre_dofinod_ torminator_symbol представляет символ конца кривой и
идентифицируется с помощью наименования.
EXPRESS-слециФикация:
*)
ENTITY pre_defmed_terminator_symbol
SUBTYPE OF (pre_defined_symbol);
WHERE
WR1: SELF.name IN [’blanked arrow’, ’blanked box’, ’blanked dot’,
blanked triangle’, ‘dimension origin’, ‘filled arrow’, ’filled box’,
filled dot’, ’integral symbol’, ‘open arrow’, slash’,
’unfilled arrow’, ’unfilled triangle’, filled triangle-]:
END_ENTITY;
(*
12