(* SCHEMA step_ship_schema; *)
-- ONLY IN AP215
RULE representation_for_loading_condition_operating_definition FOR (representation );
LOCAL
reps : BAG OF representation := [];
arg_list : LIST OF STRING := ['type of'];
violation : LOGICAL := FALSE;
END_LOCAL;
reps := QUERY (temp_rep <* representation| SIZEOF(QUERY (temp_prop_def_rep <* bag_to_set(USEDIN(temp_rep, 'STEP_SHIP_SCHEMA.PROPERTY_DEFINITION_REPRESENTATION.' + 'USED_REPRESENTATION'))|
(temp_prop_def_rep.NAME =
'loading condition operating definition parameters'))) > 0);
REPEAT i := 1 TO HIINDEX(reps) WHILE NOT violation;
REPEAT j := 1 TO HIINDEX(arg_list) WHILE NOT violation;
violation := SIZEOF(QUERY (rep_item <* reps[i].items | (rep_item.NAME = arg_list[j]))) <> 1;
END_REPEAT;
END_REPEAT;
WHERE
WR1:
NOT violation;
END_RULE;
Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2007-09-24T12:42:21-04:00