Skip to content

Commit 1353359

Browse files
jensmaurertkoeppe
authored andcommitted
[class.mem.general] Clarify class completeness
1 parent cf7d582 commit 1353359

File tree

1 file changed

+4
-5
lines changed

1 file changed

+4
-5
lines changed

source/classes.tex

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -605,11 +605,10 @@
605605
\end{note}
606606

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

614613
\pnum
615614
In a \grammarterm{member-declarator},

0 commit comments

Comments
 (0)