| 36 | nullcThrowError("Cannot open file."); |
| 37 | } |
| 38 | void File__Close_void_ref__(File * file) |
| 39 | { |
| 40 | fclose((FILE*)file->id); |
| 41 | file->flag = 0; |
| 42 | file->id = NULL; |
| 43 | } |
| 44 | int File__Opened_int_ref__(File * file) |
| 45 | { |
| 46 | return !!(file->flag & FILE_OPENED); |
nothing calls this directly
no outgoing calls
no test coverage detected