|
RULE dependent_instantiable_measure_with_unit FOR (measure_with_unit); WHERE wr1: SIZEOF ( QUERY ( m <* measure_with_unit | NOT ( SIZEOF ( USEDIN ( m , '' ) ) > 0 ) ) ) = 0 ; END_RULE; -- dependent_instantiable_measure_with_unit |
|
public class RDependent_instantiable_measure_with_unit public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |