| 814 | } |
| 815 | |
| 816 | std::shared_ptr<workspace_set_t> workspace_set_t::create(int64_t index) |
| 817 | { |
| 818 | index = choose_lowest_free_wset_id(index); |
| 819 | auto wset = wf::tracking_allocator_t<workspace_set_t>::get().allocate<workspace_set_t>(index); |
| 820 | return wset; |
| 821 | } |
| 822 | } // namespace wf |
nothing calls this directly
no test coverage detected