Small adjustments to Variables

Author: eernstg

specification/dartLangSpec.tex

@@ -1396,10 +1396,8 @@ \section{Variables}
 A \IndexCustom{mutable variable}{variable!mutable}
 is a variable which is not final.
 
-%% Note that the following relies on the assumption that inference has
-%% already taken place, including member signature inference. For instance,
-%% if `var x;` is an instance variable declaration that overrides `T get x;`
-%% then we treat `var x;` as if it had been `T x;`.
+\subsection{Implicitly Induced Getters and Setters}
+\LMLabel{implicitlyInducedGettersAndSetters}
 
 \LMHash{}%
 The following rules on implicitly induced getters and setters
@@ -1700,7 +1698,7 @@ \subsection{Evaluation of Implicit Variable Getters}
 will evaluate to the object stored in \id.
 Otherwise
 (\commentary{when no value has been stored in this variable}),
-the getter invocation will throw.
+the getter invocation incurs a dynamic error.
 \EndCase
 
 \LMHash{}%
@@ -1757,7 +1755,17 @@ \subsection{Evaluation of Implicit Variable Getters}
   and the most recent invocation of the getter \code{i}
   returns 10.
   This makes \code{i + 1} evaluate to 11,
-  which is stored in the variable.%
+  which is stored in the variable.
+  Finally, the invocation of the getter \code{i} in \code{main}
+  completes returning 11.%
+  }
+
+  \commentary{%
+  Note that this is a change from the semantics older versions of Dart:
+  Throwing an exception during initializer evaluation no longer sets the
+  variable to \code{null},
+  and reading the variable during initializer evaluation
+  no longer causes a dynamic error.%
   }
 \item \emph{Constant variable.}
   If $d$ is of one of the forms
@@ -1799,7 +1807,9 @@ \subsection{Evaluation of Implicit Variable Getters}
   in a situation where no object has been stored in the variable \id{}
   will incur a dynamic error.
 \end{itemize}
-\EndCase
+
+% Reduce whitespace after itemized list: This is just an end symbol.
+\vspace{-\baselineskip}\EndCase
 
 
 \section{Functions}
@@ -24583,41 +24593,9 @@ \subsubsection{Late fields and variables}
 
 !!!TODO!!!
 
-A variable which is marked as \LATE{} ...
-
-A read of a field or variable which is marked as \LATE{} which has not yet been
-written to causes the initializer expression of the variable to be evaluated to
-a value, assigned to the variable or field, and returned as the value of the
-read.
-
-\begin{itemize}
-\item If there is no initializer expression, the read causes a runtime error to be
-    thrown.
-\item Evaluating the initializer expression may validly cause a write to the field
-    or variable, assuming that the field or variable is not final.  In this
-    case, the variable assumes the written value.  The final value of the
-    initializer expression overwrites any intermediate written values.
-\item Evaluating the initializer expression may cause an exception to be thrown.
-    If the variable was written to before the exception was thrown, the value of
-    the variable on subsequent reads is the last written value.  If the variable
-    was not written before the exception was thrown, then the next read attempts
-    to evaluate the initializer expression again.
-\item If a variable or field is read from during the process of evaluating its own
-    initializer expression, and no write to the variable has occurred, the read
-    is treated as a first read and the initializer expression is evaluated
-    again.
-\end{itemize}
-
-Let $D$ be a \LATE{} and \FINAL{} non-local variable declaration named \code{v}
-without an initializing expression.
-It is a run-time error, to invoke the setter \code{v=} which is
-implicitly induced by $D$ if a value has previously been assigned to \code{v}
-(which could be due to an initializing formal or a constructor initializer
-list, or due to an invocation of the setter).
-
-Let $D$ be a \LATE{} and \FINAL{} local variable declaration named \code{v}.  It is a
-run-time error, to assign a value to \code{v} if a value has previously
-been assigned to \code{v}.
+Let $D$ be a \LATE{} and \FINAL{} local variable declaration named \code{v}.
+It is a run-time error, to assign a value to \code{v}
+if a value has previously been assigned to \code{v}.
 
 Note that this includes the implicit initializing writes induced by
 evaluating the initializer during a read.  Hence, the following program
@@ -24631,16 +24609,6 @@ \subsubsection{Late fields and variables}
 \}
 \end{dartCode}
 
-A toplevel or class variable with an initializer is evaluated as if it
-was marked \LATE.  Note that this is a change from pre-NNBD semantics in that:
-
-\begin{itemize}
-\item Throwing an exception during initializer evaluation no longer sets the
-  variable to \code{null}
-\item Reading the variable during initializer evaluation is no longer checked for,
-  and does not cause an error.
-\end{itemize}
-
 \subsubsection{Boolean conditional evaluation}
 
 The requirement that the condition in a boolean conditional control expression