reinitialize the vector leaving it unmapped
| 76 | |
| 77 | // reinitialize the vector leaving it unmapped |
| 78 | void init(int size) |
| 79 | { |
| 80 | destroy(); |
| 81 | resize(size); |
| 82 | unmap(); |
| 83 | } |
| 84 | |
| 85 | void destroy() |
| 86 | { |
nothing calls this directly
no outgoing calls
no test coverage detected