diff options
Diffstat (limited to 'src/rt/rust_task_list.h')
| -rw-r--r-- | src/rt/rust_task_list.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/rt/rust_task_list.h b/src/rt/rust_task_list.h new file mode 100644 index 00000000..b1fba750 --- /dev/null +++ b/src/rt/rust_task_list.h @@ -0,0 +1,16 @@ +#ifndef RUST_TASK_LIST_H +#define RUST_TASK_LIST_H + +/** + * Used to indicate the state of a rust task. + */ +class rust_task_list : public indexed_list<rust_task>, + public dom_owned<rust_task_list> { +public: + rust_dom *dom; + const char* name; + rust_task_list (rust_dom *dom, const char* name); + void delete_all(); +}; + +#endif /* RUST_TASK_LIST_H */ |