// Copyright (c) 2012, 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.

import "package:expect/expect.dart";

// Test of final fields generating implicit setters that throw.

String x = "toplevel";  // Should never be read in this test.

class B {
  var x = 37;
}

class C extends B {
  final x = 42;

  // Local access should work the same as direct access.
  get cx => x;
  void set cx(value) {
    x = value;              /// 02: static type warning
    erase(this).x = value;  // but crash even if the direct setting is omitted.
  }

  // Super access should work.
  get bx => super.x;
  void set bx(value) { super.x = value; }

  noSuchMethod(i) => "noSuchMethod";  // Should never be called in this test.
}

// Class with only final field has setter in implicit interface.
class A {
  final int x = 42;
}

// Should get warning because the implicit interface contains the setter,
// and this non-abstract class doesn't.
class AI
    implements A   /// 01: static type warning
{
  int get x => 37;
}

// Erases static type information. Used to avoid *static* warnings when
// using a setter for a final field.
erase(x) => x;

void main() {
  Expect.equals(42, new C().x);
  Expect.throws(() { erase(new C()).x = 10; });
  Expect.equals(42, new C().cx);
  Expect.throws(() { erase(new C()).cx = 10; });
  Expect.equals(37, new C().bx);
  Expect.equals(10, (erase(new C())..bx = 10).bx);

  Expect.equals(42, new A().x);
  Expect.throws(() { erase(new A()).x = 10; });
  Expect.equals(37, new AI().x);
  Expect.throws(() { erase(new AI()).x = 10; });

  Expect.equals("toplevel", x);  // Should not have changed.
}