blob: 0f2cd04047b3f9d3d282a3fe78e5eb8dfd1ac2c7 [file] [log] [blame]
// 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";
// Checks that abstract instance methods are correctly resolved.
int get length => throw "error: top-level getter called";
set height(x) {
throw "error: top-level setter called";
width() {
throw "error: top-level function called";
abstract class A {
int get length; // Abstract instance getter.
set height(x); // Abstract instance setter.
int width(); // Abstract instance method.
// Must resolve to non-abstract length getter in subclass.
get useLength => length;
// Must resolve to non-abstract height setter in subclass.
setHeight(x) => height = x;
// Must resolve to non-abstract width() method in subclass.
useWidth() => width();
class A1 extends A {
int length; // Implies a length getter.
int height; // Implies a height setter.
int width() => 345;
main() {
var a = new A1(123);
Expect.equals(123, a.useLength);
Expect.equals(234, a.height);
Expect.equals(345, a.useWidth());
print([a.useLength, a.height, a.useWidth()]);