5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

• use of a supertype entity does not make applicable any of its specializations, unless the specialization is also imported in the MIM schema;
• use of a SELECT type does not make applicable any of its listed types unless the listed type is also imported in the MIM schema.

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

USE FROM presentation_appearance_schema    --  ISO 10303-46
  (curve_style,
   curve_style_font,
   draughting_pre_defined_curve_font,
   marker_select,
   marker_type,
   point_style,
   pre_defined_curve_font,
   pre_defined_marker);



USE FROM presentation_definition_schema    --  ISO 10303-46
  (externally_defined_symbol,
   pre_defined_symbol);



USE FROM presentation_resource_schema    --  ISO 10303-46
  (externally_defined_text_font);



USE FROM representation_schema    --  ISO 10303-43
  (mapped_item);



USE FROM Styled_curve_mim;    --  ISO/TS 10303-1749
(*



NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

presentation_appearance_schema	ISO 10303-46
presentation_definition_schema	ISO 10303-46
presentation_resource_schema	ISO 10303-46
representation_schema	ISO 10303-43
Styled_curve_mim	ISO/TS 10303-1749

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM type definition

This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.

5.2.1.1 terminator   

EXPRESS specification:

*)
TYPE terminator = SELECT
   (externally_defined_terminator_symbol,
    pre_defined_terminator_symbol,
    user_defined_terminator_symbol);
END_TYPE;
(*

5.2.2 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.2.1 externally_defined_marker   

EXPRESS specification:

*)
ENTITY externally_defined_marker
  SUBTYPE OF (externally_defined_symbol, pre_defined_marker);
END_ENTITY;
(*

5.2.2.2 externally_defined_terminator_symbol   

EXPRESS specification:

*)
ENTITY externally_defined_terminator_symbol
  SUBTYPE OF (externally_defined_symbol);
END_ENTITY;
(*

5.2.2.3 pre_defined_point_marker_symbol   

A pre_defined_point_marker_symbol is a type of pre_defined_marker and a type of pre_defined_symbol with a shape that is either an asterisk, circle, dot, plus, square, triangle or "x".

NOTE    The shape, size, and origin of each of these symbols is defined in Figure 1.

EXPRESS specification:

*)
ENTITY pre_defined_point_marker_symbol
  SUBTYPE OF (pre_defined_marker, pre_defined_symbol);
WHERE
  WR1: SELF.name IN ['asterisk','circle','dot','plus','square','triangle','x'];
END_ENTITY;
(*

Formal propositions:

WR1: The name of the pre_defined_point_marker_symbol shall be 'asterisk','circle','dot','plus','square','triangle' or 'x'.

5.2.2.4 pre_defined_terminator_symbol   

EXPRESS specification:

*)
ENTITY pre_defined_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;
(*

Formal propositions:

WR1: The name of the pre_defined_terminator_symbol shall be 'blanked arrow', 'blanked box', 'blanked dot', 'dimension origin', 'filled arrow', 'filled box', 'filled dot', 'integral symbol', 'open arrow', 'slash', 'unfilled arrow', 'unfilled triangle', or 'filled triangle'.

The pre_defined_terminator_symbols are:

blanked arrow: a graphical symbol depicted as three line segments which form an isosceles triangle. The origin of the symbol corresponds to the intersection point of the two equal sides. The annotation curve, to which the symbol is applied, acts as a bisector to the angle created by the two equal sides. The area within the symbol is blanked.

blanked box: a graphical symbol depicted as four line segments which form a square. Two opposite sides of the square are parallel to the annotation curve to which the symbol is applied. The origin of the symbol is the geometric center of the square. The area within the symbol is blanked.

blanked dot: a graphical symbol depicted as a circle. The origin of the symbol is the center of the circle. The area within the symbol is blanked.

dimension origin: a graphical symbol depicted as a circle. The origin of the symbol is the center of the circle.

filled arrow: a graphical symbol depicted as three line segments which form an isosceles triangle. The origin of the symbol corresponds to the intersection point of the two equal sides. The annotation curve, to which the symbol is applied, acts as a bisector to the angle created by the two equal sides. The area within the symbol is shaded.

filled box: a graphical symbol depicted as four line segments which form a square. Two opposite sides of the square are parallel to the annotation curve to which the symbol is applied. The origin of the symbol is the geometric center of the square. The area that lies within the symbol is shaded.

filled dot: a graphical symbol depicted as a circle. The origin of the symbol is the center of the circle. The area within the symbol is shaded.

integral symbol: a graphical symbol depicted as one line segment forming two adjacent arcs. The origin of the symbol is the midpoint between the two arcs.

open arrow: a graphical symbol depicted as three line segments which form an isosceles triangle where the third side of the triangle is blanked. The origin of the symbol corresponds to the intersec-tion point of the two equal sides. The annotation curve, to which the symbol is applied, acts as a bi-sector to the angle created by the two equal sides.

slash: a graphical symbol depicted as a line segment with the midpoint of the segment being the origin and lying on the annotation curve to which it is applied.

unfilled arrow: a graphical symbol depicted as three line segments which form an isosceles triangle. The origin of the symbol corresponds to the intersection point of the two equal sides. The annotation curve, to which the symbol is applied, acts as a bisector to the angle created by the two equal sides.

unfilled triangle: a graphical symbol depicted as three line segments which form an isosceles triangle. The origin of the symbol corresponds to the middle point of the side opposite to the two equal sides. The annotation curve, to which the symbol is applied, ends at the intersection point of the two equal sides.

filled triangle: a graphical symbol depicted as three line segments which form an isosceles triangle. The origin of the symbol corresponds to the middle point of the side opposite to the two equal sides. The annotation curve, to which the symbol is applied, ends at the intersection point of the two equal sides. The area that lies within the symbol is shaded.

5.2.2.5 user_defined_marker   

EXPRESS specification:

*)
ENTITY user_defined_marker
  SUBTYPE OF (mapped_item, pre_defined_marker);
END_ENTITY;
(*

5.2.2.6 user_defined_terminator_symbol   

EXPRESS specification:

*)
ENTITY user_defined_terminator_symbol
  SUBTYPE OF (mapped_item, pre_defined_symbol);
END_ENTITY;
(*

5.2.2.7 vector_style   

EXPRESS specification:

*)
ENTITY vector_style
  SUBTYPE OF (curve_style, pre_defined_terminator_symbol);
END_ENTITY;
(*

© ISO 2019 — All rights reserved