Skip to content

Commit

Permalink
[class.mem.general] Clarify class completeness
Browse files Browse the repository at this point in the history
  • Loading branch information
jensmaurer authored and tkoeppe committed Aug 14, 2023
1 parent cf7d582 commit 1353359
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions source/classes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -605,11 +605,10 @@
\end{note}

\pnum
A class is regarded as complete
where its definition is reachable and
within its complete-class contexts;
otherwise it is regarded as incomplete within its own class
\grammarterm{member-specification}.
A class \tcode{C} is complete at a program point $P$
if the definition of \tcode{C} is reachable from $P$\iref{module.reach}
or if $P$ is in a complete-class context of \tcode{C}.
Otherwise, \tcode{C} is incomplete at $P$.

\pnum
In a \grammarterm{member-declarator},
Expand Down

0 comments on commit 1353359

Please sign in to comment.