Application module: Appearance assignment | ISO/TS 10303-1001:2019(E) © ISO |
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:
Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.
EXPRESS specification:
*)
SCHEMA Appearance_assignment_mim;
USE FROM
Elemental_geometric_shape_mim;
--
ISO/TS 10303-1004
USE FROM
presentation_appearance_schema
--
ISO 10303-46
(context_dependent_over_riding_styled_item,
fill_area_style_colour,
invisibility,
over_riding_styled_item,
presentation_style_assignment,
presentation_style_by_context,
externally_defined_style,
style_context_select,
styled_item);
USE FROM
presentation_resource_schema
--
ISO 10303-46
(planar_box);
USE FROM
product_property_representation_schema
--
ISO 10303-41
(shape_representation_reference);
USE FROM
representation_schema
--
ISO 10303-43
(mapped_item,
representation,
representation_reference);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Elemental_geometric_shape_mim ISO/TS 10303-1004 presentation_appearance_schema ISO 10303-46 presentation_resource_schema ISO 10303-46 product_property_representation_schema ISO 10303-41 representation_schema ISO 10303-43
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.
The appearance_representation_identification_item type is an extension of the identification_item type. It adds the data type representation to the list of alternate data types.
EXPRESS specification:
*)
TYPE
appearance_representation_identification_item =
SELECT
BASED_ON
identification_item
WITH
(representation);
END_TYPE;
(*
This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT aa_representation_item_subtypes FOR representation_item;
ONEOF (mapped_item,
styled_item);
END_SUBTYPE_CONSTRAINT;
(*
This subclause specifies the MIM rule for this module. The MIM rule and definition is specified below.
EXPRESS specification:
*)
RULE styled_curve FOR
(styled_item);
WHERE
WR1: SIZEOF( QUERY( si <* styled_item | ('APPEARANCE_ASSIGNMENT_MIM.CURVE' IN TYPEOF (si.item)) AND (SIZEOF (QUERY (psa <*
si.styles | (SIZEOF (QUERY (cs <* psa.styles | ('APPEARANCE_ASSIGNMENT_MIM.CURVE_STYLE' IN TYPEOF (cs)) )) > 0) )) <> 1) ))
= 0;
END_RULE;
(*
Argument definitions:
styled_item : the set of all instances of styled_item.
Formal propositions:
WR1: There shall be no instance of styled_item of a curve that has not exactly one curve_style.
*)
END_SCHEMA; -- Appearance_assignment_mim
(*
© ISO 2019 — All rights reserved