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 Basic_geometry_mim;    --  ISO/TS 10303-1652



USE FROM Colour_mim;    --  ISO/TS 10303-1002



USE FROM Presentation_hierarchy_mim;    --  ISO/TS 10303-1330



USE FROM presentation_organization_schema    --  ISO 10303-46
  (camera_image,
   camera_model_d3,
   camera_model_d3_multi_clipping,
   camera_model_d3_multi_clipping_intersection,
   camera_model_d3_multi_clipping_union,
   camera_model_d3_with_hlhsr,
   camera_model_with_light_sources,
   camera_image_3d_with_scale,
   view_volume);



USE FROM presentation_appearance_schema    --  ISO 10303-46
  (context_dependent_over_riding_styled_item);
(*



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

Basic_geometry_mim	ISO/TS 10303-1652
Colour_mim	ISO/TS 10303-1002
Presentation_hierarchy_mim	ISO/TS 10303-1330
presentation_organization_schema	ISO 10303-46
presentation_appearance_schema	ISO 10303-46

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

5.2.1 MIM entity definition

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

5.2.1.1 hidden_element_over_riding_styled_item   

EXPRESS specification:

*)
ENTITY hidden_element_over_riding_styled_item
  SUBTYPE OF (context_dependent_over_riding_styled_item);
  SELF\context_dependent_over_riding_styled_item.style_context : LIST[1:1] OF presentation_view;
  SELF\styled_item.item : camera_image;
INVERSE
  container : SET[1:?] OF presentation_view FOR items;
WHERE
  WR1: 'PRESENTATION_ORGANIZATION_SCHEMA.CAMERA_MODEL_D3_WITH_HLHSR' IN TYPEOF (SELF.item\mapped_item.mapping_source.mapping_origin);
END_ENTITY;
(*

Attribute definitions:

style_context: an attribute inherited from the context_dependent_over_riding_styled_item shall be redeclared as the presentation_view for the hidden_element_over_riding_styled_item. There shall exist exactly one presentation_view for the hidden_element_over_riding_styled_item.

item: an attribute inherited from the styled_item shall be redeclared as the camera_image for the hidden_element_over_riding_styled_item.

container: specifies an inverse relationship that specifies that the existence of the hidden_element_over_riding_styled_item is dependent on the existence of the presentation_view that specifies the hidden_element_over_riding_styled_item as its items.

Formal propositions:

WR1: The mapping_origin of the item shall be a camera_model_d3_with_hlhsr.

© ISO 2018 — All rights reserved