weld_mechanism_prismatic

EXPRESS specification:

ENTITY weld_mechanism_prismatic
SUBTYPE OF ( | weld_mechanism);
cross_sections | : | LIST [2:?] OF section_profile;
points_defining_weld_path | : | LIST [2:?] OF point_on_curve;
section_orientations | : | LIST [2:?] OF orientation_select;
joint_configuration | : | weld_configuration;
DERIVE
number_of_sections | : | INTEGER := SIZEOF(cross_sections);
curve_defining_weld | : | curve := points_defining_weld_path[1]\point_on_curve.basis_curve;
joints | : | SET OF joint_system_welded := bag_to_set (USEDIN(SELF,'STRUCTURAL_FRAME_SCHEMA.JOINT_SYSTEM_WELDED.WELD_SPECIFICATION'));
WHERE
WRW3 | : | ( (SIZEOF (points_defining_weld_path) = number_of_sections) AND (SIZEOF (section_orientations) = number_of_sections) );
WRW4 | : | SIZEOF(QUERY(temp <* points_defining_weld_path | (temp\point_on_curve.basis_curve) :<>: curve_defining_weld)) = 0;
WRW5 | : | SIZEOF(QUERY(joint <* joints | ( NOT('STRUCTURAL_FRAME_SCHEMA.JOINT_SYSTEM_WELDED_LINEAR' IN TYPEOF(joint)))))=0;
WRW6 | : | SIZEOF(QUERY(joint <* joints | (NOT(joint.weld_path :=: curve_defining_weld)))) = 0;
END_ENTITY;

References (1):

Name | Type | Referred through | Express-G
weld_mechanism | Entity |
Subtype
| No Diagram

Inheritance graph

ENTITY weld_mechanism_prismatic;
ENTITY structural_frame_item;
item_number | : | INTEGER;
item_name | : | label;
item_description | : | OPTIONAL text;
DERIVE
item_ref | : | BAG OF identifier := get_item_ref(SELF);
cost_code | : | BAG OF label := get_item_cost_code(SELF);
object_id | : | globally_unique_id := get_instance_id(SELF);
ENTITY structural_frame_product;
life_cycle_stage | : | OPTIONAL label;
ENTITY weld_mechanism;
weld_mechanism_type | : | weld_type;
penetration | : | weld_penetration;
weld_dimension | : | OPTIONAL positive_length_measure_with_unit;
weld_dimension_name | : | OPTIONAL label;
weld_design_strength | : | OPTIONAL pressure_measure_with_unit;
ENTITY weld_mechanism_prismatic;
cross_sections | : | LIST [2:?] OF section_profile;
points_defining_weld_path | : | LIST [2:?] OF point_on_curve;
section_orientations | : | LIST [2:?] OF orientation_select;
joint_configuration | : | weld_configuration;
DERIVE
number_of_sections | : | INTEGER := SIZEOF(cross_sections);
curve_defining_weld | : | curve := points_defining_weld_path[1]\point_on_curve.basis_curve;
joints | : | SET OF joint_system_welded := bag_to_set (USEDIN(SELF,'STRUCTURAL_FRAME_SCHEMA.JOINT_SYSTEM_WELDED.WELD_SPECIFICATION'));
END_ENTITY;