Explicitly specify what happens when noSuchMethod(x) is not found

Explicitly specify what happens when noSuchMethod(x)  is not found

R=lrn@google.com, regis@google.com

Committed: https://code.google.com/p/dart/source/detail?r=38212

[gbracha, 2014-07-14 18:36:25]

See 

https://code.google.com/p/dart/issues/detail?id=12561

[Lasse Reichstein Nielsen, 2014-07-14 19:15:36]

lgtm

https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.tex
File docs/language/dartLangSpec.tex (right):

https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.t...
docs/language/dartLangSpec.tex:3273: Then the method \code{noSuchMethod()} is
looked up in $o$ and invoked with argument $im$, and the result of this
invocation is the result of evaluating $i$. However, if no matching
implementation of \code{noSuchMethod()} is found, the implementation  of
\code{noSuchMethod()} in class \code{Object} is invoked on $o$ with argument
$im'$, , where $im'$ is an instance of \code{Invocation} such that :
"if no matching implementation ... is found " -> "if the implementation of ...
found cannot be called with one positional argument"?

It's more explicit about what "matching" means (e.g., it's not about the
parameter type), and doesn't sound like there are other options for finding it -
you always find exactly one by look-up.

https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.t...
docs/language/dartLangSpec.tex:3291: \NEW{} Perverse.uknownMethod();
uknownMethod -> unknownMethod

[regis, 2014-07-14 19:33:35]

LGTM

https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.tex
File docs/language/dartLangSpec.tex (right):

https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.t...
docs/language/dartLangSpec.tex:3281: and the result of the this latter
invocation is the result of evaluating $i$.
the this -> this

[gbracha, 2014-07-14 20:11:52]

On 2014/07/14 19:15:36, Lasse Reichstein Nielsen wrote:
> lgtm
> 
>
https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.tex
> File docs/language/dartLangSpec.tex (right):
> 
>
https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.t...
> docs/language/dartLangSpec.tex:3273: Then the method \code{noSuchMethod()} is
> looked up in $o$ and invoked with argument $im$, and the result of this
> invocation is the result of evaluating $i$. However, if no matching
> implementation of \code{noSuchMethod()} is found, the implementation  of
> \code{noSuchMethod()} in class \code{Object} is invoked on $o$ with argument
> $im'$, , where $im'$ is an instance of \code{Invocation} such that :
> "if no matching implementation ... is found " -> "if the implementation of ...
> found cannot be called with one positional argument"?
> 
> It's more explicit about what "matching" means (e.g., it's not about the
> parameter type), and doesn't sound like there are other options for finding it
-
> you always find exactly one by look-up.

Done
> 
>
https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.t...
> docs/language/dartLangSpec.tex:3291: \NEW{} Perverse.uknownMethod();
> uknownMethod -> unknownMethod

Fixed

[gbracha, 2014-07-14 20:12:04]

On 2014/07/14 19:33:35, regis wrote:
> LGTM
> 
>
https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.tex
> File docs/language/dartLangSpec.tex (right):
> 
>
https://codereview.chromium.org/389403002/diff/1/docs/language/dartLangSpec.t...
> docs/language/dartLangSpec.tex:3281: and the result of the this latter
> invocation is the result of evaluating $i$.
> the this -> this

Fixed

[gbracha, 2014-07-14 20:15:27]

Committed patchset #3 manually as r38212 (presubmit successful).