RULE terminator_symbol_constraint

(* SCHEMA step_merged_ap_schema; *)

-- IN AP214
RULE terminator_symbol_constraint FOR (terminator_symbol );
   WHERE
      wr1:
         SIZEOF(QUERY (ts <* terminator_symbol| ('STEP_MERGED_AP_SCHEMA.' + 'DEFINED_SYMBOL' IN TYPEOF(ts.item)) AND NOT ('STEP_MERGED_AP_SCHEMA.' + 'PRE_DEFINED_TERMINATOR_SYMBOL' IN TYPEOF(ts.item\defined_symbol.definition)))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:20-04:00