From ba7748302259e47f40e3838c6b7e729539984aa2 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Thu, 16 Nov 2017 13:01:42 +0000 Subject: [PATCH] Adjusted def. of "a superclass" in the language specification. Cf. SDK issue 25839. Change-Id: I41aaecdb206c599f0deca6facb074c8d4f960529 Reviewed-on: https://dart-review.googlesource.com/21347 Reviewed-by: Kevin Millikin Reviewed-by: Lasse R.H. Nielsen Commit-Queue: Erik Ernst --- docs/language/dartLangSpec.tex | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex index 9c6f51b3cea..a20c3e76e0d 100644 --- a/docs/language/dartLangSpec.tex +++ b/docs/language/dartLangSpec.tex @@ -1932,23 +1932,20 @@ class G extends T \{\} \end{dartCode} - \LMHash{} -A class $S$ is {\em a superclass} of a class $C$ iff either: +A class $S$ is {\em a superclass} of a class $C$ if{}f either: \begin{itemize} \item $S$ is the superclass of $C$, or -\item $S$ is a superclass of a class $S^{\prime}$ and $S^{\prime}$ is a superclass of $C$. +\item $S$ is a superclass of a class $S^{\prime}$, +and $S^{\prime}$ is the superclass of $C$. \end{itemize} \LMHash{} It is a compile-time error if a class $C$ is a superclass of itself. - - - \subsubsection{Inheritance and Overriding} - \LMLabel{inheritanceAndOverriding} - +\subsubsection{Inheritance and Overriding} +\LMLabel{inheritanceAndOverriding} %A class $C$ {\em inherits} any accessible instance members of its superclass that are not overridden by members declared in $C$.