|
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) |