src/rt/rust_task_list.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#include "rust_internal.h"

rust_task_list::rust_task_list (rust_dom *dom, const char* name) :
    dom(dom), name(name) {
    // Nop;
}

void
rust_task_list::delete_all() {
    dom->log(rust_log::TASK, "deleting all %s tasks", name);
    while (is_empty() == false) {
        rust_task *task = pop_value();
        dom->log(rust_log::TASK, "deleting task " PTR, task);
        delete task;
    }
}