Searched refs:own_fd (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | File.h | 37 bool own_fd; // Do we own the file descriptor? If so, will close file in destructor. member in class:File
40 #define DEFAULTS fd(-1), mode(READ), buf(NULL), size(-1), pos(0), own_fd(true)
43 File(int fd, FileMode mode, bool own_fd = true) : DEFAULTS {
44 open(fd, mode, own_fd); }
53 // Low-level open. If 'own_fd' is FALSE, descriptor will not be closed by destructor.
54 void open(int fd, FileMode mode, bool own_fd = true);
65 own_fd = false;
|
| H A D | File.C | 9 own_fd = own;
40 own_fd = true;
56 if (own_fd)
|
Completed in 27 milliseconds