| 178 | } |
| 179 | |
| 180 | int file_options_save(const file_enable_t *files_enable) |
| 181 | { |
| 182 | FILE *handle; |
| 183 | const file_enable_t *file_enable; |
| 184 | handle=file_options_save_aux(); |
| 185 | if(handle==NULL) |
| 186 | return -1; |
| 187 | /*@ |
| 188 | @ loop invariant \valid_read(files_enable); |
| 189 | @*/ |
| 190 | for(file_enable=&files_enable[0];file_enable->file_hint!=NULL;file_enable++) |
| 191 | { |
| 192 | /*@ assert \valid_read(file_enable); */ |
| 193 | if(file_enable->file_hint->extension!=NULL) |
| 194 | { |
| 195 | if(file_enable->enable==0) |
| 196 | fprintf(handle, "%s,disable\n", file_enable->file_hint->extension); |
| 197 | else |
| 198 | fprintf(handle, "%s,enable\n", file_enable->file_hint->extension); |
| 199 | } |
| 200 | } |
| 201 | fclose(handle); |
| 202 | return 0; |
| 203 | } |
| 204 | |
| 205 | int file_options_load(file_enable_t *files_enable) |
| 206 | { |
no test coverage detected