| 231 | } |
| 232 | |
| 233 | uint64_t ask_number_cli(char **current_cmd, const uint64_t val_cur, const uint64_t val_min, const uint64_t val_max, const char * _format, ...) |
| 234 | { |
| 235 | /*@ assert \valid(current_cmd); */ |
| 236 | if(*current_cmd!=NULL) |
| 237 | { |
| 238 | uint64_t tmp_val; |
| 239 | skip_comma_in_command(current_cmd); |
| 240 | /*@ assert valid_read_string(*current_cmd); */ |
| 241 | tmp_val = get_int_from_command(current_cmd); |
| 242 | /*@ assert valid_read_string(*current_cmd); */ |
| 243 | if (val_min==val_max || (tmp_val >= val_min && tmp_val <= val_max)) |
| 244 | return tmp_val; |
| 245 | #ifndef DISABLED_FOR_FRAMAC |
| 246 | else |
| 247 | { |
| 248 | char res[200]; |
| 249 | va_list ap; |
| 250 | va_start(ap,_format); |
| 251 | vsnprintf(res,sizeof(res),_format,ap); |
| 252 | log_error("%s", res); |
| 253 | if(val_min!=val_max) |
| 254 | log_error("(%llu-%llu) :", (long long unsigned)val_min, (long long unsigned)val_max); |
| 255 | log_error("Invalid value\n"); |
| 256 | va_end(ap); |
| 257 | } |
| 258 | #endif |
| 259 | } |
| 260 | /*@ assert valid_read_string(*current_cmd); */ |
| 261 | return val_cur; |
| 262 | } |
| 263 | |
| 264 | void aff_part_buffer(const unsigned int newline,const disk_t *disk_car,const partition_t *partition) |
| 265 | { |
no test coverage detected