Skip to content

[exec.run.loop] update run_loop count representation to use code format #8532

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[exec.run.loop] update run_loop count representation to use code format #8532

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions source/exec.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6485,7 +6485,7 @@
\begin{itemdescr}
\pnum
\ensures
The \tcode{run_loop} instance's count is 0 and
The \tcode{run_loop} instance's count is \tcode{0} and
its state is starting.
\end{itemdescr}

Expand All @@ -6497,7 +6497,7 @@
\begin{itemdescr}
\pnum
\effects
If the \tcode{run_loop} instance's count is not 0 or
If the \tcode{run_loop} instance's count is not \tcode{0} or
if its state is running,
invokes \tcode{terminate}\iref{except.terminate}.
Otherwise, has no effects.
Expand All @@ -6515,11 +6515,11 @@
Blocks\iref{defns.block} until one of the following conditions is \tcode{true}:
\begin{itemize}
\item
The \tcode{run_loop} instance's count is 0 and its state is finishing,
The \tcode{run_loop} instance's count is \tcode{0} and its state is finishing,
in which case \exposid{pop-front} sets the state to finished
and returns \tcode{nullptr}; or
\item
the \tcode{run_loop} instance's count is greater than 0,
the \tcode{run_loop} instance's count is greater than \tcode{0},
in which case an item is removed from the front of the queue,
the count is decremented by \tcode{1}, and
the removed item is returned.
Expand All @@ -6534,7 +6534,7 @@
\pnum
\effects
Adds \tcode{item} to the back of the queue and
increments the \tcode{run_loop} instance's count by 1.
increments the \tcode{run_loop} instance's count by \tcode{1}.

\pnum
\sync
Expand Down