RULE nc_variable_compatible_initial_value

(* SCHEMA step_merged_ap_schema; *)
-- IN AP238 STEP-NC
RULE nc_variable_compatible_initial_value FOR (expression_representation_item, representation_item_relationship );
   WHERE
      WR1:
         0 = SIZEOF(QUERY (nv <* expression_representation_item| ('STEP_MERGED_AP_SCHEMA.NUMERIC_VARIABLE' IN TYPEOF(nv)) AND NOT (1 >= SIZEOF(QUERY (rir <* representation_item_relationship| (rir.description = 'initial value') AND (rir.relating_representation_item :=: nv))))));
      WR2:
         0 = SIZEOF(QUERY (rir <* representation_item_relationship| ((rir.description = 'initial value') AND ('STEP_MERGED_AP_SCHEMA.NUMERIC_VARIABLE' IN TYPEOF(rir.relating_representation_item))) AND NOT (('STEP_MERGED_AP_SCHEMA.INT_NUMERIC_VARIABLE' IN TYPEOF(rir.relating_representation_item)) AND ('STEP_MERGED_AP_SCHEMA.INT_LITERAL' IN TYPEOF(rir.related_representation_item)) OR ('STEP_MERGED_AP_SCHEMA.REAL_NUMERIC_VARIABLE' IN TYPEOF(rir.relating_representation_item)) AND ('STEP_MERGED_AP_SCHEMA.REAL_LITERAL' IN TYPEOF(rir.related_representation_item)))));
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00