|
ENTITY Layer_connection_point ABSTRACT SUPERTYPE OF (ONEOF (Explicitly_located_layer_connection_point, Dependently_located_layer_connection_point)) SUBTYPE OF (Shape_element); SELF\Shape_element.element_name : STRING; location_2d : OPTIONAL Cartesian_point; location_3d : OPTIONAL Cartesian_point; SELF\Shape_element.containing_shape RENAMED resident_design_layer_stratum : Design_layer_stratum; DERIVE aggregate_join : SET [1:?] OF Join_relationship := make_aggregate_join( inter_join_path, intra_join_path, embedded_physical_component_path, unrouted_join_path); reference_network : Generic_physical_network := aggregate_join[1].network_topology; INVERSE inter_join_path : SET [0:1] OF Inter_stratum_join_relationship FOR points_to_be_connected; intra_join_path : SET [0:?] OF Intra_stratum_join_relationship FOR points_to_be_connected; embedded_physical_component_path : SET [0:?] OF Stratum_embedded_physical_component_join_relationship FOR point_to_be_connected; unrouted_join_path : SET [0:1] OF Unrouted_join_relationship FOR unrouted_lcp; UNIQUE UR1 : element_name, resident_design_layer_stratum; WHERE WR1: EXISTS(location_2d) OR EXISTS(location_3d); WR2: NOT (EXISTS(location_2d)) OR ((SIZEOF(location_2d\Cartesian_point.coordinates)) = 2); WR3: NOT (EXISTS(location_3d)) OR ((SIZEOF(location_3d\Cartesian_point.coordinates)) = 3); WR4: EXISTS(reference_network); WR5: NOT EXISTS (SELF\Shape_element.description); WR6: SIZEOF(QUERY(ijp <* intra_join_path | NOT(resident_design_layer_stratum :=: ijp.associated_stratum) )) = 0; END_ENTITY; -- Layer_connection_point |
Entity data types and their attributesShape_element(OPT) id: STRING; (OPT) element_name: STRING; (OPT) description: STRING; containing_shape: Item_shape; Layer_connection_point (RT) element_name: STRING; (OPT) location_2d: Cartesian_point; (OPT) location_3d: Cartesian_point; (RT) containing_shape->resident_design_layer_stratum: Design_layer_stratum; (DER) aggregate_join: SET [1:?] OF Join_relationship; (DER) reference_network: Generic_physical_network; (INV) inter_join_path: SET [0:1] OF Inter_stratum_join_relationship FOR points_to_be_connected; (INV) intra_join_path: SET [0:?] OF Intra_stratum_join_relationship FOR points_to_be_connected; (INV) embedded_physical_component_path: SET [0:?] OF Stratum_embedded_physical_component_join_relationship FOR point_to_be_connected; (INV) unrouted_join_path: SET [0:1] OF Unrouted_join_relationship FOR unrouted_lcp; |
| Dependently_located_layer_connection_point (Layered_interconnect_module_design_arm) |
| Explicitly_located_layer_connection_point (Layered_interconnect_module_design_arm) |
Global rules for this entity data type- |