OLD | NEW |
---|---|
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 Loading... | |
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 Loading... | |
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 ---------------------------------------------------------------------- |
OLD | NEW |