RULE user_defined_value_description_required_for_requirement_type

(* SCHEMA Ship_arrangement_schema; *)

   RULE user_defined_value_description_required_for_requirement_type FOR (representation );
   LOCAL
      rep_set : SET OF representation := [];
      violation : LOGICAL := FALSE;
   END_LOCAL;
      REPEAT i := 1 TO HIINDEX(representation) WHILE NOT violation;
         violation := (SIZEOF(QUERY (r <* representation[i].items| (('SHIP_ARRANGEMENT_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(r)) AND (r.NAME = 'requirement type')) AND (r\descriptive_representation_item.description = 'user defined'))) > 0) AND (SIZEOF(QUERY (r <* representation[i].items| (r.NAME = 'user defined value'))) = 0);
      END_REPEAT;
   WHERE
      WR1:
         NOT violation;
   END_RULE;

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