# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1575253551 -32400
# Node ID f3ebb813d0bfaf544f67e1f0d8aa7ae440bee1b4
# Parent  ef44d384ad9dd34e294026a6d7a6eb65dd5e5581
add TaskManager.h

diff -r ef44d384ad9d -r f3ebb813d0bf src/interface/TaskManager.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/interface/TaskManager.h	Mon Dec 02 11:25:51 2019 +0900
@@ -0,0 +1,13 @@
+typedef struct TaskManager<Impl>{
+    union Data* taskManager;
+    struct Context* task;
+    struct Element* taskList;
+    __code spawn(Impl* taskManager, struct Context* task, __code next(...));
+    __code spawnTasks(Impl* taskManagerImpl, struct Element* taskList, __code next1(...));
+    __code setWaitTask(Impl* taskManagerImpl, struct Context* task, __code next(...));
+    __code shutdown(Impl* taskManagerImpl, __code next(...));
+    __code incrementTaskCount(Impl* taskManagerImpl, __code next(...));
+    __code decrementTaskCount(Impl* taskManagerImpl, __code next(...));
+    __code next(...);
+    __code next1(...);
+} TaskManager;