blob: 930877acb1ddf9ca76dc5367b1160621ca35aa69 [file] [log] [blame]
// Copyright (c) 2013, 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";
class Base {
int? i, j;
Base.ctor(int? this.i
, {int? this.j: 10} // //# 01: ok
) {
if (j == null) {
j = 10;
}
}
}
abstract class M {
int? get i;
int? get j;
int k = 42;
foo() => i! + j!;
}
class C extends Base with M {
int l = 131;
C.foo() : super.ctor(1, j: 13); //# 01: continued
C.bar() : super.ctor(1);
}
main() {
C c1 = new C.foo(); // //# 01: continued
C c2 = new C.bar();
Expect.equals(1, c2.i);
Expect.equals(10, c2.j);
Expect.equals(11, c2.foo());
Expect.equals(42, c2.k);
Expect.equals(131, c2.l);
}