annotate paper/src/queue.h @ 111:4642d2f215d2

update
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Sat, 06 Feb 2021 15:42:26 +0900
parents e1842c36937e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
73
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 typedef struct Queue<Impl>{
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 union Data* queue;
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 union Data* data;
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 __code whenEmpty(...);
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 __code clear(Impl* queue, __code next(...));
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 __code put(Impl* queue, union Data* data, __code next(...));
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 __code take(Impl* queue, __code next(union Data*, ...));
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 __code isEmpty(Impl* queue, __code next(...), __code whenEmpty(...));
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 __code next(...);
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 } Queue;