| 3325 | // |
| 3326 | |
| 3327 | static void make_ok_test( const act* action, gpre_req* request, int column) |
| 3328 | { |
| 3329 | if (gpreGlob.sw_auto) |
| 3330 | printa(column, "if (%s%s /= 0) and (%s /= 0) then", |
| 3331 | gpreGlob.ada_package, request_trans(action, request), request->req_handle); |
| 3332 | else |
| 3333 | printa(column, "if (%s /= 0) then", request->req_handle); |
| 3334 | } |
| 3335 | |
| 3336 | |
| 3337 | //____________________________________________________________ |
no test coverage detected