|
ENTITY Package_body SUBTYPE OF (Part_feature); SELF\Part_feature.associated_definition : Package; INVERSE body_material : Material_identification FOR items; WHERE WR1: SIZEOF(QUERY(pf <* USEDIN(SELF, 'PACKAGE_ARM.PACKAGE_BODY_SURFACE.ASSOCIATED_PACKAGE_BODY') | ('PACKAGE_ARM.' + 'PACKAGE_BODY_TOP_SURFACE' IN TYPEOF(pf)))) <= 1; WR2: SIZEOF(QUERY(pf <* USEDIN(SELF, 'PACKAGE_ARM.PACKAGE_BODY_SURFACE.ASSOCIATED_PACKAGE_BODY') | ('PACKAGE_ARM.' + 'PACKAGE_BODY_BOTTOM_SURFACE' IN TYPEOF(pf)))) <= 1; WR3: SIZEOF(QUERY(pf <* USEDIN(SELF, 'PACKAGE_ARM.PACKAGE_BODY_SURFACE.ASSOCIATED_PACKAGE_BODY') | ('PACKAGE_ARM.' + 'PACKAGE_BODY_EDGE_SURFACE' IN TYPEOF(pf)))) <= 1; WR4: 'CONDUCTIVITY_MATERIAL_ASPECTS_ARM.'+ 'MATERIAL_IDENTIFICATION_WITH_CONDUCTIVITY_CLASSIFICATION' IN TYPEOF (body_material); END_ENTITY; -- Package_body |
Entity data types and their attributesShape_element(OPT) id: STRING; (OPT) element_name: STRING; (OPT) description: STRING; containing_shape: Item_shape; Shape_feature (OPT) connection_area: SET [1:?] OF Connection_zone; (RT) element_name: STRING; (DER) surface_conditions: SET [0:?] OF Surface_condition; Part_feature (RT) containing_shape->associated_definition: Part_usage_view; (OPT) material_state_change: material_state_change_enumeration; (OPT) precedent_feature: Part_feature; (INV) feature_shape: SET [0:?] OF Usage_concept_usage_relationship FOR associated_usage; (INV) subsequent_feature: SET [0:1] OF Part_feature FOR precedent_feature; Package_body (RT) associated_definition: Package; (INV) body_material: Material_identification FOR items; |
Global rules for this entity data type- |