Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(409)

Side by Side Diff: docs/language/dartLangSpec.tex

Issue 2542253003: Fix unintended spec change: Final fields not being initialized is only a warning. (Closed)
Patch Set: Created 4 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 \documentclass{article} 1 \documentclass{article}
2 \usepackage{epsfig} 2 \usepackage{epsfig}
3 \usepackage{color} 3 \usepackage{color}
4 \usepackage{dart} 4 \usepackage{dart}
5 \usepackage{bnf} 5 \usepackage{bnf}
6 \usepackage{hyperref} 6 \usepackage{hyperref}
7 \usepackage{lmodern} 7 \usepackage{lmodern}
8 \usepackage[T1]{fontenc} 8 \usepackage[T1]{fontenc}
9 \newcommand{\code}[1]{{\sf #1}} 9 \newcommand{\code}[1]{{\sf #1}}
10 \title{Dart Programming Language Specification \\ 10 \title{Dart Programming Language Specification \\
(...skipping 1372 matching lines...) Expand 10 before | Expand all | Expand 10 after
1383 % In fact, this order is unobservable; this could be done any time prior to runn ing the body, since 1383 % In fact, this order is unobservable; this could be done any time prior to runn ing the body, since
1384 % these only effect \THIS{}. 1384 % these only effect \THIS{}.
1385 Then, the initializers of $k$'s initializer list are executed to initialize $i$ 1385 Then, the initializers of $k$'s initializer list are executed to initialize $i$
1386 in the order they appear in the program. 1386 in the order they appear in the program.
1387 1387
1388 \rationale {We could observe the order by side effecting external routines calle d. So we need to specify the order.} 1388 \rationale {We could observe the order by side effecting external routines calle d. So we need to specify the order.}
1389 1389
1390 \LMHash{} 1390 \LMHash{}
1391 Then if any instance variable of $i$ declared by the immediately enclosing class 1391 Then if any instance variable of $i$ declared by the immediately enclosing class
1392 is not yet bound to a value, 1392 is not yet bound to a value,
1393 it is a dynamic error if such a variable is a \FINAL{} variable, 1393 all such variables are initialized with the \NULL{} value.
eernst 2016/12/02 14:09:46 Yeah, we shouldn't have finished https://coderevie
1394 otherwise all such variables are initialized with the \NULL{} value.
1395 1394
1396 \LMHash{} 1395 \LMHash{}
1397 Then, unless the enclosing class is \code{Object}, the explicitly specified or 1396 Then, unless the enclosing class is \code{Object}, the explicitly specified or
1398 implicitly added superinitializer (\ref{initializerLists}) is executed to 1397 implicitly added superinitializer (\ref{initializerLists}) is executed to
1399 further initialize $i$. 1398 further initialize $i$.
1400 1399
1401 \commentary{ 1400 \commentary{
1402 The super constructor call can be written anywhere 1401 The super constructor call can be written anywhere
1403 in the initializer list of $k$, 1402 in the initializer list of $k$,
1404 but the actual call always happens after all initializers have been processed. 1403 but the actual call always happens after all initializers have been processed.
(...skipping 6606 matching lines...) Expand 10 before | Expand all | Expand 10 after
8011 8010
8012 The invariant that each normative paragraph is associated with a line 8011 The invariant that each normative paragraph is associated with a line
8013 containing the text \LMHash{} should be maintained. Extra occurrences 8012 containing the text \LMHash{} should be maintained. Extra occurrences
8014 of \LMHash{} can be added if needed, e.g., in order to make 8013 of \LMHash{} can be added if needed, e.g., in order to make
8015 individual \item{}s in itemized lists addressable. Each \LM.. command 8014 individual \item{}s in itemized lists addressable. Each \LM.. command
8016 must occur on a separate line. \LMHash{} must occur immediately 8015 must occur on a separate line. \LMHash{} must occur immediately
8017 before the associated paragraph, and \LMLabel must occur immediately 8016 before the associated paragraph, and \LMLabel must occur immediately
8018 after the associated \section{}, \subsection{} etc. 8017 after the associated \section{}, \subsection{} etc.
8019 8018
8020 ---------------------------------------------------------------------- 8019 ----------------------------------------------------------------------
OLDNEW
« no previous file with comments | « no previous file | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698