// Copyright (c) 2014, 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";

String toplevel = 'A';

class Foo {
  String x = 'x';

  easy(z) {
        return x + y + z; //# 01: static type warning
  }

  // Shadow the 'y' field in various ways
  shadow_y_parameter(y) {
        return x + this.y + y; //# 01: continued
  }

  shadow_y_local(z) {
    var y = z;
        return x + this.y + y; //# 01: continued
  }

  shadow_y_capturedLocal(z) {
    var y = z;
    foo() {
            return x + this.y + y; //# 01: continued
    }
    return foo();
  }

  shadow_y_closureParam(z) {
    foo(y) {
            return x + this.y + y; //# 01: continued
    }
    return foo(z);
  }

  shadow_y_localInsideClosure(z) {
    foo() {
      var y = z;
            return x + this.y + y; //# 01: continued
    }

    return foo();
  }

  // Shadow the 'x' field in various ways
  shadow_x_parameter(x) {
        return this.x + y + x; //# 01: continued
  }

  shadow_x_local(z) {
    var x = z;
        return this.x + y + x; //# 01: continued
  }

  shadow_x_capturedLocal(z) {
    var x = z;
    foo() {
            return this.x + y + x; //# 01: continued
    }
    return foo();
  }

  shadow_x_closureParam(z) {
    foo(x) {
            return this.x + y + x; //# 01: continued
    }
    return foo(z);
  }

  shadow_x_localInsideClosure(z) {
    foo() {
      var x = z;
            return this.x + y + x; //# 01: continued
    }

    return foo();
  }

  shadow_x_toplevel() {
        return x + this.y + toplevel + this.toplevel; //# 01: continued
  }
}

class Sub extends Foo {
  String y = 'y';
  String toplevel = 'B';
}

main() {
    Expect.equals('xyz', new Sub().easy('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_y_parameter('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_y_local('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_y_capturedLocal('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_y_closureParam('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_y_localInsideClosure('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_x_parameter('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_x_local('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_x_capturedLocal('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_x_closureParam('z')); //# 01: continued
    Expect.equals('xyz', new Sub().shadow_x_localInsideClosure('z')); //# 01: continued

    Expect.equals('xyAB', new Sub().shadow_x_toplevel()); //# 01: continued
}