// Copyright (c) 2011, 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 Evaluation of an identifier expression e of the form id proceeds
 * as follows:
 * Let d be the innermost declaration in the enclosing lexical scope whose name
 * is id or id=. If no such declaration exists in the lexical scope, let d be
 * the declaration of the inherited member named id if it exists.
 * ...
 * • Otherwise, if e occurs inside a top level or static function (be it
 *   function, method, getter, or setter) or variable initializer, evaluation
 *   of e causes a NoSuchMethod to be thrown.
 * @description Checks that NoSuchMethodError is thrown if undeclared
 * identifier is used in a static context.
 * @author kaigorodov
 */
import '../../../Utils/expect.dart';

dynamic o = '';

x1() => o.undeclared;       // in a body of library function
get x2 => o.undeclared;     // in a body of library getter
set x3 (_) => o.undeclared; // in a body of library setter
var x4 = o.undeclared;      // in an initializer of a library variable

class C {
  static x1() => o.undeclared;       // in a body of class static function
  static get x2 => o.undeclared;     // in a body of class static getter
  static set x3 (_) => o.undeclared; // in a body of class static setter
  static var x4 = o.undeclared;      // in an initializer of a class static variable
}

main() {
  Expect.throws(() => x1(), (e) => e is NoSuchMethodError);
  Expect.throws(() => x2, (e) => e is NoSuchMethodError);
  Expect.throws(() => x3 = 1, (e) => e is NoSuchMethodError);
  Expect.throws(() => x4, (e) => e is NoSuchMethodError);

  Expect.throws(() => C.x1(), (e) => e is NoSuchMethodError);
  Expect.throws(() => C.x2, (e) => e is NoSuchMethodError);
  Expect.throws(() => C.x3 = 1, (e) => e is NoSuchMethodError);
  Expect.throws(() => C.x4, (e) => e is NoSuchMethodError);
}