RULE dependent_instantiable_date_and_time FOR (date_and_time); WHERE wr1: SIZEOF ( QUERY ( d <* date_and_time | NOT ( SIZEOF ( USEDIN ( d , '' ) ) >0 ) ) ) =0; END_RULE; -- dependent_instantiable_date_and_time |
public class RDependent_instantiable_date_and_time public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |