553ac951b3
Change-Id: I5d4c0b4d15a05cfc30d87003785ca841c46b1a0f Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/426583 Reviewed-by: Stephen Adams <sra@google.com>
80 lines
2.7 KiB
Dart
80 lines
2.7 KiB
Dart
// Copyright (c) 2017, 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.
|
|
|
|
/*member: main:[null|powerset={null}]*/
|
|
main() {
|
|
initializingFormal();
|
|
fieldInitializer();
|
|
thisInitializer();
|
|
superInitializer();
|
|
}
|
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
// Constructor with initializing formal.
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
|
|
class Class1 {
|
|
/*member: Class1.field:[exact=JSUInt31|powerset={I}{O}{N}]*/
|
|
var field;
|
|
|
|
/*member: Class1.:[exact=Class1|powerset={N}{O}{N}]*/
|
|
Class1(this. /*[exact=JSUInt31|powerset={I}{O}{N}]*/ field);
|
|
}
|
|
|
|
/*member: initializingFormal:[exact=Class1|powerset={N}{O}{N}]*/
|
|
initializingFormal() => Class1(0);
|
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
// Constructor with field initializer.
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
|
|
class Class2 {
|
|
/*member: Class2.field:[exact=JSUInt31|powerset={I}{O}{N}]*/
|
|
var field;
|
|
|
|
/*member: Class2.:[exact=Class2|powerset={N}{O}{N}]*/
|
|
Class2(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ field) : this.field = field;
|
|
}
|
|
|
|
/*member: fieldInitializer:[exact=Class2|powerset={N}{O}{N}]*/
|
|
fieldInitializer() => Class2(0);
|
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
// Redirecting generative constructor.
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
|
|
class Class3 {
|
|
/*member: Class3.field:[exact=JSUInt31|powerset={I}{O}{N}]*/
|
|
var field;
|
|
|
|
/*member: Class3._:[exact=Class3|powerset={N}{O}{N}]*/
|
|
Class3._(this. /*[exact=JSUInt31|powerset={I}{O}{N}]*/ field);
|
|
|
|
/*member: Class3.:[exact=Class3|powerset={N}{O}{N}]*/
|
|
Class3(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ field) : this._(field);
|
|
}
|
|
|
|
/*member: thisInitializer:[exact=Class3|powerset={N}{O}{N}]*/
|
|
thisInitializer() => Class3(0);
|
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
// Constructor with super constructor call.
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
|
|
abstract class SuperClass4 {
|
|
/*member: SuperClass4.field:[exact=JSUInt31|powerset={I}{O}{N}]*/
|
|
var field;
|
|
|
|
/*member: SuperClass4.:[exact=Class4|powerset={N}{O}{N}]*/
|
|
SuperClass4(this. /*[exact=JSUInt31|powerset={I}{O}{N}]*/ field);
|
|
}
|
|
|
|
class Class4 extends SuperClass4 {
|
|
/*member: Class4.:[exact=Class4|powerset={N}{O}{N}]*/
|
|
Class4(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ field) : super(field);
|
|
}
|
|
|
|
/*member: superInitializer:[exact=Class4|powerset={N}{O}{N}]*/
|
|
superInitializer() => Class4(0);
|