| 52 | } |
| 53 | |
| 54 | void context::del_object(api::object* o) { |
| 55 | if (!o) |
| 56 | return; |
| 57 | #ifndef SINGLE_THREAD |
| 58 | if (m_concurrent_dec_ref) { |
| 59 | lock_guard lock(m_mux); |
| 60 | m_objects_to_flush.push_back(o); |
| 61 | } |
| 62 | else |
| 63 | #endif |
| 64 | { |
| 65 | m_free_object_ids.push_back(o->id()); |
| 66 | m_allocated_objects.remove(o->id()); |
| 67 | dealloc(o); |
| 68 | } |
| 69 | } |
| 70 | |
| 71 | void context::dec_ref(ast* a) { |
| 72 | #ifndef SINGLE_THREAD |