|
RULE terminator_symbol_constraint FOR (terminator_symbol); WHERE wr1: SIZEOF ( QUERY ( ts <* terminator_symbol | ( ( 'automotive_design.' + 'defined_symbol' IN TYPEOF ( ts . item ) ) AND NOT ( 'automotive_design.' + 'pre_defined_terminator_symbol' IN TYPEOF ( ts . item \ defined_symbol . definition ) ) ) ) ) = 0 ; END_RULE; -- terminator_symbol_constraint |
|
public class RTerminator_symbol_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |