190,191c190,191
< /** Initializes the switching out of commit. */
< void switchOut();
---
> /** Initializes the draining of commit. */
> void drain();
192a193,195
> /** Resumes execution after draining. */
> void resume();
>
194c197
< void doSwitchOut();
---
> void switchOut();
386,387c389,390
< /** Is a switch out pending. */
< bool switchPending;
---
> /** Is a drain pending. */
> bool drainPending;