|
ENTITY Marking; marked_message : marked_message_select; marked_device_shape : marking_shape_select; placement : Axis_placement; message_representation : Geometric_model; message_representation_text : Text_literal_with_extent; DERIVE marking_specification : SET [0:?] OF Document_definition := get_document_definition(SELF, 'marking specification', 'SPECIFICATION_DOCUMENT_ARM.SPECIFICATION_DEFINITION'); INVERSE marking_material : Material_identification FOR items; WHERE WR1: SIZEOF(QUERY(st <* message_representation\Geometric_model.items | (st = message_representation_text))) = 1; WR2: SIZEOF(QUERY(ap <* marked_device_shape\Geometric_model.items | (ap = placement))) = 1; WR3: SIZEOF(TYPEOF(marked_device_shape) * ['DEVICE_MARKING_ARM.PHYSICAL_UNIT_3D_SHAPE_MODEL', 'DEVICE_MARKING_ARM.PHYSICAL_UNIT_PLANAR_SHAPE_MODEL']) = 1; WR4: 'CONDUCTIVITY_MATERIAL_ASPECTS_ARM.'+ 'MATERIAL_IDENTIFICATION_WITH_CONDUCTIVITY_CLASSIFICATION' IN TYPEOF (marking_material); WR5: EXISTS (marking_specification) AND (SIZEOF(marking_specification) = 1); END_ENTITY; -- Marking |
Entity data types and their attributesMarkingmarked_message: marked_message_select; marked_device_shape: marking_shape_select; placement: Axis_placement; message_representation: Geometric_model; message_representation_text: Text_literal_with_extent; (DER) marking_specification: SET [0:?] OF Document_definition; (INV) marking_material: Material_identification FOR items; |
Global rules for this entity data type- |