ENTITY passage_technology_allocation_to_stack_model_armx SUBTYPE OF (stratum_sub_stack_armx, passage_technology_allocation_to_stack_model); allocated_technology : passage_technology_armx; single_stratum_passage_location : OPTIONAL stratum_technology_occurrence_armx; target_stratum : OPTIONAL stratum_technology_occurrence_armx; DERIVE terminus_stratum : SET [0:?] OF stratum_technology_occurrence_armx := ft_get_terminus(SELF\Stratum_sub_stack_armx.stratum_technology_sequence); SELF\property_definition.name : label := ?; SELF\property_definition.description : text := ?; SELF\property_definition.id : identifier := ?; INVERSE minimum_annular_ring : SET [0:?] OF allocated_passage_minimum_annular_ring_armx FOR associated_passage_allocation; WHERE wr1: (NOT EXISTS(single_stratum_passage_location) OR (single_stratum_passage_location IN SELF\Stratum_sub_stack_armx.associated_stackup.composing_occurrence)); wr2: EXISTS(SELF\Stratum_sub_stack_armx.stratum_technology_sequence) XOR EXISTS(single_stratum_passage_location); wr3: SIZEOF(get_stack(SELF\Stratum_sub_stack_armx.stratum_technology_sequence)) = (SIZEOF(SELF\Stratum_sub_stack_armx.stratum_technology_sequence) + 1); wr4: sts_vertex_degree_check(SELF\Stratum_sub_stack_armx.stratum_technology_sequence, 2); wr5: NOT EXISTS(single_stratum_passage_location) OR NOT EXISTS(target_stratum); wr6: NOT EXISTS(target_stratum) OR ((target_stratum IN SELF\Stratum_sub_stack_armx.associated_stackup.composing_occurrence) AND (target_stratum IN terminus_stratum)); wr7: ft_count_unspecified_asto(minimum_annular_ring) < 2; END_ENTITY; -- passage_technology_allocation_to_stack_model_armx |
Entity data types and their attributesproperty_definitionname: label; (OPT) description: text; definition: characterized_definition; (DER) id: identifier; product_definition_shape - product_definition id: identifier; (OPT) description: text; formation: product_definition_formation; frame_of_reference: product_definition_context; (DER) name: label; product_view_definition (RT) (OPT) description->name_x: STRING; (OPT) additional_characterization: STRING; (RT) frame_of_reference->initial_context: product_definition_context; (OPT) additional_contexts: SET [1:?] OF product_definition_context; (RT) formation->defined_version: product_definition_formation; (RT) (DER) name: label; part_template_definition (RT) (DER) definition: part_template_definition; template_definition (RT) defined_version: template_version; (OPT) physical_characteristic: SET [1:?] OF correlated_or_independent; (RT) (DER) name: label; (RT) (DER) definition: shapeable_item; stratum_sub_stack - stratum_sub_stack_armx (OPT) stack_thickness: length_tolerance_characteristic; (OPT) stratum_technology_sequence: SET [1:?] OF stratum_technology_occurrence_link_armx; associated_stackup: design_stack_model_armx; passage_technology_allocation_to_stack_model - passage_technology_allocation_to_stack_model_armx allocated_technology: passage_technology_armx; (OPT) single_stratum_passage_location: stratum_technology_occurrence_armx; (OPT) target_stratum: stratum_technology_occurrence_armx; (DER) terminus_stratum: SET [0:?] OF stratum_technology_occurrence_armx; (RT) (DER) name: label; (RT) (DER) description: text; (RT) (DER) id: identifier; (INV) minimum_annular_ring: SET [0:?] OF allocated_passage_minimum_annular_ring_armx FOR associated_passage_allocation; |
Global rules for this entity data type- |
public interface EPassage_technology_allocation_to_stack_model_armx extends EStratum_sub_stack_armx, EPassage_technology_allocation_to_stack_modelallocated_technology (explicit attribute)boolean testAllocated_technology(EPassage_technology_allocation_to_stack_model_armx type)EPassage_technology_armx getAllocated_technology(EPassage_technology_allocation_to_stack_model_armx type) void setAllocated_technology(EPassage_technology_allocation_to_stack_model_armx type, EPassage_technology_armx value) void unsetAllocated_technology(EPassage_technology_allocation_to_stack_model_armx type) single_stratum_passage_location (explicit attribute)boolean testSingle_stratum_passage_location(EPassage_technology_allocation_to_stack_model_armx type)EStratum_technology_occurrence_armx getSingle_stratum_passage_location(EPassage_technology_allocation_to_stack_model_armx type) void setSingle_stratum_passage_location(EPassage_technology_allocation_to_stack_model_armx type, EStratum_technology_occurrence_armx value) void unsetSingle_stratum_passage_location(EPassage_technology_allocation_to_stack_model_armx type) target_stratum (explicit attribute)boolean testTarget_stratum(EPassage_technology_allocation_to_stack_model_armx type)EStratum_technology_occurrence_armx getTarget_stratum(EPassage_technology_allocation_to_stack_model_armx type) void setTarget_stratum(EPassage_technology_allocation_to_stack_model_armx type, EStratum_technology_occurrence_armx value) void unsetTarget_stratum(EPassage_technology_allocation_to_stack_model_armx type) terminus_stratum (derived attribute)AStratum_technology_occurrence_armx getTerminus_stratum(EPassage_technology_allocation_to_stack_model_armx type)boolean testTerminus_stratum(EPassage_technology_allocation_to_stack_model_armx type) minimum_annular_ring (inverse attribute)AAllocated_passage_minimum_annular_ring_armx getMinimum_annular_ring(EPassage_technology_allocation_to_stack_model_armx type, ASdaiModel domain) |
public class CPassage_technology_allocation_to_stack_model_armx implements EPassage_technology_allocation_to_stack_model_armxstatic EAttribute attributeAllocated_technology(EPassage_technology_allocation_to_stack_model_armx type)static int usedinAllocated_technology(EPassage_technology_allocation_to_stack_model_armx type, EPassage_technology_armx instance, ASdaiModel domain, APassage_technology_allocation_to_stack_model_armx result) static EAttribute attributeSingle_stratum_passage_location(EPassage_technology_allocation_to_stack_model_armx type) static int usedinSingle_stratum_passage_location(EPassage_technology_allocation_to_stack_model_armx type, EStratum_technology_occurrence_armx instance, ASdaiModel domain, APassage_technology_allocation_to_stack_model_armx result) static EAttribute attributeTarget_stratum(EPassage_technology_allocation_to_stack_model_armx type) static int usedinTarget_stratum(EPassage_technology_allocation_to_stack_model_armx type, EStratum_technology_occurrence_armx instance, ASdaiModel domain, APassage_technology_allocation_to_stack_model_armx result) static EAttribute attributeTerminus_stratum(EPassage_technology_allocation_to_stack_model_armx type) static int usedinTerminus_stratum(EPassage_technology_allocation_to_stack_model_armx type, EStratum_technology_occurrence_armx instance, ASdaiModel domain, APassage_technology_allocation_to_stack_model_armx result) static EAttribute attributeName(EPassage_technology_allocation_to_stack_model_armx type) static EAttribute attributeDescription(EPassage_technology_allocation_to_stack_model_armx type) static EAttribute attributeId(EPassage_technology_allocation_to_stack_model_armx type) static EAttribute attributeMinimum_annular_ring(EPassage_technology_allocation_to_stack_model_armx type) |
public class APassage_technology_allocation_to_stack_model_armx extends AEntitypublic EPassage_technology_allocation_to_stack_model_armx getByIndex(int index)public EPassage_technology_allocation_to_stack_model_armx getCurrentMember(SdaiIterator it) |