/*
 * 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 It is a compile-time error if a class declares two members of
 * the same name.
 * @assertion The name of a setter is obtained by appending the string ‘=’ to
 * the identifier given in its signature.
 * Hence, a setter name can never conflict with, override or be overridden by
 * a getter or method.
 * @description Checks that a class can declare a getter and a setter of the
 * same name provided both are instance members (abstract or not) or both are
 * static members.
 * @author msyabro
 */

abstract class A {
  static var _sVal;
  static get sVal {}
  static set sVal(var value) {}

  var _val;
  get val {}
  set val(var value) {}

  get aVal;
  set aVal(var val);

  get bVal {}
  set bVal(var val);

  get cVal;
  void set cVal(var val) {}
}

class B extends A {
  get aVal {}
  set aVal(var val) {}
  set bVal(var val) {}
  get cVal {}
}

main() {
  A a = new B();
  var x = a.bVal;
  a.bVal = x;
  x = a.aVal;
  a.aVal = x;
}