clears out the containers for unloading maps or disabling the plugin
| 265 | |
| 266 | // clears out the containers for unloading maps or disabling the plugin |
| 267 | void ChannelGroups::clear() { |
| 268 | debug_map(); |
| 269 | WARN(groups).print(" <- clearing groups\n"); |
| 270 | jobs.clear(); |
| 271 | group_blocks.clear(); |
| 272 | free_spots.clear(); |
| 273 | groups_map.clear(); |
| 274 | for(size_t i = 0; i < groups.size(); ++i) { |
| 275 | groups[i].clear(); |
| 276 | free_spots.emplace(i); |
| 277 | } |
| 278 | } |
| 279 | |
| 280 | // erases map_pos from its group, and deletes mappings IFF the group is empty |
| 281 | void ChannelGroups::remove(const df::coord &map_pos) { |
no test coverage detected