--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TaskManager/kernel/ppe/TaskListInfo.h	Mon Jul 27 15:51:18 2009 +0900
@@ -0,0 +1,31 @@
+#ifndef INCLUDED_TASK_LIST_INFO
+#define INCLUDED_TASK_LIST_INFO
+
+#include "types.h"
+#include "TaskList.h"
+
+class TaskListInfo {
+public:
+    /* constructor */
+    TaskListInfo(void);
+    virtual ~TaskListInfo(void);
+
+    /* functions */
+    int init(int num);
+    TaskListPtr create(void);
+    void free(TaskListPtr list);
+    static TaskListPtr append(TaskListPtr list, TaskListPtr q);
+    virtual int extend_pool(int num);
+
+protected:
+    /* variables */
+    TaskListPtr taskListPool;
+    TaskListPtr freeTaskList;
+
+    /* functions */
+    void destroy(void);
+
+private:
+};
+
+#endif