Language/Expressions/Property_Extraction/Getter_Access_and_Method_Extraction/no_such_method_t01.dart

// Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/// @assertion If the getter lookup has failed, then a new instance im of the
/// predefined class Invocation is created, such that :
/// • im.isGetter evaluates to true.
/// • im.memberName evaluates to the symbol m.
/// • im.positionalArguments evaluates to an immutable/unmodifiable empty list.
/// • im.namedArguments evaluates to the an immutable/unmodifiable empty map.
/// 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.
/// @description Check that if getter lookup failed and object has
/// noSuchMethod() then this method called with Invocation as argument
/// with properties set to the values listed in the assertion
/// @issue 24331
/// @author sgrekhov@unipro.ru

import '../../../../Utils/expect.dart';

class C {
  bool _called = false;

  bool get called => _called;

  void noSuchMethod(Invocation i) {
    _called = true;
    Expect.isTrue(i.isGetter);
    Expect.equals(new Symbol('someGetter'), i.memberName);
    Expect.listEquals([], i.positionalArguments);
    Expect.throws(() => i.positionalArguments.clear());
    Expect.mapEquals({}, i.namedArguments);
    Expect.throws(() => i.namedArguments.clear());
  }
}

main() {
  dynamic o = new C();
  o.someGetter;
  Expect.isTrue(o.called);
}