Application module: Part view definition | ISO/TS 10303-1023:2018-11(E) © ISO |
(*
ISO/TC 184/SC 4/WG 12 N9333 - ISO/TS 10303-1023 Part view definition - EXPRESS ARM
Supersedes
ISO/TC 184/SC 4/WG 12 N8038
*)
SCHEMA Part_view_definition_arm;
USE FROM
Part_and_version_identification_arm;
-- ISO/TS 10303-1022
USE FROM
Product_view_definition_arm;
-- ISO/TS 10303-1019
TYPE pvd_life_cycle_stage_enumeration =
ENUMERATION
BASED_ON
life_cycle_stage_enumeration
WITH
(design);
END_TYPE;
ENTITY Additional_part_view_definition_context
SUBTYPE OF (Additional_view_definition_context);
INVERSE
SELF\Additional_view_definition_context.views : SET[1:?] OF Part_view_definition FOR additional_contexts;
END_ENTITY;
ENTITY Initial_part_view_definition_context
SUBTYPE OF (Initial_view_definition_context);
INVERSE
SELF\Initial_view_definition_context.views : SET[1:?] OF Part_view_definition FOR initial_context;
END_ENTITY;
ENTITY Part_view_definition
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Part_version;
SELF\Product_view_definition.initial_context : Initial_part_view_definition_context;
SELF\Product_view_definition.additional_contexts : SET[0:?] OF Additional_part_view_definition_context;
END_ENTITY;
RULE part_view_definition_constraint FOR
(Product_view_definition);
WHERE
WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( 'PART_VIEW_DEFINITION_ARM.PART_VIEW_DEFINITION' IN TYPEOF (pvd)
) ) AND ( 'PART_VIEW_DEFINITION_ARM.PART_VERSION' IN TYPEOF ( pvd.defined_version) ) ) ) =0;
END_RULE;
END_SCHEMA; -- Part_view_definition_arm
© ISO 2018 — All rights reserved