Allocate and return a new file number
| 192 | |
| 193 | // Allocate and return a new file number |
| 194 | uint64_t NewFileNumber() { return next_file_number_++; } |
| 195 | |
| 196 | // Arrange to reuse "file_number" unless a newer file number has |
| 197 | // already been allocated. |
no outgoing calls
no test coverage detected