RULE externally_defined_class_with_known_source_requirement

(* SCHEMA ship_structures_schema; *)

  RULE externally_defined_class_with_known_source_requirement FOR (
             externally_defined_class);

  WHERE
    wr1: (SIZEOF(QUERY ( edc <* externally_defined_class | ((
             'SHIP_STRUCTURES_SCHEMA.KNOWN_SOURCE' IN TYPEOF(edc.source)) 
             AND (SIZEOF(QUERY ( aoa <* USEDIN(edc,'SHIP_STRUCTURES_SCHEMA.APPLIED_ORGANIZATION_ASSIGNMENT.ITEMS')
              | (aoa.role.name = 'library supplier') )) = 0)) )) = 0);

  END_RULE; -- externally_defined_class_with_known_source_requirement

[Top Level Definitions] [Exit]

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