RULE maximum_of_one_representation_items_for_class_library_definition

(* SCHEMA ship_structures_schema; *)

  RULE maximum_of_one_representation_items_for_class_library_definition FOR (
             representation, applied_classification_assignment, 
             classification_role, group);

    LOCAL
      var_representation : BAG OF representation := [];
    END_LOCAL;
    var_representation := QUERY ( temp1 <* representation | (SIZEOF(
        QUERY ( temp2 <* bag_to_set(USEDIN(temp1,
        'SHIP_STRUCTURES_SCHEMA.APPLIED_CLASSIFICATION_ASSIGNMENT.ITEMS'))
         | ((temp2\classification_assignment.role.name = 'class membership') 
        AND (temp2\classification_assignment.assigned_class\group.name = 
        'library definition')) )) > 0) );

  WHERE
    wr1: (SIZEOF(QUERY ( temp3 <* var_representation | (SIZEOF(temp3.items) 
             > 1) )) = 0);

  END_RULE; -- maximum_of_one_representation_items_for_class_library_definition

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:03-04:00