languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 02:27:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Main function of a script can be function valued getter.

Browse source 
R=lrn@google.com

Review URL: https://codereview.chromium.org//800413003

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@42464 260f80e4-7a28-3924-810f-c04153c831b5
This commit is contained in:
gbracha@google.com 2014-12-18 18:55:30 +00:00
parent 8c99b69287
commit 11db20e680
1 changed files with 13 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
docs/language/dartLangSpec.tex
View file

@ -7,7 +7,7 @@
\usepackage{lmodern}
\newcommand{\code}[1]{{\sf #1}}
\title{Dart Programming Language Specification \\
{\large Version 1.6}}
{\large Version 1.9}}
%\author{The Dart Team}
% For information about Location Markers (and in particular the
@ -1115,16 +1115,14 @@ We wish to warn if one declares a concrete class with abstract members. However,
\begin{dartCode}
class Base \{
int get one =$>$ 1;
\}
\}
abstract class Mix \{
abstract class Mix \{
int get one;
int get two =$>$ one + one;
\}
\}
class C extends Base with Mix \{
\}
\}
class C extends Base with Mix \{ \}
\end{dartCode}
\rationale{At run time, the concrete method \cd{one} declared in \cd{Base} will be executed, and no problem should arise. Therefore no warning should be issued and so we suppress warnings if a corresponding concrete member exists in the hierarchy. }
@ -1805,7 +1803,7 @@ If two members override each other, it is a static warning if the overriding mem
\item Superinterface members are not inherited by a class, but are inherited by its implicit interface. Interfaces have their own inheritance rules (\ref{interfaceInheritanceAndOverriding}).
\item A member is abstract if it has no body and is not labeled \EXTERNAL{} (\ref{abstractInstanceMembers}, \ref{externalFunctions}).
\item A class is abstract iff it is explicitly labeled \ABSTRACT{}.% or if it declares (not just inherits) an abstract member (\ref{classes}).
\item It is a static warning a concrete class has an abstract member (declared or inherited).
\item It is a static warning if a concrete class has an abstract member (declared or inherited).
\item It is a static warning and a dynamic error to call a non-factory constructor of an abstract class (\ref{new}).
\item If a class defines an instance member named $m$, and any of its superinterfaces have a member named $m$, the interface of the class overrides $m$.
\item An interface inherits all members of its superinterfaces that are not overridden and not members of multiple superinterfaces.
@ -6388,7 +6386,8 @@ Compiling a part directive of the form \code{\PART{} $s$;} causes the Dart syste
\LMLabel{scripts}
\LMHash{}
A {\em script} is a library whose exported namespace (\ref{exports}) includes a top-level function \code{main}.
A {\em script} is a library whose exported namespace (\ref{exports}) includes a top-level member named \code{main}. It is a static warning if the static type of \code{main} is not assignable to a function type or is a function type with more than two required parameters.
A script $S$ may be executed as follows:
\LMHash{}
@ -6399,7 +6398,11 @@ First, $S$ is compiled as a library as specified above. Then, the top-level func
\end{enumerate}
\LMHash{}
It is a run time error if $S$ does not declare or import a top-level function \code{main}. It is a static warning if \code{main} has more than two required parameters.
It is a run time error if $S$ does not declare or export either:
\begin{itemize}
\item A top-level function named \code{main}, or
\item A top-level getter named \code{main} that returns a function.
\end{itemize}
\commentary {
Note that if \code{main} requires more than two arguments, a run time error will occur.