mirror of
https://github.com/dart-lang/sdk
synced 2024-09-20 09:16:30 +00:00
1bd8e192a5
Review URL: https://chromiumcodereview.appspot.com//10919035 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@11710 260f80e4-7a28-3924-810f-c04153c831b5
49 lines
1.5 KiB
Dart
49 lines
1.5 KiB
Dart
// 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.
|
|
|
|
interface Interface {
|
|
final x;
|
|
}
|
|
|
|
// The abstract keyword is implicit if a class declares an abstract
|
|
// member. This class does not declare any abstract members, so it
|
|
// must be marked abstract because it doesn't implement the x getter.
|
|
abstract class Abstract implements Interface {
|
|
String toString() => x.toString();
|
|
}
|
|
|
|
// This class does not implement "x" either, but it is not marked
|
|
// abstract.
|
|
class SubAbstract1 extends Abstract { } /// 01: static type warning
|
|
|
|
// This class is implicitly abstract as it declares an abstract getter
|
|
// method.
|
|
class SubAbstract2 extends Abstract {
|
|
abstract get x;
|
|
}
|
|
|
|
// This class does not implement "x" either, but it is not marked
|
|
// abstract.
|
|
class SubSubAbstract2 extends SubAbstract2 { } /// 04: static type warning
|
|
|
|
class Concrete extends Abstract {
|
|
get x => 7;
|
|
}
|
|
|
|
class SubConcrete extends Concrete {
|
|
final x;
|
|
SubConcrete(this.x);
|
|
}
|
|
|
|
void main() {
|
|
var x = new Abstract(); /// 02: runtime error
|
|
var y = new SubAbstract1(); /// 01: continued
|
|
var z = new SubAbstract2(); /// 03: runtime error
|
|
var a = new SubSubAbstract2(); /// 04: continued
|
|
Expect.equals(x, x); /// 02: continued
|
|
Expect.equals('7', new Concrete().toString());
|
|
Expect.equals('42', new SubConcrete(42).toString());
|
|
Expect.equals('7', new SubConcrete(new Concrete()).toString());
|
|
}
|