|
|
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:
-
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.
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.
The aa_representation_item_subtypes constraint provides a ONEOF constraint for instances of the
mapped_item
or styled_item subtypes of
representation_items.
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.
The styled_curve rule ensures that a styled_item
of a curve
is defined by a single curve_style.
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
