|
RULE dependent_instantiable_externally_defined_symbol FOR (externally_defined_symbol); WHERE wr1: SIZEOF ( QUERY ( e <* externally_defined_symbol | NOT ( SIZEOF ( USEDIN ( e , '' ) ) >0 ) ) ) =0; END_RULE; -- dependent_instantiable_externally_defined_symbol |
|
public class RDependent_instantiable_externally_defined_symbol public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |