Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/context.h @ 464:7d67c9cf09ee
Rename from Time interface to Timer interface
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 21 Dec 2017 00:07:27 +0900 |
parents | 8d7e5d48cad3 |
children | b6437feb04ee |
line wrap: on
line diff
--- a/src/parallel_execution/context.h Wed Dec 20 22:09:17 2017 +0900 +++ b/src/parallel_execution/context.h Thu Dec 21 00:07:27 2017 +0900 @@ -133,15 +133,15 @@ struct Queue* wait; // tasks waiting this dataGear } Meta; struct Context Context; - struct Time { - union Data* time; + struct Timer { + union Data* timer; enum Code start; enum Code end; enum Code next; - } Time; - struct TimeImpl { + } Timer; + struct TimerImpl { double time; - } TimeImpl; + } TimerImpl; struct LoopCounter { int i; } LoopCounter;