RULE source_for_library_definition

(* SCHEMA step_ship_schema; *)

-- ONLY IN AP218
RULE source_for_library_definition FOR (representation,
             representation_item, group, applied_classification_assignment);

    LOCAL
      violation       : LOGICAL := FALSE;
      c_a_set         : SET OF applied_classification_assignment := [];
      arg_list        : LIST OF STRING := ['library definition'];
      classed_rep_set : SET OF representation := [];
    END_LOCAL;
    c_a_set := QUERY ( i <* applied_classification_assignment | (i.
        assigned_class.name = 'source') );
    REPEAT i := 1 TO HIINDEX(c_a_set) BY 1;
      REPEAT j := 1 TO HIINDEX(c_a_set[i].items) BY 1;
        classed_rep_set := classed_rep_set + c_a_set[i].items[j];
      END_REPEAT;
    END_REPEAT;
    REPEAT i := 1 TO HIINDEX(classed_rep_set) BY 1 WHILE NOT violation;
      REPEAT j := 1 TO HIINDEX(arg_list) BY 1 WHILE NOT violation;
        violation := SIZEOF(QUERY ( rep_item <* classed_rep_set[i].items
             | (rep_item.name = arg_list[j]) )) <> 1;
      END_REPEAT;
    END_REPEAT;

  WHERE
    wr1: (NOT violation);

END_RULE;

Generated by STEP Tools^TM EXPRESS to HTML Converter
on 2007-09-24T12:42:22-04:00