Implement InvocationMirror and use them for noSuchMethod

[DartBot]

This issue was originally filed by ms...@unipro.ru

---

The specification in the section 10.14.1 says: "If getter lookup has also failed, then a new instance im of the predefined interface InvocationMirror is created by calling its factory constructor with arguments ‘m’, this, [o1, …, on] and {xn+1:on+1, …, xn+k : on+k}. Then the method noSuchMethod() is looked up in o and invoked with argument im, and the result of this invocation is the result of evaluating i."

The following test produces a static warning in dartc (r8145):

class A {
  noSuchMethod(InvocationMirror im) { //static warning: 'no such type
                                      //"InvocationMirror"'
    return "v";
  }
}

main() {
  var classWithoutMethod = new A();
  Expect.equals("v", classWithoutMethod.m());
}

[madsager]

Mirrors are currently not implemented, so this is the expected behavior. The implementations of the language are not completely up to speed with respect to the spec.

Updating bug report summary.

---

Added Area-VM, Triaged labels.
Changed the title to: "Implement InvocationMirror and use them for noSuchMethod".

[iposva-google]

Set owner to @turnidge.
Added Accepted label.

[danrubel]

Marked this as blocking #3524.

[ghost]

Issue #1346 has been merged into this issue.

[scheglov]

Marked this as blocking #5294.

[lrhn]

Issue #6887 has been merged into this issue.

[kasperl]

Issue #3565 has been merged into this issue.

[kasperl]

Looks like the InvocationMirror is missing named arguments. Not fixed yet.

---

Added this to the M2 milestone.

[iposva-google]

As far as I can tell this is fixed with r15939. Regis?

---

Set owner to @crelier.

[crelier]

Correct.

---

Added Fixed label.

[kasperl]

Awesome!

[DartBot]

This comment was originally written by rodion...@unipro.ru

---

this still fails:

class TestException {}

class A {
  noSuchMethod(InvocationMirror im) {
    print(im.memberName);
    Expect.equals('call', im.memberName);
    throw new TestException();
  }
}

class C {
  var func;
}

main() {
  var o = new C();
  o.func = new A();
  try {
    o.func();
    Expect.fail("TestException is expected");
  } on TestException catch(e) {}
}

It still shows a NoSuchMethodError, but it comes from Object (I guess):

Unhandled exception:
NoSuchMethodError : method not found: 'call'
Receiver: Instance of 'A'
Arguments: []

[DartBot]

This comment was originally written by rodion...@unipro.ru

---

that's
Language/11_Expressions/15_Method_Invocation/1_Ordinary_Invocation_A05_t02 and
Language/11_Expressions/15_Method_Invocation/1_Ordinary_Invocation_A05_t03 in co19

[crelier]

Removed this from the M2 milestone.
Added this to the M3 milestone.
Added Started label.

[crelier]

Fixed in r16220.

---

Added Fixed label.