RULE dependent_instantiable_resource_requirement_type FOR (resource_requirement_type); WHERE wr1: SIZEOF ( QUERY ( r <* resource_requirement_type | NOT ( SIZEOF ( USEDIN ( r , '' ) ) >0 ) ) ) =0; END_RULE; -- dependent_instantiable_resource_requirement_type |
public class RDependent_instantiable_resource_requirement_type public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |